The implementation of specification-based testing system for real-time reactive system in TROMLAB framework

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.