모델 체킹을 이용한 SDL 명세로부터의 테스트 케이스 생성 환경 구현Test generation environment in SDL specification using model checker
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.advisor | 차성덕 | - |
| dc.contributor.advisor | Cha, Sung-Deok | - |
| dc.contributor.author | 이금자 | - |
| dc.contributor.author | Lee, Geum-Ja | - |
| dc.date.accessioned | 2011-12-13T06:02:58Z | - |
| dc.date.available | 2011-12-13T06:02:58Z | - |
| dc.date.issued | 2003 | - |
| dc.identifier.uri | http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=180720&flag=dissertation | - |
| dc.identifier.uri | http://hdl.handle.net/10203/34528 | - |
| dc.description | 학위논문(석사) - 한국과학기술원 : 전산학전공, 2003.2, [ vi, 65 p. ] | - |
| dc.language | kor | - |
| dc.publisher | 한국과학기술원 | - |
| dc.subject | 모델 체킹 | - |
| dc.subject | 소프트웨어 테스팅 | - |
| dc.subject | 명세 기반 테스팅 | - |
| dc.subject | 테스트 케이스 생성 | - |
| dc.subject | test case generation | - |
| dc.subject | model checking | - |
| dc.subject | software testing | - |
| dc.subject | specification and descrption language | - |
| dc.title | 모델 체킹을 이용한 SDL 명세로부터의 테스트 케이스 생성 환경 구현 | - |
| dc.title.alternative | Test generation environment in SDL specification using model checker | - |
| dc.type | Thesis(Master) | - |
| dc.identifier.CNRN | 180720/325007 | - |
| dc.description.department | 한국과학기술원 : 전산학전공, | - |
| dc.identifier.uid | 020013404 | - |
| dc.contributor.localauthor | 차성덕 | - |
| dc.contributor.localauthor | Cha, Sung-Deok | - |
- Appears in Collection
- CS-Theses_Master(석사논문)
- Files in This Item
- There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.