软件故障检测方法、系统、存储介质、计算机程序、终端

发明专利有效专利

申请号：
CN202010276212.8
IPC分类号：G06F11/36
申请日期：
2020-04-09
申请人：
哈尔滨工业大学（威海）

基础信息

权利要求

说明书

PDF全文

法律信息

引证文献

著录项信息

专利名称	软件故障检测方法、系统、存储介质、计算机程序、终端
申请号	CN202010276212.8	申请日期	2020-04-09
法律状态	实质审查	申报国家	中国
公开/公告日	2020-08-14	公开/公告号	CN111538655A
优先权	暂无	优先权号	暂无
主分类号	G06F11/36 ? IPC结构图谱： G 物理 G0 仪器 G06 计算；推算；计数 G06F 电数字数据处理（基于特定计算模型的计算机系统入G06N） G06F11/00 错误检测；错误校正；监控（在基于记录载体和传感器之间的相对运动而实现的信息存储中的错误检测、校正或监控所用的方法或装置入 G11B 20/18；监控，即，监控记录或重现的进程入G11B 27/36；静态存储中所用的方法或装置入G11C29/00）〔1，4，2006.01〕 G06F11/36 通过软件的测试或调试防止错误〔7〕	IPC分类号	G;0;6;F;1;1;/;3;6查看分类表>
申请人	哈尔滨工业大学（威海）	申请人地址	山东省威海市文化西路2号变更专利地址、主体等相关变化，请及时变更，防止失效
权利人	哈尔滨工业大学（威海）	当前权利人	哈尔滨工业大学（威海）
发明人	张策;王金勇;吕为工;盛晟;苏嘉尧;江文倩;徐早辉;孙源;袁雨飞;高天翼;邱忠银;白睿;王瞰宇
代理机构	北京汇捷知识产权代理事务所（普通合伙）	代理人	马金华

摘要

本发明属于软件测试技术领域，公开了一种软件故障检测方法、系统、存储介质、计算机程序、终端，统一的故障检测与修复框架模型；故障检测率下考虑故障检测、修复与引入的不完美排错框架模型；所获得的统一的两类不完美排错框架模型，在初始条件下，被设定五种形式，继而分别求得五种情况累积故障检测函数。本发明提出统一的故障检测模型，建立可用于实施FDR研究的单一微分方程，进而建立涵盖故障检测、修复与引入的测试模型，建立可实施FDR研究的微分方程组。通过FDR支持下的这两类可靠性模型的性能，为区分不同FDR性能带来可能，并验证了建立含有丰富测试信息的可靠性模型对于提高可靠性的重要性。

序号	公开(公告)号	公开(公告)日	申请日	专利名称	申请人
该专利没有引用任何外部专利数据！

序号	公开(公告)号	公开(公告)日	申请日	专利名称	申请人
该专利没有被任何外部专利所引用！

我浏览过的专利

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