Subsídios para a Aplicação de Métodos de Geração de Casos de Testes Baseados em Máquinas de Estados

• Processo: 10/04001-3
• Modalidade de apoio: Bolsas no Brasil - Mestrado
• Data de Início da vigência: 01 de março de 2011
• Data de Término da vigência: 31 de dezembro de 2011
• Área de conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Metodologia e Técnicas da Computação
• Pesquisador responsável: Adenilso da Silva Simão
• Beneficiário: Arineiza Cristina Pinheiro
• Instituição Sede: Instituto de Ciências Matemáticas e de Computação (ICMC). Universidade de São Paulo (USP). São Carlos , SP, Brasil
• Vinculado ao auxílio: 08/57870-9 - Instituto de Sistemas Embarcados Críticos (ISEC), AP.TEM
• Assunto(s): Engenharia de software Teste e avaliação de software Sistemas embarcados
• Palavra(s)-Chave do Pesquisador: ferramentas de teste | Sistemas Embarcados | Teste de Software | Engenharia de Software

Resumo

Geração de casos de teste baseada em modelos visa à possibilidade de derivação de casos de teste a partir de especificações formais, tais como Máquinas de Estados Finitos (MEF). Existem diversos critérios de geração, diferindo entre si em função das propriedades exigidas das MEFs, dos custos dos testes gerados e da eficácia na revelação de defeitos. Apesar de pesquisas intensas na definição desses critérios, são poucas as ferramentas disponíveis para a aplicação que forneçam de forma sistemática para a definição de estratégias de teste efetivas. A definição de estratégias de teste baseado em MEFs envolve a análise da aplicação a ser testada, bem como das propriedades dos métodos a serem empregados. Com o protótipo da ferramenta PLAVIS/FSM, desenvolvido no contexto do projeto PLAVIS, buscou-se fornecer um mecanismo unificado para se explorar diversos métodos de geração. A ferramenta tem sido utilizada tanto no grupo de pesquisa do ICMC/USP quanto no LEN/INPE em disciplinas de pós-graduação e trabalhos de mestrado. Identificou-se o interesse de ampliar o escopo de aplicação da ferramenta para apoiar o teste de sistemas embarcados. Contudo, faz-se necessário analisar como as características desse tipo de sistemas impactam os métodos disponibilizados na ferramenta e quais modificações tornam-se necessárias. Assim, este trabalho tem como objetivo investigar como os métodos de geração de testes a partir de MEFs podem ser aplicados no contexto de sistemas embarcados. Além disso, os resultados dessa investigação servirão de base para a evolução da ferramenta PLAVIS/FSM para atender às novas necessidades identificadas com a utilização do protótipo e aos novos contextos de aplicação.

Publicações acadêmicas

(Referências obtidas automaticamente das Instituições de Ensino e Pesquisa do Estado de São Paulo)

PINHEIRO, Arineiza Cristina. Subsídios para a aplicação de métodos de geração de casos de testes baseados em máquinas de estados. 2012. Dissertação de Mestrado - Universidade de São Paulo (USP). Instituto de Ciências Matemáticas e de Computação (ICMC/SB) São Carlos.