Introduction to algorithms
Detecting feature interactions in telecommunications systems designs
Detecting feature interactions in telecommunications systems designs
Graph Theory With Applications
Graph Theory With Applications
Test generation for interaction detection in feature-rich communication systems
TestCom'05 Proceedings of the 17th IFIP TC6/WG 6.1 international conference on Testing of Communicating Systems
JAIN: a new approach to services in communication networks
IEEE Communications Magazine
A formal approach to service interaction detection in mobile networks
SEPADS'11 Proceedings of the 10th WSEAS international conference on Software engineering, parallel and distributed systems
Hi-index | 0.00 |
This paper proposes two techniques to generate test sequences to check the conformance of an implementation of a feature-rich communication system to its specification, as well as to detect the interactions between the features of the system. Concepts color span and feasible combination of features are introduced to measure the extent and possibility of the interactions between different features. Several algorithms are proposed to produce an approximate minimum-cost and minimum color span tour of the transition graph of a finite-state machine. Test generation using the proposed algorithms for the SIP-based Internet telephony end system and for the Link Management Protocol is reported.