Proceedings ArticleDOI
An exercise in test generation for telecommunications services
E. Kwast
- Vol. 1
TLDR
This presentation addresses the problem of specifying tests to check the correct working of a service implementation, and performs an experiment to use existing test generation tools (designed for protocol testing) for service test generation.Abstract:
This presentation addresses the problem of specifying tests to check the correct working of a service implementation. The correct working should cover testing the correct functional behaviour with respect to the user's perception, service management aspects, performance, billing aspects and interworking with other services and network elements. We performed an experiment to use existing test generation tools (designed for protocol testing) for service test generation. The results are promising in that the generated tests compare well to tests designed by service experts, while taking less time to develop and easier to maintain.read more
Citations
More filters
Book ChapterDOI
Test Generation for Intelligent Networks Using Model Checking
TL;DR: This work studies the use of model checking techniques for the generation of test sequences and demonstrates the method by applying it to a specification of an Intelligent Network with two features.