AUTOMATIC-GENERATION OF RANDOM SELF-CHECKING TEST CASES

被引：104

作者：

BIRD, DL ^{[1
]}

MUNOZ, CU ^{[1
]}

机构：

[1] IBM,DIV GEN PROD,SANTA TERESA LAB,SAN JOSE,CA 95150

来源：

IBM SYSTEMS JOURNAL | 1983年 / 22卷 / 03期

关键词：

D O I：

10.1147/sj.223.0229

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

A technique of automatically generating random software test cases is described. The nature of such test cases ensures that they will execute to completion, and their execution is predicted at the time of generation. Wherever possible the test cases are self-checking. At run-time their execution is compared with the predicted execution. Also described are implementations of the technique that have been used to test various IBM programs - PL/I language processors, sort/merge programs, and Graphical Data Display Manager alphanumeric and graphics support.

引用

页码：229 / 245

页数：17