Next Article in Journal
Fault Data Detection of Traffic Detector Based on Wavelet Packet in the Residual Subspace Associated with PCA
Previous Article in Journal
Numerical Investigation of Multi-SDBD Plasma Actuators for Controlling Fluctuating Wind Load on Building Roofs
Open AccessArticle

Model-Based Test Suite Generation Using Mutation Analysis for Fault Localization

Department of Electronic System Engineering, Hanyang University, Sa3-dong, Sangrok-gu, Ansan-si, Gyeonggi-do 15588, Korea
*
Author to whom correspondence should be addressed.
Appl. Sci. 2019, 9(17), 3492; https://doi.org/10.3390/app9173492
Received: 7 June 2019 / Revised: 1 August 2019 / Accepted: 20 August 2019 / Published: 23 August 2019
(This article belongs to the Section Computing and Artificial Intelligence)
Fault localization techniques reduce the effort required when debugging software, as revealed by previous test cases. However, many test cases are required to reduce the number of candidate fault locations. To overcome this disadvantage, various methods were proposed to reduce fault-localization costs by prioritizing test cases. However, because a sufficient number of test cases is required for prioritization, the test-case generation cost remains high. This paper proposes a test-case generation method using a state chart to reduce the number of test suites required for fault localization, minimizing the test-case generation and execution times. The test-suite generation process features two phases: fault-detection test-case generation and fault localization in the test cases. Each phase uses mutation analysis to evaluate test cases; the results are employed to improve the test cases according to the objectives of each phase, using genetic algorithms. We provide useful guidelines for application of a search-based mutational method to a state chart; we show that the proposed method improves fault-localization performance in the test-suite generation phase. View Full-Text
Keywords: model-based testing; automatic test-case generation; mutation-based testing; fault localization; search-based algorithm model-based testing; automatic test-case generation; mutation-based testing; fault localization; search-based algorithm
Show Figures

Figure 1

MDPI and ACS Style

Choi, Y.-M.; Lim, D.-J. Model-Based Test Suite Generation Using Mutation Analysis for Fault Localization. Appl. Sci. 2019, 9, 3492.

Show more citation formats Show less citations formats
Note that from the first issue of 2016, MDPI journals use article numbers instead of page numbers. See further details here.

Article Access Map by Country/Region

1
Back to TopTop