[发明专利]数据流测试用例生成方法有效
申请号: | 201210118820.1 | 申请日: | 2012-04-23 |
公开(公告)号: | CN102708047A | 公开(公告)日: | 2012-10-03 |
发明(设计)人: | 许力;陈江勇;张辉;陈志德;孔祥增 | 申请(专利权)人: | 福建师范大学 |
主分类号: | G06F11/36 | 分类号: | G06F11/36;G06N3/12 |
代理公司: | 福州元创专利商标代理有限公司 35100 | 代理人: | 蔡学俊 |
地址: | 350007 *** | 国省代码: | 福建;35 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | 本发明涉及一种数据流测试用例生成方法,采用遗传算法来搜索满足数据流测试准则的测试用例,在该方法中,适应度按如下公式计算:;其中,fitness(t)表示适应度,m表示测试用例t已经覆盖的路径条数,n表示程序总的需要覆盖的路径条数,p表示在未覆盖的(n-m)条路径中包含的分支谓词数量,所述分支谓词为程序分支的条件表达式,α表示分支谓词对适应度的影响权重因子,fi(x)表示程序第i个分支的分支函数值。该方法有利于提高数据流测试用例生成算法的收敛速度。 | ||
搜索关键词: | 数据流 测试 生成 方法 | ||
【主权项】:
1.一种数据流测试用例生成方法,其特征在于:采用遗传算法来搜索满足数据流测试准则的测试用例,在该方法中,适应度按如下公式计算:其中,fitness(t)表示适应度,m表示测试用例t已经覆盖的路径条数,n表示程序总的需要覆盖的路径条数,p表示在未覆盖的(n-m)条路径中包含的分支谓词数量,所述分支谓词为程序分支的条件表达式,α表示分支谓词对适应度的影响权重因子,fi(x)表示程序第i个分支的分支函数值,分支函数的构造方法为:(1)若分支谓词为A>B或A≥B,则分支函数为;(2)若分支谓词为A<B或A≤B,则分支函数为;(3)若分支谓词为A==B,则分支函数为;(4)若分支谓词为A!=B,则分支函数为;其中,A、B 表示表达式,abs( )表示求表达式绝对值。
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于福建师范大学,未经福建师范大学许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/201210118820.1/,转载请声明来源钻瓜专利网。
- 上一篇:压力可调式室内自压供水装置
- 下一篇:X射线残余应力测试系统校准试块制作方法