Quantitative evaluation of software testability for specification in statechart and for source code = 상태차트 기반 소프트웨어 명세서와 소스코드에 대한 소프트웨어 시험성의 정량적 평가

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 352
  • Download : 0
Software testability for specification in statechart and for source code is suggested in this thesis. The suggested testability for specification in statechart is based on the degree of required efforts for testing, and is based on the number of test cases required for the transformed finite state machine of the statechart. The statechart is transformed into extended finite state machine by flattening the hierarchy and concurrency of the statechart and expanded into finite state machine by splitting the conditional transitions. The proposed testability measure has been applied to the statechart of the low pressurizer pressure trip function of the plant protection system and statechart of the coffee vending machine. The testability of the specification in statechart can be improved either by introducing additional outputs to the statechart or by modeling the statechart to reduce the number of test cases required for the transformed finite state machine. To reduce the number of required test cases, the statechart should be modeled to have minimum concurrency among states and to have minimum conditional transitions. The testability for source code is the likelihood that the testing will detect the fault if the software contains a fault. The proposed testability for source code is based on the fault tree analysis and entropy of the importance of the basic statements. The proposed testability for source code has been applied to the safety software modules of Core Protection Calculator System. By performing test with fault seeded software, it was shown that test cases from branch coverage and random testing detected more faults for the software with higher testability. The proposed testability measure can be used to optimize testing by assigning more efforts for modules with lower testability. Or it can be used to select appropriate output to increase the testability.
Advisors
Seong, Poong-Hyunresearcher성풍현researcher
Description
한국과학기술원 : 원자력및양자공학과,
Publisher
한국과학기술원
Issue Date
2004
Identifier
237574/325007  / 000955185
Language
eng
Description

학위논문(박사) - 한국과학기술원 : 원자력및양자공학과, 2004.2, [ vii, 107 p. ]

Keywords

ENTROPY; SOFTWARE FAULT TREE; STATECHART SPECIFICATION; SOFTWARE TESTABILITY; FINITE STATE MACHINE; 유한상태기계; 엔트로피; 소프트웨어 고장수목; 상태차트 명세서; 소프트웨어 시험성

URI
http://hdl.handle.net/10203/48964
Link
http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=237574&flag=dissertation
Appears in Collection
NE-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