检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:陈建明[1] 陈宇[2] 李志蜀[2] 丁革建[1]
机构地区:[1]浙江师范大学数理与信息工程学院,金华321004 [2]四川大学计算机学院,成都610064
出 处:《计算机工程》2010年第15期86-88,共3页Computer Engineering
基 金:浙江省科技计划基金资助项目"高可信软件测评关键技术研究和测评工具开发"(2009c31118)
摘 要:提出一种基于基因表达式编程(GEP)算法、编译器技术、虚拟机技术的路径覆盖测试用例生成方法。该方法使用编译器技术获得程序的静态控制流路径集合,针对集合中的每一条静态控制流路径,使用GEP算法生成覆盖特定路径的测试用例,采用虚拟机完成结果计算,其中有效的结果即所需的测试用例。实验结果证明,该方法能高效、准确地得到覆盖特定控制流路径的测试用例。This paper proposes a generation method of path coverage test based on Gene Expression Programming(GEP) algorithm,compiler technology and Virtual Machine(VM).The static control flow paths of the program are generated by the compiler,the test cases covering every specific path are generated by GEP algorithm,and the results are calculated by VM,of which the effective one is the case needed.Experimental result proves that the test cases covering the specific expected control flow paths can be calculated efficiently and accurately with the method.
分 类 号:TP311.5[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:18.221.185.110