DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Bae, Doo-Hwan | - |
dc.contributor.advisor | 배두환 | - |
dc.contributor.author | Shin, Dong-Hwan | - |
dc.contributor.author | 신동환 | - |
dc.date.accessioned | 2013-09-12T01:49:26Z | - |
dc.date.available | 2013-09-12T01:49:26Z | - |
dc.date.issued | 2012 | - |
dc.identifier.uri | http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=509481&flag=dissertation | - |
dc.identifier.uri | http://hdl.handle.net/10203/180469 | - |
dc.description | 학위논문(석사) - 한국과학기술원 : 전산학과, 2012.8, [ v, 30 p. ] | - |
dc.description.abstract | Function Block Diagram (FBD) is a graphical modeling language for Programmable Logic Controller (PLC) programs. Recently, FBD has been increasingly used to implement safety-critical software such as nuclear reactor protection software. With increased importance of structural testing for FBD models, FBD model-based test coverage criteria have been already introduced: Basic Coverage (BC), Input Condition Coverage (ICC), and Complex Condition Coverage (CCC). While the three FBD test coverage criteria reflect data flow-characteristics of FBD and suggest intuitive structural coverage concepts, fault detection ability of the FBD coverage criteria is not evaluated. In this paper, we empirically investigate the effectiveness, and strength/weakness of the fault detection of the FBD test coverage criteria. Also, we analyze the gain of using the coverage criteria in terms of the test effectiveness and cost by comparing to the random testing. To gain statistically significant results, we generate 1500 test suites satisfying the FBD test coverage criteria. Meanwhile, we generate 481 faults of FBD models by applying mutation operators to five industrial FBD models. Then we investigate which test suite detects what mutants. In summary, the strongest FBD test coverage criterion, CCC, can detect at most 94.4\% of faults in the subject model, and the average fault detection ability of BC and ICC were not significantly different in most cases. Though the three coverage criteria have strength on detecting faults in Boolean edges and arithmetic blocks, faults in constant values, logic blocks, and comparison blocks are not detected effectively. These findings improve empirical background of the structural testing for FBD models. | eng |
dc.language | eng | - |
dc.publisher | 한국과학기술원 | - |
dc.subject | Mutation analysis | - |
dc.subject | test coverage criteria | - |
dc.subject | 뮤테이션 분석 | - |
dc.subject | 테스트 범위 기준 | - |
dc.subject | FBD | - |
dc.subject | FBD | - |
dc.title | Empirical evaluation on FBD model-based test coverage criteria using mutation analysis | - |
dc.title.alternative | 뮤테이션 분석을 이용한 FBD 모델 기반 테스트 범위 기준의 실험적 평가 | - |
dc.type | Thesis(Master) | - |
dc.identifier.CNRN | 509481/325007 | - |
dc.description.department | 한국과학기술원 : 전산학과, | - |
dc.identifier.uid | 020104351 | - |
dc.contributor.localauthor | Bae, Doo-Hwan | - |
dc.contributor.localauthor | 배두환 | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.