Abstract
We present a formal theory of model-based testing, an algorithm for test generation based on it, and outline how testing is implemented by a diagnostic engine. The key to making the complex task of test generation feasible for systems with continuous domains is the use of model abstraction. Tests can be generated using manageable finite models and then mapped back to a detailed level. We state conditions for the correctness of this approach and discuss the preconditions and scope of applicability of the theory.
| Original language | English |
|---|---|
| Pages | 251-256 |
| Number of pages | 6 |
| State | Published - 1994 |
| Event | Proceedings of the 12th National Conference on Artificial Intelligence. Part 1 (of 2) - Seattle, WA, USA Duration: 31 Jul 1994 → 4 Aug 1994 |
Conference
| Conference | Proceedings of the 12th National Conference on Artificial Intelligence. Part 1 (of 2) |
|---|---|
| City | Seattle, WA, USA |
| Period | 31/07/94 → 4/08/94 |