Busca avançada
Ano de início
Entree
Conteúdo relacionado

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)

Matéria(s) publicada(s) na Agência FAPESP sobre o auxílio:
Mais itensMenos itens
Matéria(s) publicada(s) em Outras Mídias ( ):
Mais itensMenos itens
VEICULO: TITULO (DATA)
VEICULO: TITULO (DATA)

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, . (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., . (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, . (12/02232-3, 12/09650-5)