(A) data flow-based structural testing technique for FBD programs = FBD 프로그램에 대한 데이터 흐름 기반의 구조적 테스팅 기법

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 511
  • Download : 0
With increased use of programmable logic controllers (PLCs) in implementing safety critical systems, quality assurance of PLC programs became an important issue. Although regulation authorities require structural testing be performed for safety critical system software by identifying coverage criteria to be satisfied and accomplishment measured, there has been little research on structural testing or test coverage criteria applicable to Function Block Diagram (FBD), a PLC programming language widely used in industry. Classical test coverage criteria, based on control flow graphs, are inadequate when applied to a data flow language FBD. This thesis proposes new structural test coverage criteria focusing on data flow-centric characteristics of FBD programs. Interpreting an FBD program as a data flow graph, we define basic coverage, input condition coverage, and complex condition coverage criteria after defining data path and data path condition. We present $\it{FBDTestMeasurer}$, an automatic test coverage measurement case tool for FBD programs. Given a set of test cases and the selected test coverage criteria, $\it{FBDTestMeasurer}$ provides automatically measured coverage result and uncovered test requirements. Analysis of uncovered test requirements can assist in identifying inadequately tested parts and generating additional test cases. We also present automatic test case generation procedure for FBD programs. Test cases satisfying test requirements represented by logical formulas are generated utilizing a Satisfiability Modulo Theories (SMT) solver, $\it{Yices}$, in our approach. Case study conducted using a real-world reactor protection system demonstrated the effectiveness of the proposed approach. Using test cases that had been manually prepared by FBD testing professionals, our automatic coverage measurement technique found many aspects of the FBD logic that were not tested sufficiently. Automatic test case generation applied to i...
Advisors
Bae, Doo-Hwanresearcher배두환researcher
Description
한국과학기술원 : 전산학전공,
Publisher
한국과학기술원
Issue Date
2009
Identifier
327794/325007  / 020045262
Language
eng
Description

학위논문(박사) - 한국과학기술원 : 전산학전공, 2009. 8., [ vii, 60 p. ]

Keywords

Software testing; Structural testing; Test coverage criteria; Programmable logic controller; Function block diagram; 소프트웨어 테스팅; 구조적 테스팅; 테스터 커버리지 기준; 프로그래머블 로직 콘트롤러; 함수 블록 다이어그램; Software testing; Structural testing; Test coverage criteria; Programmable logic controller; Function block diagram; 소프트웨어 테스팅; 구조적 테스팅; 테스터 커버리지 기준; 프로그래머블 로직 콘트롤러; 함수 블록 다이어그램

URI
http://hdl.handle.net/10203/33279
Link
http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=327794&flag=dissertation
Appears in Collection
CS-Theses_Ph.D.(박사논문)
Files in This Item
There are no files associated with this item.

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0