Demonstration of an Automated Integrated Test Environment for Web-Based Applications
Proceedings of the 9th International SPIN Workshop on Model Checking of Software
Dynamic testing via automata learning
HVC'07 Proceedings of the 3rd international Haifa verification conference on Hardware and software: verification and testing
Hi-index | 0.00 |
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.