Sistemas de transição de entrada/saída: apoio para a geração de casos de teste

• Processo: 12/02232-3
• Modalidade de apoio: Auxílio à Pesquisa - Regular
• Data de Início da vigência: 01 de agosto de 2012
• Data de Término da vigência: 31 de julho de 2014
• Área do 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: Adenilso da Silva Simão
• 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
• Assunto(s): Teste e avaliação de software
• Palavra(s)-Chave do Pesquisador: Geração de Casos de Teste | Saída | Sistemas de Transição de Entrada | Teste de Software | Teste Formal | Engenharia de Software

Resumo

O Teste Baseado em Modelos é uma estratégia promissora para automatizar a geração e execução de teste. Os casos de teste são derivados de um modelo representando o software a ser testado. Diversos métodos de geração de testes a partir de Máquinas de Estados Finitos (MEFs) podem ser encontrados na literatura. Contudo, tais modelos podem ser inadequados para representar algumas classes de software e, portanto, outros modelos devem ser adotados. Os Sistemas de Transição de Entrada/Saída (do inglês, Input/Output Transition System, IOTS) são exemplos desses modelos. Apesar de amplamente investigados, a teoria na qual se baseia o IOTS ainda não oferece o mesmo nível de apoio à Geração de Casos de Teste que existe para MEFs. O objetivo desse trabalho é investigar como resultados recentes obtidos no teste baseado em MEFs podem ser aplicados no contexto do teste baseado em IOTS. (AU)

Publicações científicas

(Referências obtidas automaticamente do Web of Science e do SciELO, por meio da informação sobre o financiamento pela FAPESP e o número do processo correspondente, incluída na publicação pelos autores)

ENDO, ANDRE TAKESHI; SIMAO, ADENILSO. Evaluating test suite characteristics, cost, and effectiveness of FSM-based testing methods. INFORMATION AND SOFTWARE TECHNOLOGY, v. 55, n. 6, p. 1045-1062, JUN 2013. (09/01486-9, 12/02232-3)

SIMAO, ADENILSO; PETRENKO, ALEXANDRE. Generating Complete and Finite Test Suite for ioco: Is It Possible?. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, v. N/A, n. 141, p. 15-pg., 2013-01-01. (12/02232-3)

PAIVA, SOFIA COSTA; SIMAO, ADENILSO. Generation of complete test suites from mealy input/output transition systems. FORMAL ASPECTS OF COMPUTING, v. 28, n. 1, p. 65-78, MAR 2016. (12/02232-3, 12/09650-5)