정보처리학회 논문지 소프트웨어 및 데이터 공학
Current Result Document : 1 / 1
| 한글제목(Korean Title) |
MuGenFBD: 기능 블록 다이어그램 프로그램에 대한 자동 뮤턴트 생성기 |
| 영문제목(English Title) |
MuGenFBD: Automated Mutant Generator for Function Block Diagram Programs |
| 저자(Author) |
Lingjun Liu
지은경
배두환
Eunkyoung Jee
Doo-Hwan Bae
|
| 원문수록처(Citation) |
VOL 10 NO. 04 PP. 0115 ~ 0124 (2021. 04) |
한글내용
(Korean Abstract) |
기능 블록 다이어그램(Function Block Diagram, FBD) 프로그램이 안전 필수 시스템 구현에 널리 사용되면서 FBD 프로그램에 대한 효과적인 테스트가 중요해졌다. 뮤테이션 테스팅은 오류 기반 테스팅 기술로, 오류 탐지에 매우 효과적이지만 비용이 많이 든다. 본 연구에서는 FBD 프로그램 테스터를 지원하기 위한, FBD 프로그램 대상 자동 뮤턴트 생성기를 제안한다. MuGenFBD 도구는 뮤턴트 생성 비용과 동등 뮤턴트 문제를 고려하여 설계되었다. MuGenFBD 도구의 성능을 평가하기 위해 실제 산업 사례에 대한 실험을 수행한 결과, MuGenFBD를 활용하여 뮤턴트 생성 시 동등 뮤턴트를 생성할 비율이 낮으며 적은 비용으로 FBD 프로그램 대상 뮤턴트를 효과적으로 자동 생성할 수 있음을 확인하였다. 제안하는 도구는 FBD 프로그램에 대한 뮤테이션 분석 및 뮤테이션 충분성 기준을 만족시키는 테스트 생성을 효과적으로 지원할 수 있다.
|
영문내용
(English 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.
|
| 키워드(Keyword) |
뮤턴트 생성
뮤테이션 분석
기능 블록 다이어그램
소프트웨어 테스팅
Mutant Generation
Mutation Analysis
Function Block Diagram
Software Testing
|
| 파일첨부 |
PDF 다운로드
|
