Abstract :
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.
Keywords :
DiffServ networks; finite state machines; formal specification; telephony; automated testing; class-5 telephony soft; differentiated services; finite-state machine; reactive systems; specification complexity; Automatic testing; Communication industry; Computer networks; Industrial training; State-space methods; Switches; System testing; Telecommunication standards; Telephony; Time to market; reactive system; real-time; specification complexity; telephony; test automation; test generation; test state space;
