Integration of Reliability and Performance Analyses for Active Network Services

Increasing the quality of software for new telecommunication services requires the joint use of di#erent testing techniques. For instance, automatic verification and performance evaluation are necessary to ensure desired throughput and reliability. However, both kinds of analysis were traditionally performed without sharing a common description of the system, and much work and time was wasted constructing di#erent specifications oriented to particular tools