一种基于分支覆盖的测试数据自动生成算法

计算机科学 ›› 2006, Vol. 33 ›› Issue (12): 261-264.

• 计算机网络与信息安全 • 上一篇下一篇

一种基于分支覆盖的测试数据自动生成算法

陈继锋朱利沈钧毅王志海

西安交通大学计算机软件研究所,西安710049 西安交通大学计算机软件学院,西安710049

出版日期:2018-11-17 发布日期:2018-11-17
基金资助:
国家863高技术研究发展计划基金项目（2003AA1Z2610）.

CHEN Ji-Feng, ZHU Li, SHEN Jun-Yi, WANG Zhi-Hai （Institute of Computer Software . School of Sooftwarez, Xi＇an Jiaotong University. Xi＇an 710049）

Online:2018-11-17 Published:2018-11-17

摘要/Abstract

摘要： 通过构造新的程序流图，利用Fibonacci法优化选取路径．为指定的分支生成测试数据。提出了路径测试数据生成代价的概念，并给出了代价的计算方法。当所选路径的分支谓词均为线性表达式时，直接求解线性约束集即可生成测试数据，或判定路径不可行；当分支谓词含有非线性表达式时，利用均差近似导数将非线性函数线性化，通过简单的迭代，亦能容易生成测试数据或判定路径在很大程度上不可行。若所选路径不可行或在很大程度上不可行，则选取新的路径，重复以上过程，直至求出所期望的数据，或无新的路径被选取，给定分支不可达。实例和实验表明，

关键词: 分支覆盖谓词函数线性算术表示

Abstract: In order to generate test data for a given branch, a new program flow graph is constructed, and Fibonacci method is used to optimize the path selection. The conception and calculation to path-based test data generation complexity is presented. If all bran

Key words: Branch coverage,Predicate function,I,inear arithmetic representation

陈继锋朱利沈钧毅王志海. 一种基于分支覆盖的测试数据自动生成算法[J]. 计算机科学, 2006, 33(12): 261-264. https://doi.org/

CHEN Ji-Feng, ZHU Li, SHEN Jun-Yi, WANG Zhi-Hai （Institute of Computer Software . School of Sooftwarez, Xi＇an Jiaotong University. Xi＇an 710049）. [J]. Computer Science, 2006, 33(12): 261-264. https://doi.org/

参考文献

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed

一种基于分支覆盖的测试数据自动生成算法

PDF (PC)

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 0

Metrics

本文评价

推荐阅读 0