DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Kwon, Yong-Rae | - |
dc.contributor.advisor | 권용래 | - |
dc.contributor.author | Seo, Heui-Seok | - |
dc.contributor.author | 서희석 | - |
dc.date.accessioned | 2011-12-13T05:26:17Z | - |
dc.date.available | 2011-12-13T05:26:17Z | - |
dc.date.issued | 2007 | - |
dc.identifier.uri | http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=263528&flag=dissertation | - |
dc.identifier.uri | http://hdl.handle.net/10203/33224 | - |
dc.description | 학위논문(박사) - 한국과학기술원 : 전산학전공, 2007.2, [ vii, 76 p. ] | - |
dc.description.abstract | Since repeated executions of a concurrent program with an identical input may yield different results depending upon execution paths,concurrent program testing derives and executes test sequences which correspond to iinterleavings of concurrent events. This thesis presents an approach to specification-based testing of Java multithreaded programs with representative sequences generated from a Statecharts specification. Representative sequences are a subset of all possible interleavings of concurrent events that define the behaviors of a concurrent program. Because a program``s correctness may be determined by checking whether a program implemented all behaviors described in its specification or not, the program can be regarded as being correct if it can supply an alternative execution that has the same effects as the program``s behavior for each representative sequence. Based on this observation, we employ each representative sequence as a seed to acquire its equivalent sequences to reveal the same behavior. In test execution, the traditional deterministic testing is inefficient since it controls a program``s execution according to only a given test sequence. Therefore, we have developed a new type of deterministic testing which controls a program``s execution according to equivalent sequences. It can efficiently determine whether a program reveals the expected behavior by implementing at least one of equivalent sequences or not. The environment for concurrent program testing generally consists of components to support test sequence generation and test execution. We have developed a flexible environment that supports two testing strategies: one is to check whether a program implements at least one equivalent sequence and the other is to check whether a program implements all equivalent sequences. In contrast to previous works which test an entire program based on either of the strategies, our environment can select a testing method suitable for the testing... | eng |
dc.language | eng | - |
dc.publisher | 한국과학기술원 | - |
dc.subject | Test Sequence | - |
dc.subject | Equivalence Relation | - |
dc.subject | Concurrent Program | - |
dc.subject | Deterministic Testing | - |
dc.subject | 결정적 시험 | - |
dc.subject | 시험 시퀀스 | - |
dc.subject | 동치 관계 | - |
dc.subject | 병행프로그램 | - |
dc.title | Specification-based testing of java multithreaded programs utilizing equivalence relation on test sequences | - |
dc.title.alternative | 시험 시퀀스들의 동치 관계를 이용한 자바 다중스레드 프로그램의 명세 기반 시험기법 | - |
dc.type | Thesis(Ph.D) | - |
dc.identifier.CNRN | 263528/325007 | - |
dc.description.department | 한국과학기술원 : 전산학전공, | - |
dc.identifier.uid | 020005156 | - |
dc.contributor.localauthor | Kwon, Yong-Rae | - |
dc.contributor.localauthor | 권용래 | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.