SMOTL-A System to Construct Samples for Data Processing Program Debugging

Janis Bičevskis; Juris Borzovs; Uldis Straujums; Andris Zarinš

doi:10.1109/TSE.1979.226498

SMOTL-A System to Construct Samples for Data Processing Program Debugging

Department of Computer Science

Software Research Associates
University of Latvia

Research output: Contribution to journal › Article › peer-review

23 Citations (Scopus)

Abstract

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.

Original language	English
Pages (from-to)	60-66
Number of pages	7
Journal	IEEE Transactions on Software Engineering
Volume	SE-5
Issue number	1
DOIs	https://doi.org/10.1109/TSE.1979.226498
Publication status	Published - Jan 1979

Keywords

Index Terms-Analysis of programs
program testing
program validation
symbolic execution
test data generation

Access to Document

10.1109/TSE.1979.226498

Cite this

@article{18ee66c9d89342a3996a5ba59debe27e,

title = "SMOTL-A System to Construct Samples for Data Processing Program Debugging",

abstract = "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.",

keywords = "Index Terms-Analysis of programs, program testing, program validation, symbolic execution, test data generation",

author = "Janis Bi{\v c}evskis and Juris Borzovs and Uldis Straujums and Andris Zarin{\v s}",

year = "1979",

month = jan,

doi = "10.1109/TSE.1979.226498",

language = "English",

volume = "SE-5",

pages = "60--66",

journal = "IEEE Transactions on Software Engineering",

issn = "0098-5589",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

number = "1",

}

TY - JOUR

T1 - SMOTL-A System to Construct Samples for Data Processing Program Debugging

AU - Bičevskis, Janis

AU - Borzovs, Juris

AU - Straujums, Uldis

AU - Zarinš, Andris

PY - 1979/1

Y1 - 1979/1

N2 - 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.

AB - 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.

KW - Index Terms-Analysis of programs

KW - program testing

KW - program validation

KW - symbolic execution

KW - test data generation

UR - https://www.scopus.com/pages/publications/0018287029

U2 - 10.1109/TSE.1979.226498

DO - 10.1109/TSE.1979.226498

M3 - Article

AN - SCOPUS:0018287029

SN - 0098-5589

VL - SE-5

SP - 60

EP - 66

JO - IEEE Transactions on Software Engineering

JF - IEEE Transactions on Software Engineering

IS - 1

ER -

SMOTL-A System to Construct Samples for Data Processing Program Debugging

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this