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

来源：

INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS | 1994年 / 9卷 / 08期

关键词：

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 条

[21] Cooperating expert systems, for the next generation of real-time monitoring applications
Schwuttke, UM
Veregge, JR
Quan, AG
[J]. CRITICAL TECHNOLOGY: PROCEEDINGS OF THE THIRD WORLD CONGRESS ON EXPERT SYSTEMS, VOLS I AND II, 1996, : 521 - 528
[22] APPLICATION OF EXPERT-SYSTEMS TO SYSTEMS RELIABILITY EVALUATION
RAWICZ, AH
GIRLING, D
[J]. MICROELECTRONICS RELIABILITY, 1995, 35 (9-10) : 1309 - 1320
[23] REAL-TIME OPTICAL EXPERT SYSTEMS
MCAULAY, AD
[J]. APPLIED OPTICS, 1987, 26 (10): : 1927 - 1934
[24] EXPERT SYSTEMS - READY FOR REAL-TIME
COYLE, F
[J]. IEEE EXPERT-INTELLIGENT SYSTEMS & THEIR APPLICATIONS, 1990, 5 (05): : 12 - 12
[25] LARGE REAL-TIME EXPERT SYSTEMS
MASON, AJ
[J]. CONTROL AND INSTRUMENTATION, 1990, 22 (05): : 153 - &
[26] Real-time diagnostic expert systems
Cholewa, Wojciech
[J]. Computer Assisted Mechanics and Engineering Sciences, 2002, 9 (01): : 21 - 40
[27] AUTOMATED TEST-GENERATION FOR INTEGRATED-CIRCUITS
MARLETT, R
[J]. VLSI SYSTEMS DESIGN, 1986, 7 (07): : 68 - &
[28] A METHODOLOGY FOR DESIGN, TEST, AND EVALUATION OF REAL-TIME SYSTEMS
SHERE, KD
CARLSON, RA
[J]. COMPUTER, 1994, 27 (02) : 35 - 48
[29] Test Case Generation for Flexible Real-Time Control Systems
Nilsson, Robert
Henriksson, Dan
[J]. ETFA 2005: 10TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 2, PROCEEDINGS, 2005,
[30] EXPERT-SYSTEMS AND DOCUMENT DELIVERY IN AN AUTOMATED ACQUISITIONS ENVIRONMENT
BROWN, LCB
[J]. LIBRARY ACQUISITIONS-PRACTICE AND THEORY, 1993, 17 (03): : 353 - 357

← 1 2 3 4 5 →