Leveraging UML to Deliver Correct Telecom Applications

Stringent reliability demanded of telecommunications systems requires that the absence of defects be ascertained as extensively as possible. In this chapter, we present techniques we have developed to verify specifications expressed in sequence diagrams: formal verification of specifications can demonstrate the consistency and completeness of a set of sequence diagrams. Automated test case generation can produce a test suite that is able to establish that a system exhibits the traces implied by a set of sequence diagrams.