A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf
.
Specifying and Generating Test Cases Using Observer Automata
[chapter]
2005
Lecture Notes in Computer Science
We present a technique for specifying coverage criteria and a method for generating test suites for systems whose behaviours can be described as extended finite state machines (EFSM). To specify coverage criteria we use observer automata with parameters, which monitor and accept traces that cover a given test criterion of an EFSM. The flexibility of the technique is demonstrated by specifying a number of well-known coverage criteria based on control-and data-flow information using observer
doi:10.1007/978-3-540-31848-4_9
fatcat:lw2f2yjsmvhr3ec7cxiqaefnyq