JOURNAL BROWSE
Search
Advanced SearchSearch Tips
A Case Study for Mutation-based Fault Localization for FBD Programs
facebook(new window)  Pirnt(new window) E-mail(new window) Excel Download
 Title & Authors
A Case Study for Mutation-based Fault Localization for FBD Programs
Shin, Donghwan; Kim, Junho; Yun, Wonkyung; Jee, Eunkyoung; Bae, Doo-Hwan;
 
 Abstract
Finding the exact location of faults in a program requires enormous time and effort. Several fault localization methods based on control flows of a program have been studied for decades. Unfortunately, these methods are not applicable to programs based on data-flow languages. A recently proposed mutation-based fault localization method is applicable to data-flow languages, as well as control-flow languages. However, there are no studies on the effectiveness of the mutation-based fault localization method for data-flow based programs. In this paper, we provided an experimental case study to evaluate the effectiveness of mutation-based fault localization on programs implemented in Function Block Diagram (FBD), a widely used data-flow based language in safety-critical systems implementation. We analyzed several real faults in the implementation of FBD programs of a nuclear reactor protection system, and evaluated the mutation-based fault localization effectiveness for each fault.
 Keywords
function block diagram;mutation analysis;fault localization;
 Language
Korean
 Cited by
 References
1.
Papadakis, Mike, and Yves Le Traon, "Metallaxis-FL: mutation-based fault localization," Software Testing, Verification and Reliability, Vol. 25, No. 5-7, pp. 605-628, 2015. crossref(new window)

2.
Jones, J. A., & Harrold, M. J., "Empirical evaluation of the tarantula automatic fault-localization technique," Proc. of the 20th IEEE/ACM international Conference on Automated software engineering, ACM, pp. 273-282, 2005.

3.
IEC: International Standard for Programmable Controllers, Part 3: Programming Languages, 1993.

4.
Doosan Heavy Industry & Construction, "KNICSRPS-SDS231-01, Rev. 01, Software Design Specification for the Bistable Processor of the Reactor Protection System," 2006.

5.
Andrews, J.H., Briand, L.C., Labiche, Y., and Namin, A.S., "Using mutation analysis for assessing and comparing testing coverage criteria," IEEE Transactions on Software Engineering, Vol. 32, No. 8, pp. 608-624, 2006. crossref(new window)

6.
Just, Rene, et al., "Are mutants a valid substitute for real faults in software testing?," Proc. of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, pp. 654-665, 2014.

7.
Jaccard, P., "Etude comparative de la distribution florale dans une portion des Alpes et des Juram," Bulletin del la Societe Vaudoise des Sciences Naturelles, Vol. 37, pp. 547-579, 1901.

8.
Jee, E., Jeon, S., Cha, S., Koh, K., Yoo, J., Park, G., and Seong, P., "FBDVerifier: Interactive and Visual Analysis of Counterexample in Formal Verification of Function Block Diagram," Journal of Research and Practice in Information Technology, Vol. 42, No. 3, pp. 255-272, 2010.

9.
Shin, D., Jee, E., & Bae, D. H., "Comprehensive analysis of FBD test coverage criteria using mutants," Software & Systems Modeling, Online published, 2014.

10.
Masri, Wes, and Rawad Abou Assi, "Prevalence of coincidental correctness and mitigation of its impact on fault localization," ACM transactions on software engineering and methodology (TOSEM), Vol. 23, No. 8, 2014.

11.
Gonzalez-Sanchez, Alberto, et al., "Prioritizing tests for software fault localization," Proc. of the 10th International Conference on Quality Software (QSIC), pp. 42-51, 2010.

12.
Jee, Eunkyoung, et al., "Automated test case generation for FBD programs implementing reactor protection system software," Software Testing, Verification and Reliability, Vol. 24, No. 8, pp. 608-628, 2014. crossref(new window)

13.
Joshi, Anjali, and Mats PE Heimdahl, "Model-based safety analysis of simulink models using SCADE design verifier," Proc. of the 24th International Conference, SAFECOMP 2005, pp. 122-135, 2005.

14.
The MathWorks, Inc. Simulink. [Online]. Available: http://www.mathworks.com/products/simulink/