데이타 정보가 첨부된 MSC에 기반한 병행 프로그램 테스트 케이스 생성 방법Generating test cases for concurrent programs from data annotated message sequence chart
- Advisors
- 차성덕; Cha, Sung-Deok
- Description
- 한국과학기술원 : 전산학과,
- Publisher
- 한국과학기술원
- Issue Date
- 1998
- Identifier
- 134003/325007 / 000963053
- Language
- kor
- Description
학위논문(석사) - 한국과학기술원 : 전산학과, 1998.2, [ 60 p. ]
- Keywords
명세 기반 테스팅; 테스트 케이스; 병행 프로그램; 메시지 시퀀스 차트; MSC; Specification based testing; Test case; Concurrent program
- 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.