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

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 362
  • Download : 0
DC FieldValueLanguage
dc.contributor.advisorSeong, Poong-Hyun-
dc.contributor.advisor성풍현-
dc.contributor.authorSohn, Se-Do-
dc.contributor.author손세도-
dc.date.accessioned2011-12-14T08:05:35Z-
dc.date.available2011-12-14T08:05:35Z-
dc.date.issued2004-
dc.identifier.urihttp://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=237574&flag=dissertation-
dc.identifier.urihttp://hdl.handle.net/10203/48964-
dc.description학위논문(박사) - 한국과학기술원 : 원자력및양자공학과, 2004.2, [ vii, 107 p. ]-
dc.description.abstractSoftware 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.eng
dc.languageeng-
dc.publisher한국과학기술원-
dc.subjectENTROPY-
dc.subjectSOFTWARE FAULT TREE-
dc.subjectSTATECHART SPECIFICATION-
dc.subjectSOFTWARE TESTABILITY-
dc.subjectFINITE STATE MACHINE-
dc.subject유한상태기계-
dc.subject엔트로피-
dc.subject소프트웨어 고장수목-
dc.subject상태차트 명세서-
dc.subject소프트웨어 시험성-
dc.titleQuantitative evaluation of software testability for specification in statechart and for source code = 상태차트 기반 소프트웨어 명세서와 소스코드에 대한 소프트웨어 시험성의 정량적 평가-
dc.typeThesis(Ph.D)-
dc.identifier.CNRN237574/325007 -
dc.description.department한국과학기술원 : 원자력및양자공학과, -
dc.identifier.uid000955185-
dc.contributor.localauthorSohn, Se-Do-
dc.contributor.localauthor손세도-
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