DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Park, Sung-Joo | - |
dc.contributor.advisor | 박성주 | - |
dc.contributor.author | Yoon, Sang-Woo | - |
dc.contributor.author | 윤상우 | - |
dc.date.accessioned | 2011-12-14T06:03:15Z | - |
dc.date.available | 2011-12-14T06:03:15Z | - |
dc.date.issued | 1987 | - |
dc.identifier.uri | http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=65922&flag=dissertation | - |
dc.identifier.uri | http://hdl.handle.net/10203/44771 | - |
dc.description | 학위논문(석사) - 한국과학기술원 : 경영과학과, 1987.2, [ [iii], 67, [1] p. ] | - |
dc.description.abstract | The software testing cost in the software lifecycle is greater than 50% of total programming cost, and error fixing cost in this phase is greater than any other phase of software lifecycle. The development of computer-aided tools for better software testing reduces the effort and cost of software testing. In this paper, cause-effect graph specification language was implemented by ISLDM/SEM, and checking rules for detecting ambiguity, incompleteness, and inconsistency in specifications were defined. Also, the specification could be used to automatically convert to the limited entry decision table. This automated tool contributes to test cases design and programming productivities, and this formal language helps better understanding than the natural language specification. | eng |
dc.language | eng | - |
dc.publisher | 한국과학기술원 | - |
dc.title | (An) automated tool for software testing using cause effect graph | - |
dc.title.alternative | 인과 그래프를 이용한 소프트웨어 테스트 자동화 도구 | - |
dc.type | Thesis(Master) | - |
dc.identifier.CNRN | 65922/325007 | - |
dc.description.department | 한국과학기술원 : 경영과학과, | - |
dc.identifier.uid | 000831734 | - |
dc.contributor.localauthor | Park, Sung-Joo | - |
dc.contributor.localauthor | 박성주 | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.