The Community for Technology Leaders
Green Image
Issue No. 04 - July/August (2008 vol. 25)
ISSN: 0740-7459
pp: 74-81
Tony Savor , OANDA
Reactive systems that service multiple clients or users are often highly configurable to provide customized, value-added services to individual users. A large configuration space is characteristic of such systems, resulting in a large test state space. A new framework reduces specification complexity and enables automated testing for such systems. A running example from class-5 telephony illustrates the benefits of this new approach and the experiences gained in developing and testing it.
test state space, real-time, reactive system, test automation, test generation, telephony, specification complexity

T. Savor, "Testing Feature-Rich Reactive Systems," in IEEE Software, vol. 25, no. , pp. 74-81, 2008.
93 ms
(Ver 3.3 (11022016))