Reducing FSM-Based Test Suites with Guaranteed Fault Coverage

Autor(es)

Cutigi, Jorge Francisco ; Simao, Adenilso ; Souza, Simone R. S.

• Tipo de documento: Artigo Científico
• Fonte: COMPUTER JOURNAL; v. 59, n. 8, p. 1129-1143, AUG 2016.
• Citações Web of Science: 1

Resumo

Several methods have been proposed for generating tests from a Finite State Machine (FSM) representation of systems. Even though these methods usually generate large test suites, each with many sequences, the methods possess the important feature of generating test suites with guaranteed fault coverage. In this paper, we propose approaches for reducing the size of a test suite while maintaining the same fault coverage. The approaches combine the test suite sequences, aiming at both reducing the test suite length and the number of sequences, and then check whether the resulting test suite satisfies conditions that are known to ensure that the coverage remains unaltered. The experimental results in random FSMs show on average 78% (maximum: 97.0%) of reduction of the number of test cases and on average 42% (maximum: 63.8%) of reduction of total length of test suites produced by classical FSM-based generation methods. (AU)

• Processo FAPESP: 08/01938-4 - Investigação de Melhorias em Métodos de Geração de Casos de Teste a partir de Modelos
• Beneficiário: Jorge Francisco Cutigi
• Modalidade de apoio: Bolsas no Brasil - Mestrado