|
钻瓜专利网为您找到相关结果 840703个,建议您 升级VIP下载更多相关专利
- [发明专利]演绎最弱前置条件的模型和算法-CN201610194102.0在审
-
罗航
-
四川大学
-
2016-03-31
-
2017-10-24
-
G06F11/36
- 本发明公开了一种演绎最弱前置条件的模型和算法,属于软件可靠性技术。该演绎最弱前置条件的模型和算法,包括以下技术方案(1)改进最弱前置条件的表述;(2)提出了最弱前置条件的演绎模型——路径扩展模型、最内层连接模型和条件跳越模型;(3)给出了算法表述的统一定义;(4)以演绎模型为依据以MATLAB线性赋值程序为研究对象和编程语言,本发明有效地实现了演绎基本结构程序的最弱前置条件,能够对软件可靠性评价、故障诊断和测试提供参考依据,进而为软件故障树分析评估软件提供一定的模型化、标准化、
- 演绎最弱前置条件模型算法
|