AUTOMATED TEST-GENERATION AND EVALUATION FOR REAL-TIME EXPERT-SYSTEMS

被引:0
|
作者
BECKER, L [1 ]
DUCKWORTH, J [1 ]
LAZNOVSKY, A [1 ]
GREEN, P [1 ]
机构
[1] REAL TIME INTELLIGENT SYST CORP,WORCESTER,MA
关键词
D O I
10.1002/int.4550090803
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
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. (C) 1994 John Wiley & Sons, Inc.
引用
收藏
页码:659 / 682
页数:24
相关论文
共 50 条