A software system for the generation of test data for Ada programs

Gallagher M.J. and Narasimhan V.L. (1993) A software system for the generation of test data for Ada programs. Microprocessing and Microprogramming, 38 1-5: 637-644. doi:10.1016/0165-6074(93)90204-X


Author Gallagher M.J.
Narasimhan V.L.
Title A software system for the generation of test data for Ada programs
Journal name Microprocessing and Microprogramming
ISSN 0165-6074
Publication date 1993
Sub-type Article (original research)
DOI 10.1016/0165-6074(93)90204-X
Volume 38
Issue 1-5
Start page 637
End page 644
Total pages 8
Subject 2200 Engineering
Abstract This paper presents the design of a software system for generating test data for programs developed in Ada. The key feature of this system is that the problem of test data generation is treated entirely as a numerical optimisation problem and, as a consequence, this method does not suffer from the difficulties associated with input variable-dependent loops, array references, and modules calls that are found in symbolic execution systems. Instead, program instrumentation is used to solve a set of path constraints without explicitly knowing their form. The system supports not only the generation of integer and real data types, but also non-numerical discrete types such as characters and enumerated types.
Q-Index Code C1
Q-Index Status Provisional Code
Institutional Status Unknown

Document type: Journal Article
Sub-type: Article (original research)
Collection: Scopus Import
 
Versions
Version Filter Type
Citation counts: Scopus Citation Count Cited 0 times in Scopus Article
Google Scholar Search Google Scholar
Created: Tue, 26 Jul 2016, 03:37:57 EST by System User