Issue No. 04 - July/August (2008 vol. 25)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MS.2008.99
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.