...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Software Testing, Verification and Reliability >Generating Input Data Structures For Automated Program Testing
【24h】

Generating Input Data Structures For Automated Program Testing

机译：生成用于自动程序测试的输入数据结构

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Automatic test data generation usually concerns identifying input values that cause a selected path to execute. If a given path involves pointers, then input values may be represented in terms of two-dimensional dynamic data structures such as lists or trees. Thus, it is very important to identify the shape of the input data structure describing how many nodes are required and how nodes are connected each other. The approach presented in this paper makes use of the points-to information for each statement in the selected path for the shape generation. It also converts each statement into a static single assignment (SSA) form without pointer dereferences. The SSA form serves as a system of constraints to be solved to yield input values for non-pointer types. An empirical evaluation shows that shape generation can be achieved in linear time in terms of the number of pointer dereference operations.
机译：自动测试数据生成通常涉及识别导致选定路径执行的输入值。如果给定路径包含指针，则可以使用二维动态数据结构（如列表或树）来表示输入值。因此，确定描述需要多少个节点以及节点如何相互连接的输入数据结构的形状非常重要。本文介绍的方法利用所选路径中每个语句的指向信息来生成形状。它还将每个语句转换为静态单分配（SSA）形式，而无需指针取消引用。 SSA表单用作要解决的约束系统，以产生非指针类型的输入值。经验评估表明，就指针取消引用操作的次数而言，可以在线性时间内实现形状生成。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号