节点文献

路径覆盖构造方法

Construction Method of Path Coverage

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

【作者】 伦立军赵辰光丁雪梅李英梅

【Author】 LUN Lijun1,ZHAO Chenguang2,DING Xuemei1,LI Yingmei1 (1.Department of Computer Science,Harbin Normal University,Harbin 150080; 2.Department of Science and Technology, Harbin Normal University,Harbin 150080)

【机构】 哈尔滨师范大学计算机科学系哈尔滨师范大学科学技术处哈尔滨师范大学计算机科学系 哈尔滨 150080哈尔滨 150080哈尔滨 150080

【摘要】 确定覆盖路径的测试数据范围是评估路径测试的重要课题之一。提出利用非限制弧集确定覆盖ddgraph图所有路径的子集,然后利用βbranch简化非限制弧,并给出了具体的应用实例。

【Abstract】 A bound on the number of test data needed to achieve path coverage is important to evaluate the effort needed to test a given program. This paper presents an unconstrained arcs based on path testing subset in ddgraph, then simplify unconstrained arcs using βbranch , an example is given in this paper.

【关键词】 Ddgraph路径覆盖非限制弧βbranch
【Key words】 DdgraphPath coverageUnconstrained arcsβbranch
【基金】 黑龙江省教育厅科技项目(10513011);哈尔滨师范大学杰出青年基金资助项目
  • 【文献出处】 计算机工程 ,Computer Engineering , 编辑部邮箱 ,2003年08期
  • 【分类号】TP311.53
  • 【被引频次】5
  • 【下载频次】121
节点文献中: 

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

本文的引文网络