.png){kind=icon}
返回
Goal-oriented test data generation for pointer programs
.png){kind=icon}
OA
AI
DOI：10.1016/j.infsof.2006.10.016.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Automatic test data generation leads to the identification of input values on which a selected path or a selected branch is executed within a program (path-oriented vs. goal-oriented methods). In both cases, several approaches based oil constraint solving exist, but in the presence of pointer variables only path-oriented methods have been proposed. Pointers are responsible for the existence of conditional aliasing problems that usually provoke the failure of the goal-oriented test data generation process. In this paper, we propose an overall constraint-based method that exploits the results of an intraprocedural points-to analysis and provides two specific constraint combinators for automatically generating goal-oriented test data. This approach correctly handles multi-levels stack-directed pointers that are mainly used in C programs. The method has been fully implemented in the test data generation tool INKA and first experiences in applying it to a variety of existing programs are presented. (c) 2006 Elsevier B.V. All rights reserved.
Keyword:
goal-oriented test data generation
constraint logic programming
static single assignment form
pointer variables
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
4.3
论文数:
3.7K
被引数:
7.7K
机构
暂无机构信息
引用论文
Low frequency and broadband metamaterial absorber with cross arrays and a flaked iron powder magnetic composite.png)
AIP AdvancesOAAI
AIP AdvancesIF0
OAAI分享收藏
Uniformity in dynamic baroreflex regulation of left and right cardiac sympathetic nerve activities
PREAI
分享收藏
查看更多内容