In this paper we present an integrated testing environment for the automated regression test of Computer Telephony Integrated applications.Its novelty consists of a coordinative test management layer that instantiates a general-purpose environment for the specification and verification of workflows in the testing domain.This results in a test environment that controls not only the individual test tools,but also the whole life-cycle of functional system- level tests, comprising test design, test generation, test execution, test evaluation and test reporting.Special attention is devoted to the simplification of the test case design and the checking f admissibility criteria, of interdependencies between the actions of test cases, and of assumptions about the state of the system's resources.We discuss the key features of our testing environment along a concrete industrial application, which illustrates in particular the coarse grain, workflow-like test case representation and the validation and formal verification capabilities. Field results document an efficiency improvement of factors during the test execution phase.
[1]
Tiziana Margaria,et al.
An Automated Testing Environment for CTI Systems Using Concepts for Specification and Verification of Workflows
,
2000
.
[2]
Tiziana Margaria,et al.
METAFrame in Practice: Design of Intelligent Network Services
,
1999,
Correct System Design.
[3]
Tiziana Margaria,et al.
Backtracking-Free Design Planning by Automatic Synthesis in METAFrame
,
1998,
FASE.
[4]
Tiziana Margaria,et al.
Library-Based Design and Consistency Checking of System-Level Industrial Test Cases
,
2001,
FASE.