Browse > Article
http://dx.doi.org/10.3745/KTSDE.2021.10.4.115

MuGenFBD: Automated Mutant Generator for Function Block Diagram Programs  

Liu, Lingjun (한국과학기술원 전산학부)
Jee, Eunkyoung (한국과학기술원 전산학부)
Bae, Doo-Hwan (한국과학기술원 전산학부)
Publication Information
KIPS Transactions on Software and Data Engineering / v.10, no.4, 2021 , pp. 115-124 More about this Journal
Abstract
Since function block diagram (FBD) programs are widely used to implement safety-critical systems, effective testing for FBD programs has become important. Mutation testing, a fault-based testing, is highly effective in fault detection but computationally expensive. To support testers for FBD programs, we propose an automated mutant generator for FBD programs. We designed the MuGenFBD tool with the cost and equivalent mutant issues in consideration. We conducted experiments on real industrial examples to present the performance of MuGenFBD. The results show that MuGenFBD can generate mutants for FBD programs automatically with low probability of equivalent mutants and low cost. This tool can effectively support mutation analysis and mutation-adequate test generation for FBD programs.
Keywords
Mutant Generation; Mutation Analysis; Function Block Diagram; Software Testing;
Citations & Related Records
연도 인용수 순위
  • Reference
1 D. Shin, E. Jee, and D. H. Bae, "Empirical evaluation on FBD model-based test coverage criteria using mutation analysis," International Conference on Model Driven Engineering Languages and Systems, pp.465-479, 2012.
2 A. T. Acree, T. A. Budd, R. A. DeMillo, R. J. Lipton, and F. G. Sayward, "Mutation Analysis," Technical Report GIT-ICS-79/08, School of Information and Computer Science, Georgia Institute of Technology, 1979.
3 International Electrotechnical Commission (IEC), "IEC61131-3: International Standard for Programmable Controllers - Part 3: Programming Languages," 2013.
4 Doosan Heavy Industry & Construction, "Software design specification for the bistable processor of the reactor protection system," KNICS.RPS.SDS231-01, Rev.01, 2006. (In Korean)
5 M. R. Woodward, "Mutation testing-its origin and evolution," Information and Software Technology, Vol.35, No.3, pp.163-169, 1993.   DOI
6 E. Jee, J. Song, and D. H. Bae, "Definition and application of mutation operator extensions for FBD programs," KIISE Transactions on Computing Practices, Vol.24, No.11, pp.589-595, 2018. (in Korean)   DOI
7 W. Bolton, "Programmable logic controllers," Newnes, 2015.
8 M. E. Delamaro, J. C. Maldonado, and A. P. Mathur, "Proteum-a tool for the assessment of test adequacy for C programs user's guide," Proceedings of Performability in Computing Systems, Vol.96, pp.79-95, 1996.
9 R. A. Demillo, "Test Adequacy and Program Mutation," Proceedings of the 11th International Conference on Software Engineering (ICSE), pp.355-356, 1989.
10 R. A. Demillo, D. S. Guindi, W. M. McCracken, A. J. Offutt, and K. N. King, "An extended overview of the Mothra software testing environment," Proceedings of the Second Workshop on Software Testing, Verification, and Analysis, IEEE, pp.142-151, 1988.
11 E. P. Enoiu, D. Sundmark, A. Causevic, R. Feldt and P. Pettersson, "Mutation-based test generation for PLC embedded software using model checking," Proceedings of the 28th International Conference on Testing Software and Systems, Lecture Notes in Computer Science, Vol.9976, pp.155-171, 2016.
12 J. Song, E. Jee, and D. H. Bae, "FBDTester 2.0: Automated test sequence generation for FBD programs with internal memory states," Science of Computer Programming, Vol.163, pp.115-137, 2018.   DOI
13 E. Jee, D. Shin, S. Cha, J. S. Lee, and D. H. Bae, "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.   DOI