Specification-based testing of java multithreaded programs utilizing equivalence relation on test sequences = 시험 시퀀스들의 동치 관계를 이용한 자바 다중스레드 프로그램의 명세 기반 시험기법

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...
Advisors
Kwon, Yong-Raeresearcher권용래researcher
Publisher
한국과학기술원
Issue Date
2007
Identifier
263528/325007  / 020005156
Language
eng
Description

학위논문(박사) - 한국과학기술원 : 전산학전공, 2007.2, [ vii, 76 p. ]

Keywords

Test Sequence; Equivalence Relation; Concurrent Program; Deterministic Testing; 결정적 시험; 시험 시퀀스; 동치 관계; 병행프로그램

URI
http://hdl.handle.net/10203/33224
Link
http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=263528&flag=t
Appears in Collection
CS-Theses_Ph.D.(박사논문)
Files in This Item
There are no files associated with this item.
  • Hit : 158
  • Download : 0
  • Cited 0 times in thomson ci

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0