[00266323]演绎最弱前置条件的模型和算法
交易价格：
面议
所属行业：
其他化学化工
类型：
发明专利
技术成熟度：
正在研发
专利所属地：中国
专利号：CN201610194102.0
交易方式：
技术转让
技术转让
技术入股
联系人：
四川大学
进入空间
所在地：四川成都市
- 服务承诺
- 产权明晰
-
资料保密
对所交付的所有资料进行保密
- 如实描述
技术详细介绍
本发明公开了一种演绎最弱前置条件的模型和算法,属于软件可靠性技术。该演绎最弱前置条件的模型和算法,包括以下技术方案（1）改进最弱前置条件的表述；（2）提出了最弱前置条件的演绎模型——路径扩展模型、最内层连接模型和条件跳越模型；（3）给出了算法表述的统一定义；（4）以演绎模型为依据，统一定义为表述手段，设计了三个演绎算法。以MATLAB线性赋值程序为研究对象和编程语言，本发明有效地实现了演绎基本结构程序的最弱前置条件，能够对软件可靠性评价、故障诊断和测试提供参考依据，进而为软件故障树分析评估软件提供一定的模型化、标准化、实用化技术。
本发明公开了一种演绎最弱前置条件的模型和算法,属于软件可靠性技术。该演绎最弱前置条件的模型和算法,包括以下技术方案（1）改进最弱前置条件的表述；（2）提出了最弱前置条件的演绎模型——路径扩展模型、最内层连接模型和条件跳越模型；（3）给出了算法表述的统一定义；（4）以演绎模型为依据，统一定义为表述手段，设计了三个演绎算法。以MATLAB线性赋值程序为研究对象和编程语言，本发明有效地实现了演绎基本结构程序的最弱前置条件，能够对软件可靠性评价、故障诊断和测试提供参考依据，进而为软件故障树分析评估软件提供一定的模型化、标准化、实用化技术。
