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

来源：

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING | 1979年 / 5卷 / 01期

关键词：

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

共 11 条

[1]

Barzdin J.M., Bicevskis J.J., Kalninsh A.A., Construction of complete sample system for testing correctness of programs, Ucenye Zapiski Latv. Gos. Univ, 210, pp. 152-188, (1974)

[2]

Kalninsh A.A., Bicevskis J.J., Barzdin J.M., Solvable and unsolvable cases of the problem of construction of a complete sample system, Ucenye Zapiski Latv. Gos. Univ, 210, pp. 188-206, (1974)

[3]

Miller E.F., Paige M.R., Automatic generation of software test-cases, Eurocomp Conf. Proc. 1974, pp. 1-12, (1974)

[4]

Barzdin J.M., Bicevskis J.J., Kalninsh A.A., Construction of complete sample systems for correctness testing, Mathematical Foundations of Computer Science, pp. 1-12, (1975)

[5]

King J.S., A new approach to program testing, Proc. 1975 Int. Conf. on Reliable Software, (1975)

[6]

Howden W.E., Methodology for the generation of program test data, IEEE Trans. Comput., C-24, pp. 554-559, (1975)

[7]

Ershov A.P., A history of computing in the USSR, Datamation, 21, pp. 80-88, (1975)

[8]

Howden W.E., Symbolic testing and the DISSECT symbolic evaluation system, Computer Science Tech. Rep. 11, Applied Physics and Information Science, Univ. California, San Diego, (1976)

[9]

Clarke L.A., A system to generate test data and symbolically execute programs, IEEE Trans. Software Eng., SE-2, (1976)

[10]

Barzdin J.M., Bicevskis J.J., Kalninsh A.A., Automatic construction of complete sample system for program testing, 1977 IFIP Congr. Proc., pp, pp. 57-62, (1977)

← 1 2 →