%0 Conference Proceedings
%@holdercode {isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S}
%@nexthigherunit 8JMKD3MGPCW/3ESGTTP
%@nexthigherunit 8JMKD3MGP8W/38ELNHL
%B Workshop dos Cursos de Computação Aplicada do INPE, 11 (WORCAP).
%X 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.
%@mirrorrepository iconet.com.br/banon/2005/09.28.12.40
%E Castro, Ana Paula Abrantes de,
%E Drummond, Isabela Neves,
%E Sandri, Sandra Aparecida,
%T Gerando casos de teste a partir de modelos Statecharts extraídos de código fonte Multithreads
%@format On-line.
%K Statecharts, teste estrutural, multithreads.
%@secondarytype PRE CN
%8 8-10 nov. 2011
%@usergroup administrator
%@usergroup amarisio5@gmail.com
%@usergroup secretaria.cpa@dir.inpe.br
%@usergroup worcap2011.comissaoprograma@gmail.com
%@group
%@group LAC-CTE-INPE-MCT-BR
%@e-mailaddress worcap2011.comissaoprograma@gmail.com
%3 worcap2011_submission_45.pdf
%J São José dos Campos
%2 sid.inpe.br/mtc-m18/2011/10.25.13.17.51
%@affiliation
%@affiliation Instituto Nacional de Pesquisas Espaciais (INPE)
%I Instituto Nacional de Pesquisas Espaciais (INPE)
%4 sid.inpe.br/mtc-m18/2011/10.25.13.17
%D 2011
%1 Instituto Nacional de Pesquisas Espaciais (INPE)
%S Anais
%A Marinke, Rogério,
%A Vijaykumar, Nandamudi Lankalapalli,
%A Senne, Edson Luiz França,
%C São José dos Campos
%@area COMP