Chen, Minghua (2002) The implementation of specification-based testing system for real-time reactive system in TROMLAB framework. Other thesis, Concordia University.
![[img]](http://spectrum.library.concordia.ca/style/images/fileicons/application_pdf.png)
| PDF 6Mb |
Abstract
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) |
| Authors: | Chen, Minghua |
| Pagination: | ii, 125 leaves : ill. ; 29 cm. |
| Institution: | Concordia University |
| Degree Name: | Major reports (M.Comp.Sc.) |
| Program: | Computer Science and Software Engineering |
| Date: | 2002 |
| Thesis Supervisor(s): | Ormandjieva, Olga |
| ID Code: | 2012 |
| Deposited By: | Concordia University Libraries |
| Deposited On: | 27 Aug 2009 13:24 |
| Last Modified: | 08 Dec 2010 10:24 |
| Related URLs: |
Repository Staff Only: item control page
