모델 체킹을 이용한 SDL 명세로부터의 테스트 케이스 생성 환경 구현Test generation environment in SDL specification using model checker
- Advisors
- 차성덕; Cha, Sung-Deok
- Description
- 한국과학기술원 : 전산학전공,
- Publisher
- 한국과학기술원
- Issue Date
- 2003
- Identifier
- 180720/325007 / 020013404
- Language
- kor
- Description
학위논문(석사) - 한국과학기술원 : 전산학전공, 2003.2, [ vi, 65 p. ]
- Keywords
모델 체킹; 소프트웨어 테스팅; 명세 기반 테스팅; 테스트 케이스 생성; test case generation; model checking; software testing; specification and descrption language
- 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.