AI planner assisted test generation

被引:2
作者
Andrews, AKA [1 ]
Zhu, CH
Scheetz, M
Dahlman, E
Howe, AE
机构
[1] Washington State Univ, Sch Elect Engn & Comp Sci, Pullman, WA 99163 USA
[2] Colorado State Univ, Dept Comp Sci, Ft Collins, CO 80523 USA
基金
美国国家科学基金会;
关键词
system test; AI planning; high level test objectives;
D O I
10.1023/A:1021686406575
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
This paper describes an AI planner assisted approach to generate test cases for system testing based on high level test objectives. We use four levels of test generation: the metaprocessor, the preprocessor, the AI planner, and the postprocessor levels. Test generation is based on an extended UML model of the system under test and a mapping of high-level test objectives into initial and goal conditions of the planner. Test objectives are derived from a series of interviews with professional testers. We suggest various options for test criteria related to test objectives. The AI planner was used to generate hundreds of test cases for a robot controlled tape silo. The planner generated tests within a reasonable time. It was successful for each test objective given.
引用
收藏
页码:225 / 259
页数:35
相关论文
共 35 条
[1]   Using model checking to generate tests from specifications [J].
Ammann, PE ;
Black, PE ;
Majurski, W .
SECOND INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS, 1998, :46-54
[2]  
ANDERSON JS, 1993, THESIS U OREGON
[3]  
BARRETT A, 1995, UCPOP USERS MANUAL
[4]   AN AUTOMATIC GENERATOR FOR COMPILER TESTING [J].
BAZZICHI, F ;
SPADAFORA, I .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1982, 8 (04) :343-353
[5]  
CHOW TS, 1977, P 1 COMPSAC, P58
[6]  
Coleman D., 1994, Object-Oriented Development: The Fusion Method
[7]   KNOWLEDGE REPRESENTATION AND REASONING IN THE DESIGN OF COMPOSITE SYSTEMS [J].
FICKAS, S ;
HELM, BR .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1992, 18 (06) :470-482
[8]  
FICKAS S, 1988, CISTR8815 U OR DEP C
[9]  
FIGLIULO T, 1996, P IEEE AER APPL C 19, V4, P335
[10]  
Fowler M., 1997, UML Distilled: Applying the Standard Object Modeling Language