.png){kind=icon}
返回
ADTEST: A test data generation suite for Ada software systems
.png){kind=icon}
PRE
AI
DOI：10.1109/32.624304.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
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.
Keyword:
software test data generation
software testing
program instrumentation
symbolic execution
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
5.6
论文数:
2.8K
被引数:
1.1W
机构
暂无机构信息
引用论文
分享收藏分享收藏The ARF Tumor Suppressor Regulates Bone Remodeling and Osteosarcoma Development in Mice.png)
PLoS ONE
OAAI
PLoS ONEIF0
OAAI分享收藏Indirect competition for pollinators is weak compared to direct resource competition: pollination and performance in the face of an invaderOecologia
OecologiaIF0
PREAI
分享收藏 没有更多内容
没有更多内容