데이타 정보가 첨부된 MSC에 기반한 병행 프로그램 테스트 케이스 생성 방법Generating test cases for concurrent programs from data annotated message sequence chart

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 607
  • Download : 0
DC FieldValueLanguage
dc.contributor.advisor차성덕-
dc.contributor.advisorCha, Sung-Deok-
dc.contributor.author김내희-
dc.contributor.authorKim, Nae-Hee-
dc.date.accessioned2011-12-13T05:58:42Z-
dc.date.available2011-12-13T05:58:42Z-
dc.date.issued1998-
dc.identifier.urihttp://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=134003&flag=dissertation-
dc.identifier.urihttp://hdl.handle.net/10203/34252-
dc.description학위논문(석사) - 한국과학기술원 : 전산학과, 1998.2, [ 60 p. ]-
dc.languagekor-
dc.publisher한국과학기술원-
dc.subject명세 기반 테스팅-
dc.subject테스트 케이스-
dc.subject병행 프로그램-
dc.subject메시지 시퀀스 차트-
dc.subjectMSC-
dc.subjectSpecification based testing-
dc.subjectTest case-
dc.subjectConcurrent program-
dc.title데이타 정보가 첨부된 MSC에 기반한 병행 프로그램 테스트 케이스 생성 방법-
dc.title.alternativeGenerating test cases for concurrent programs from data annotated message sequence chart-
dc.typeThesis(Master)-
dc.identifier.CNRN134003/325007-
dc.description.department한국과학기술원 : 전산학과, -
dc.identifier.uid000963053-
dc.contributor.localauthor차성덕-
dc.contributor.localauthorCha, Sung-Deok-
Appears in Collection
CS-Theses_Master(석사논문)
Files in This Item
There are no files associated with this item.

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0