节点文献

一种基于数据流准则的测试数据自动生成算法

Automatic Test Data Generation Algorithm Based on Data Flow Rules

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具,请取消加速工具后下载。

【作者】 陈继锋沈钧毅王欣峻刘勇王志海

【Author】 CHEN Ji-feng, SHEN Jun-yi, WANG Xin-jun, LIU Yong, WANG Zhi-hai( College of Electronic & Information Engineering, Xi’an Jiaotong University, Xi’an 710049, China)

【机构】 西安交通大学电子与信息工程学院西安交通大学电子与信息工程学院 陕西西安710049陕西西安710049

【摘要】 提出了一种基于数据流准则的测试数据自动生成的算法。该算法采用ALL-DU-PATHS覆盖准则,应用Warshall算法来计算判定DU对的可行可测性,通过优化选取覆盖DU对的测试序列,给出了基于测试序列的测试数据自动生成的方法,最后通过实例和实验进行了验证。

【Abstract】 An algorithm to automatic test data generation based on data flow rules is presented in this paper. The ALL-DU-PATHS data flow rule is introduced, and the Warshall method is used to check the feasibility and mensurability of DU-pair in the algorithm. The automatic test data generation approach based on test sequence is given after selecting test sequence on DU-pair coverage. Finally, the algorithm is checked by example and experiment.

【关键词】 数据流准则DU对谓词函数测试数据
【Key words】 Data flow ruleDU-pairPredicate functionTest data
【基金】 国家“863”高技术研究发展计划基金项目(2003AA1Z2610)
  • 【文献出处】 微电子学与计算机 ,Microelectronics & Computer , 编辑部邮箱 ,2007年01期
  • 【分类号】TP311.52
  • 【被引频次】9
  • 【下载频次】237
节点文献中: 

本文链接的文献网络图示:

本文的引文网络