Chen, Minghua (2002) The implementation of specification-based testing system for real-time reactive system in TROMLAB framework. Other thesis, Concordia University.
This major report describes the analysis, design, and implementation of the "TROM-SBTS: specification-based testing system for real-time reactive system in TROMLIB framework" in Java. Specification-based testing is a new approach in black box testing for real-time reactive system developed by Mao Zheng [Mao02]. The TROM-SBTS has specification-based unit testing, pair testing, and system testing functionalities. After studying the specification-based testing algorithms reported in Mao's thesis [Mao02], the updating of the algorithms is reported. Object oriented design technology is used in the system architecture and detailed design of the TROM-SBTS. Some existing softwares are integrated into the system. Finally, the train-gate-controller problem is taken as the case study for unit testing, pair testing, and system testing. The empirical result proves the correctness of algorithms and their implementation.
|Divisions:||Concordia University > Faculty of Engineering and Computer Science > Computer Science and Software Engineering|
|Item Type:||Thesis (Other)|
|Pagination:||ii, 125 leaves : ill. ; 29 cm.|
|Degree Name:||Major reports (M.Comp.Sc.)|
|Program:||Computer Science and Software Engineering|
|Thesis Supervisor(s):||Ormandjieva, Olga|
|Deposited By:||Concordia University Libraries|
|Deposited On:||27 Aug 2009 17:24|
|Last Modified:||08 Dec 2010 15:24|
Repository Staff Only: item control page