KSC 2020
Current Result Document : 3 / 3
| 한글제목(Korean Title) |
기능 블록 다이어그램 프로그램에 대한 커플링 효과 가정 분석 |
| 영문제목(English Title) |
Analysis of coupling effect hypothesis for function block diagram programs |
| 저자(Author) |
지은경
배두환
Lingjun Liu
Eunkyoung Jee
Doo-Hwan Bae
|
| 원문수록처(Citation) |
VOL 47 NO. 02 PP. 0162 ~ 0164 (2020. 12) |
한글내용
(Korean Abstract) |
|
영문내용
(English Abstract) |
Testing for Function Block Diagram (FBD) programs has become an important issue since FBD programs have widely been used in safety-critical systems. Mutation testing is considered effective in fault detection. In mutation testing, the coupling effect hypothesis indicates that test data that can detect simple errors can also detect more complex errors. Whether FBD programs hold on this coupling effect hypothesis has not been investigated. We conducted experiments to discuss the coupling effect hypothesis on FBD programs using higher-order mutants. It is experimentally shown that the subject FBD program holds the coupling effect hypothesis.
|
| 키워드(Keyword) |
|
| 파일첨부 |
PDF 다운로드
|
