Document
拖动滑块完成拼图
个人中心

预订订单
服务订单
发布专利 发布成果 人才入驻 发布商标 发布需求

在线咨询

联系我们

龙图腾公众号
首页 专利交易 科技果 科技人才 科技服务 国际服务 商标交易 会员权益 IP管家助手 需求市场 关于龙图腾
 /  免费注册
到顶部 到底部
清空 搜索
当前位置 : 首页 > 专利喜报 > 恭喜重庆大学鄢萌获国家专利权

恭喜重庆大学鄢萌获国家专利权

买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!

龙图腾网恭喜重庆大学申请的专利一种基于区域划分的自适应随机软件测试方法获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN115982031B

龙图腾网通过国家知识产权局官网在2025-03-18发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202211721509.6,技术领域涉及:G06F11/3668;该发明授权一种基于区域划分的自适应随机软件测试方法是由鄢萌;夏奕胜;孙伟峰;张小洪;杨丹设计研发完成,并于2022-12-30向国家知识产权局提交的专利申请。

一种基于区域划分的自适应随机软件测试方法在说明书摘要公布了:本发明涉及一种基于分区与自适应组件的自适应随机测试方法,包括如下步骤:选用公开数据集;构建自适应随机测试模型M;按要求选取被测程序s,并组成程序集D,同时确定M的输入域划分比例参数α;通过选择测试用例输入到程序中的结果,判断该程序是否有缺陷;其中的测试用例选择,通过构建的两个函数,按要求使用与其匹配的计算方式进行选择。本发明方法可以快速有效的提升FSCS‑ART的寻找缺陷的效率和准确性。

本发明授权一种基于区域划分的自适应随机软件测试方法在权利要求书中公布了:1.一种基于区域划分的自适应随机软件测试方法,其特征在于:包括如下步骤:S100:选用公开数据集,公开数据集包括若干个真实系统程序,每个真实系统程序有与其一一对应的输入域;S200:构建自适应随机测试模型M,所述自适应随机测试模型包括组件一、组件二和组件三;所述组件一用于划分系统程序的输入域,所述组件二用于计算测试用例的自适应相对比所述组件三用于计算测试用例的自适应距离所述测试用例为从输入域中选出的值;S300:选取被测程序s,使用现有技术确定s的输入域维度和输入域范围,并从公开数据集中选择P个与s输入域维度相同的真实系统程序组成程序集D,利用组件一确定M的输入域划分比例参数α;S400:定义测试用例使用数量阈值,从s的输入域范围中选择第一个候选测试用例t,且令已使用测试用例数量T=1;S500:将t作为s的输入,当s的输出结果为正确时,则认为没有找到s的缺陷,然后执行下一步;当s的输出结果为错误时,则认为找到s的缺陷,然后输出当前已经输入的测试用例数量F-measure,结束测试;S510:从s的输入域范围中随机选择k个候选测试用例组成候选测试用例集C;S520:从C中选择第i个候选测试用例ci,利用组件二计算ci的自适应相对比然后利用组件三计算ci的自适应距离其中,C={c1,…,ci,…ck},i=1,...,k;当时,执行S530;当时,执行S540;exter表示调用函数Exter_func的次数,inter表示调用函数Inter_func的次数;S530:使用函数Exter_func采用曼哈顿距离计算最近邻值采用公式1计算 其中,表示自适应距离,E表示所有已经执行但没有找到s中缺陷的测试用例组成的集合,表示自适应相对比,i=1,...,k;将k个进行降序排列,选择其中最大自适应距离值所对应的测试用例作为最佳的候选测试用例,将该最佳的候选测试用例赋给t,且令T=T+1,并执行S600;S540:使用函数Inter_func,采用欧式距离计算最近邻值采用公式2计算 将k个进行降序排列,选择其中最大自适应距离值所对应的测试用例作为最佳的候选测试用例,将该最佳的候选测试用例赋给t,且令T=T+1,并执行S600;S600:当T大于测试用例使用数量阈值时,结束测试,否则返回S500。

如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人重庆大学,其通讯地址为:400044 重庆市沙坪坝区沙正街174号;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。