.png){kind=icon}
Return
ADTEST: A test data generation suite for Ada software systems
.png){kind=icon}
PRE
AI
DOI：10.1109/32.624304.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
This paper presents the design of the software system, ADTEST, for generating test data for programs developed in Ada83. The key feature of this system is that the problem of test data generation is treated entirely as a numerical optimization problem and, as a consequence, this method does not suffer from difficulties commonly found in symbolic execution systems, such as those associated with input variable-dependent loops, array references, and module calls. 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. The system has been tested on large Ada programs (60,000 lines of code) and found to reduce the effort required to test programs as well as provide an increase in test coverage.
Keywords:
software test data generation
software testing
program instrumentation
symbolic execution
AI Summary
Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.
Journal
IF:
5.6
Papers:
2.8K
Citations:
1.1W
Organization
No organization information available
Cited Papers
ShareSaveShareSaveThe ARF Tumor Suppressor Regulates Bone Remodeling and Osteosarcoma Development in Mice.png)
PLoS ONE
OAAI
PLoS ONEIF0
OAAIShareSaveShareSaveShareSaveIndirect competition for pollinators is weak compared to direct resource competition: pollination and performance in the face of an invaderOecologia
OecologiaIF0
PREAI
ShareSave no more
no more