MuGenFBD: Automated Mutant Generator for Function Block Diagram Programs
0
조회
0
다운로드
0
인용
0
참고문헌
키워드
초록
Since function block diagram (FBD) programs are widely used to implement safety-critical systems, effective testing for FBD programshas become important. Mutation testing, a fault-based testing, is highly effective in fault detection but computationally expensive. Tosupport testers for FBD programs, we propose an automated mutant generator for FBD programs. We designed the MuGenFBD tool withthe cost and equivalent mutant issues in consideration. We conducted experiments on real industrial examples to present the performanceof MuGenFBD. The results show that MuGenFBD can generate mutants for FBD programs automatically with low probability of equivalentmutants and low cost. This tool can effectively support mutation analysis and mutation-adequate test generation for FBD programs.
Abstract
Since function block diagram (FBD) programs are widely used to implement safety-critical systems, effective testing for FBD programshas become important. Mutation testing, a fault-based testing, is highly effective in fault detection but computationally expensive. Tosupport testers for FBD programs, we propose an automated mutant generator for FBD programs. We designed the MuGenFBD tool withthe cost and equivalent mutant issues in consideration. We conducted experiments on real industrial examples to present the performanceof MuGenFBD. The results show that MuGenFBD can generate mutants for FBD programs automatically with low probability of equivalentmutants and low cost. This tool can effectively support mutation analysis and mutation-adequate test generation for FBD programs.
참고문헌 (13)
- International Electrotechnical Commission (IEC), "IEC61131-3: International Standard for Programmable Controllers - Part 3: Programming Languages", ~ (2013)
- Doosan Heavy Industry & Construction, "Software design specification for the bistable processor of the reactor protection system, KNICS.RPS.SDS231-01, Rev.01", ~ (2006)
- M. R. Woodward, "Mutation testing-its origin and evolution", Information and Software Technology, 35(3), pp.163~169 (1993)
- 지은경, "FBD 프로그램에 대한 뮤테이션 연산자 확장 정의 및 적용", 정보과학회 컴퓨팅의 실제 논문지, 24(11), pp.589~595 (2018), 한국정보과학회[DOI]
- W. Bolton, "Programmable logic controllers", Newnes, ~ (2015)
- Mutation Analysis, "A. T. Acree", School of Information and Computer Science, Georgia Institute of Technology, ~, pp.Technical Report GIT-ICS-79 (1979), 08
- R. A. Demillo, "Test Adequacy and Program Mutation", Proceedings of the 11th International Conference on Software Engineering (ICSE), pp.355~356 (1989)
- R. A. Demillo, "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)
- M. E. Delamaro, "Proteum-a tool for the assessment of test adequacy for C programs user’s guide", Proceedings of Performability in Computing Systems, 96, pp.79~95 (1996)
- D. Shin, "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)
- E. Jee, "Automated test case generation for FBD programs implementing reactor protection system software", Software Testing, Verification and Reliability, 24(8), pp.608~628 (2014)
- J. Song, "FBDTester 2. 0 : Automated test sequence generation for FBD programs with internal memory states", Science of Computer Programming, 163, pp.115~137 (2018)
- E. P. Enoiu, "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, 9976, pp.155~171 (2016)