Theoretical Computer Science
Timed Wp-Method: Testing Real-Time Systems
IEEE Transactions on Software Engineering
On the Fly Test Generation for Real Time Protocols
IC3N '98 Proceedings of the International Conference on Computer Communications and Networks
Hi-index | 0.00 |
Timed input output automaton (TIOA) model has widely been used, over the last two decades, for testing time dependent systems. Consequently, several testing methods have been developed for generating test cases from TIOA. They all generate test cases from the entire specification in order to achieve certain fault coverage. However, in practice, the system requirements usually evolve throughout the lifetime of the system and the specifications are modified incrementally to accommodate these changes. Moreover, during system maintenance, designers usually change the specification of the given system due to fault detection, changes in user requirements, and/or system environment. This paper addresses incremental testing of TIOA specifications for minimizing the testing effort whenever the system requirements or the system environment change. The proposed method targets the test of only the modified parts of an evolving system while guaranteeing the same level of confidence as testing the entire specification.