| Abstract: | This paper describes a method for automated test generation and evaluation for real-time expert systems. This method supports dynamic testing, where test inputs are generated randomly within the constraints specified by a Test Specification Language. This allows the discovery of “unintended functionalities,” which may not be possible either through static testing or expert-supplied test cases. Automated test generation also allows rapid regeneration of test suites as the system evolves through various prototypes and versions. the Test Specification Language provides constructs for dealing with real-time constraints. Sample specifications and results implemented within the Activation Framework software development tool are also described. © 1994 John Wiley & Sons, Inc. |
