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

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 468
  • Download : 0
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
Description
한국과학기술원 : 전산학전공,
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=dissertation
Appears in Collection
CS-Theses_Ph.D.(박사논문)
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