共 11 条
[11]
Bicevskis J.J., Automatic construction of sample systems, Programmirovanije, 3, pp. 60-70, (1977)
SMOTL - SYSTEM TO CONSTRUCT SAMPLES FOR DATA-PROCESSING PROGRAM DEBUGGING
被引：23
作者：
BICEVSKIS, J
BORZOVS, J
STRAUJUMS, U
ZARINS, A
MILLER, EF
机构：
[1] Department of Computer Science, Latvian State University, Riga, Latvia
[2] Software Research Associates, San Francisco, CA
关键词：
Index Terms-Analysis of programs;
program testing;
program validation;
symbolic execution;
test data generation;
D O I：
10.1109/TSE.1979.226498
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ;
0835 ;
摘要：
The possibility of automatic construction of a complete set of program tests is considered. A test set system is said to be complete if every feasible program branch (segment) is executed by it. The complete test set construction algorithm for commercially oriented data processing programs is outlined, and the results of its functioning on real programs are analyzed. Copyright © 1979 by The Institute of Electrical and Electronics Engineers, Inc.
引用
收藏
页码：60 / 66
页数：7
相关论文