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

Datorikas nodaļa

Pētījuma izpildes rezultāts: Devums žurnālam › Zinātniskais raksts (žurnālā) › koleģiāli recenzēts

23 Atsauces (Scopus)

Kopsavilkums

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.

Oriģinālvaloda	Angļu
Lapas (no-līdz)	60-66
Lapu skaits	7
Žurnāls	IEEE Transactions on Software Engineering
Sējums	SE-5
Izdevuma numurs	1
DOIs	https://doi.org/10.1109/TSE.1979.226498
Publikācijas statuss	Publicēts - janv. 1979

Piekļuve Dokumentiem

10.1109/TSE.1979.226498

Citi faili un saites

Saite uz publikāciju Scopus

Citēt šo

@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

Kopsavilkums

Piekļuve Dokumentiem

Citi faili un saites

Nospiedums

Citēt šo