路径覆盖构造方法  

Construction Method of Path Coverage

作　　者：伦立军[1] 赵辰光[2] 丁雪梅[1] 李英梅[1] 

机构地区：[1]哈尔滨师范大学计算机科学系,哈尔滨150080 [2]哈尔滨师范大学科学技术处,哈尔滨150080

出　　处：《计算机工程》2003年第8期62-63,77,共3页Computer Engineering

基　　金：黑龙江省教育厅科技项目(10513011);哈尔滨师范大学杰出青年基金资助项目

摘　　要：确定覆盖路径的测试数据范围是评估路径测试的重要课题之一。提出利用非限制弧集确定覆盖ddgraph图所有路径的子集，然后利用βbranch简化非限制弧，并给出了具体的应用实例。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 路径覆盖 非限制弧 βtracks 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]