[发明专利]演绎最弱前置条件的模型和算法在审
| 申请号： | 201610194102.0 | 申请日： | 2016-03-31 |
| 公开（公告）号： | CN107291606A | 公开（公告）日： | 2017-10-24 |
| 发明（设计）人： | 罗航 | 申请（专利权）人： | 四川大学 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36 |
| 代理公司： | 暂无信息 | 代理人： | 暂无信息 |
| 地址： | 610065 四川*** | 国省代码： | 四川;51 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种演绎最弱前置条件的模型和算法,属于软件可靠性技术。该演绎最弱前置条件的模型和算法,包括以下技术方案（1）改进最弱前置条件的表述；（2）提出了最弱前置条件的演绎模型——路径扩展模型、最内层连接模型和条件跳越模型；（3）给出了算法表述的统一定义；（4）以演绎模型为依据，统一定义为表述手段，设计了三个演绎算法。以MATLAB线性赋值程序为研究对象和编程语言，本发明有效地实现了演绎基本结构程序的最弱前置条件，能够对软件可靠性评价、故障诊断和测试提供参考依据，进而为软件故障树分析评估软件提供一定的模型化、标准化、实用化技术。 | ||
| 搜索关键词： | 演绎 最弱 前置 条件 模型 算法 | ||
【主权项】：
演绎最弱前置条件的模型和算法，包括以下四个关联部分：（1）改进最弱前置条件的表述；（2）提出最弱前置条件的演绎模型；（3）给出算法表述的统一定义；（4）以演绎模型为依据，统一定义为表述手段，设计演绎算法。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于四川大学，未经四川大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201610194102.0/，转载请声明来源钻瓜专利网。
- 上一篇：一种日志的记录方法和装置
- 下一篇：一种针对搜索引擎的评测方法及装置
