DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Kwon, Yong-Rae | - |
dc.contributor.advisor | 권용래 | - |
dc.contributor.author | Jung, In-Sang | - |
dc.contributor.author | 정인상 | - |
dc.date.accessioned | 2011-12-13T05:53:03Z | - |
dc.date.available | 2011-12-13T05:53:03Z | - |
dc.date.issued | 1989 | - |
dc.identifier.uri | http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=66794&flag=dissertation | - |
dc.identifier.uri | http://hdl.handle.net/10203/33872 | - |
dc.description | 학위논문(석사) - 한국과학기술원 : 전산학과, 1989.8, [ 1책(면수복잡) ] | - |
dc.description.abstract | In this thesis, we suggest a method of the test data generation based on the dynamic analysis of structured specifications. Through the dynamic analysis of structured specifications, the control informations are deduced so that we can provid not only a formal guideline for creating the problem partition, but also useful informations for designing the target system. The importance of the hierarchical structure of input data is emphasized as a means of revealing the problem structure as well as of refining input domain. | eng |
dc.language | eng | - |
dc.publisher | 한국과학기술원 | - |
dc.subject | 테스트 데이터. | - |
dc.title | (A) study on the test data generation based on the dynamic analysis of specifications | - |
dc.title.alternative | 명세의 동적 분석을 통한 테스트 데이타 생성에 관한 연구 | - |
dc.type | Thesis(Master) | - |
dc.identifier.CNRN | 66794/325007 | - |
dc.description.department | 한국과학기술원 : 전산학과, | - |
dc.identifier.uid | 000871391 | - |
dc.contributor.localauthor | Kwon, Yong-Rae | - |
dc.contributor.localauthor | 권용래 | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.