Generation of complete test suites from mealy input/output transition systems

Autor(es)

Paiva, Sofia Costa ^[1] ; Simao, Adenilso ^[1]

Afiliação do(s) autor(es)

^[1] Univ Sao Paulo, Inst Ciencias Matemat & Comp, POB 668, Sao Carlos, SP - Brazil

• Tipo de documento: Artigo Científico
• Fonte: FORMAL ASPECTS OF COMPUTING; v. 28, n. 1, p. 65-78, MAR 2016.
• Citações Web of Science: 2

Resumo

Model-based testing overcomes challenges in software testing by generating automated test cases from behavior models, e.g. finite state machine (FSM) and input/output transition system (IOTS). Despite the existence of methods for IOTSs, the problem of selection of test cases is an important and difficult topic. The current methods from IOTSs do not provide the same support offered by the existing theory for FSMs, as complete fault coverage. In this paper, we propose a test generation method for IOTSs based on the W method developed for FSMs. The basic idea is to generate a transition cover set and a characterization set and concatenate them to generate complete test suites for IOTSs in a bounded number of steps. The method generates test suites with complete fault coverage for a given fault domain and is targeted at a class of IOTSs, called mealy IOTS, which accepts inputs only in stable states. Results from a case study show the proposed algorithm can achieve better results than a classical method for IOTSs. (AU)

• Processo FAPESP: 12/02232-3 - Sistemas de transição de entrada/saída: apoio para a geração de casos de teste
• Beneficiário: Adenilso da Silva Simão
• Modalidade de apoio: Auxílio à Pesquisa - Regular
• Processo FAPESP: 12/09650-5 - Teste baseado em Sistemas de Transição com Entrada e Saída
• Beneficiário: Sofia Larissa da Costa Paiva
• Modalidade de apoio: Bolsas no Brasil - Doutorado