加载中...
首页专利查询专利详情

*来源于国家知识产权局数据,仅供参考,实际以国家知识产权局展示为准

一种软件可靠性测试方法、系统、存储介质、计算机程序

发明专利有效专利
  • 申请号:
    CN202010275488.4
  • IPC分类号:G06F11/36
  • 申请日期:
    2020-04-09
  • 申请人:
    哈尔滨工业大学(威海)
著录项信息
专利名称一种软件可靠性测试方法、系统、存储介质、计算机程序
申请号CN202010275488.4申请日期2020-04-09
法律状态实质审查申报国家中国
公开/公告日2020-08-14公开/公告号CN111538654A
优先权暂无优先权号暂无
主分类号G06F11/36IPC分类号G;0;6;F;1;1;/;3;6查看分类表>
申请人哈尔滨工业大学(威海)申请人地址
山东省威海市文化西路2号 变更 专利地址、主体等相关变化,请及时变更,防止失效
权利人哈尔滨工业大学(威海)当前权利人哈尔滨工业大学(威海)
发明人张策;王金勇;吕为工;邱忠银;高天翼;江文倩;袁雨飞;徐早辉;孙源;盛晟;苏嘉尧;白睿;王瞰宇
代理机构北京汇捷知识产权代理事务所(普通合伙)代理人马金华
摘要
本发明属于软件测试技术领域,公开了一种软件可靠性测试方法、系统、存储介质、计算机程序,建立了基于故障检测率函数、故障修复函数和新故障引入函数的故障检测、修复与引入模型,对模型进行求解;求解得到统一的测试覆盖函数下考虑故障不完全修复与引入新故障的不完美测试模型;求得软件中总故障数量和累积修复的故障数量;完成了测试覆盖函数下考虑故障不完全修复与引入新故障的不完美测试框架模型的构建,得到了表示截止时刻累积检测到和修复的故障数量,软件中总的故障数量。本发明提出一种全面考虑不完美排错的软件可靠性过程分析方法,并明确考虑到测试覆盖,所提出的模型能够更加准确地描述软件测试过程。

我浏览过的专利

专利服务由北京酷爱智慧知识产权代理公司提供