Michael Ray, Yves C. Martin
Proceedings of SPIE - The International Society for Optical Engineering
This paper describes a model-based approach to generate conformance tests for interactive applications. Our method addresses generation of: (1) small yet effective set of test frames for testing individual operations, (2) a Set up sequence that brings the system under test in an appropriate state for a test frame (self-priming), (3) a Verification sequence for expected output and state changes (self-checking), and, (4) negative test cases in the presence of exceptions. Our method exploits a novel mutation scheme applied to operations modeled as relationships among parameters and state variables; a set of novel abstraction techniques which result in a compact finite state automaton; and search techniques to automatically generate the set up and verification sequences. We illustrate our method with a simple ATM application. © 2003 Elsevier B.V. All rights reserved.
Michael Ray, Yves C. Martin
Proceedings of SPIE - The International Society for Optical Engineering
Pradip Bose
VTS 1998
B. Wagle
EJOR
Donald Samuels, Ian Stobert
SPIE Photomask Technology + EUV Lithography 2007