1. Identificação | |
Tipo de Referência | Artigo em Evento (Conference Proceedings) |
Site | mtc-m16c.sid.inpe.br |
Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
Identificador | 8JMKD3MGP8W/3AM27S5 |
Repositório | sid.inpe.br/mtc-m18/2011/10.25.13.17 (acesso restrito) |
Última Atualização | 2011:10.25.13.17.51 (UTC) administrator |
Repositório de Metadados | sid.inpe.br/mtc-m18/2011/10.25.13.17.51 |
Última Atualização dos Metadados | 2021:06.12.15.29.06 (UTC) administrator |
Chave de Citação | MarinkeVijaSenn:2011:GeCaTe |
Título | Gerando casos de teste a partir de modelos Statecharts extraídos de código fonte Multithreads |
Formato | On-line. |
Ano | 2011 |
Data de Acesso | 06 maio 2024 |
Tipo Secundário | PRE CN |
Número de Arquivos | 1 |
Tamanho | 595 KiB |
|
2. Contextualização | |
Autor | 1 Marinke, Rogério 2 Vijaykumar, Nandamudi Lankalapalli 3 Senne, Edson Luiz França |
Grupo | 1 2 LAC-CTE-INPE-MCT-BR |
Afiliação | 1 2 Instituto Nacional de Pesquisas Espaciais (INPE) |
Editor | Castro, Ana Paula Abrantes de Drummond, Isabela Neves Sandri, Sandra Aparecida |
Endereço de e-Mail | worcap2011.comissaoprograma@gmail.com |
Nome do Evento | Workshop dos Cursos de Computação Aplicada do INPE, 11 (WORCAP). |
Localização do Evento | São José dos Campos |
Data | 8-10 nov. 2011 |
Editora (Publisher) | Instituto Nacional de Pesquisas Espaciais (INPE) |
Cidade da Editora | São José dos Campos |
Título do Livro | Anais |
Organização | Instituto Nacional de Pesquisas Espaciais (INPE) |
Histórico (UTC) | 2011-12-02 11:56:33 :: worcap2011.comissaoprograma@gmail.com -> secretaria.cpa@dir.inpe.br :: 2011 2011-12-06 16:23:20 :: secretaria.cpa@dir.inpe.br -> administrator :: 2011 2012-07-14 19:36:30 :: administrator -> secretaria.cpa@dir.inpe.br :: 2011 2012-08-10 02:36:15 :: secretaria.cpa@dir.inpe.br -> amarisio5@gmail.com :: 2011 2012-08-11 00:23:53 :: amarisio5@gmail.com -> administrator :: 2011 2021-06-12 15:29:06 :: administrator -> amarisio5@gmail.com :: 2011 |
|
3. Conteúdo e estrutura | |
É a matriz ou uma cópia? | é a matriz |
Estágio do Conteúdo | concluido |
Transferível | 1 |
Palavras-Chave | Statecharts teste estrutural multithreads |
Resumo | A modelagem do código fonte de software multithreads em Statecharts é proposta neste trabalho. Uma possível abordagem para a execução de Teste Baseado em Modelo (TBM) é realizar a modelagem em Máquina de Estados Finita (MEF). No entanto, alguns softwares, como protocolos de comunicação utilizados em aplicações espaciais possuem características de concorrência e paralelismo, as quais não são facilmente modeladas utilizando MEF. Após realizar a modelagem, uma ferramenta desenvolvida no INPE, chamada WEBPerformCharts converterá a especificação obtida para uma MEF plana. Isto torna possível a implementação de critérios para derivar casos de testes para testes tipo caixa branca para sistemas concorrentes. |
Área | COMP |
Arranjo 1 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > Gerando casos de... |
Arranjo 2 | urlib.net > BDMCI > Fonds > WORCAP > Gerando casos de... |
Conteúdo da Pasta doc | acessar |
Conteúdo da Pasta source | não têm arquivos |
Conteúdo da Pasta agreement | |
|
4. Condições de acesso e uso | |
Idioma | pt |
Arquivo Alvo | worcap2011_submission_45.pdf |
Grupo de Usuários | administrator amarisio5@gmail.com secretaria.cpa@dir.inpe.br worcap2011.comissaoprograma@gmail.com |
Visibilidade | shown |
Permissão de Leitura | deny from all and allow from 150.163 |
|
5. Fontes relacionadas | |
Repositório Espelho | iconet.com.br/banon/2005/09.28.12.40 |
Unidades Imediatamente Superiores | 8JMKD3MGPCW/3ESGTTP 8JMKD3MGP8W/38ELNHL |
Acervo Hospedeiro | sid.inpe.br/mtc-m18@80/2008/03.17.15.17 |
|
6. Notas | |
Campos Vazios | archivingpolicy archivist callnumber contenttype copyholder copyright creatorhistory descriptionlevel dissemination documentstage doi edition electronicmailaddress isbn issn label lineage mark nextedition notes numberofvolumes orcid pages parameterlist parentrepositories previousedition previouslowerunit progress project readergroup resumeid rightsholder schedulinginformation secondarydate secondarykey secondarymark serieseditor session shorttitle sponsor subject tertiarymark tertiarytype type url versiontype volume |
|
7. Controle da descrição | |
e-Mail (login) | amarisio5@gmail.com |
atualizar | |
|