Reducing FSM-Based Test Suites with Guaranteed Fault Coverage

Author(s)

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

• Document type: Journal article
• Source: COMPUTER JOURNAL; v. 59, n. 8, p. 1129-1143, AUG 2016.
• Web of Science Citations: 1

Abstract

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)

• FAPESP's process: 08/01938-4 - Investigating the Improvement of Test Suite Generation Methods from Models
• Grantee: Jorge Francisco Cutigi
• Support Opportunities: Scholarships in Brazil - Master