[00058486]演绎最弱前置条件的模型和算法
技术详细介绍
本发明公开了一种演绎最弱前置条件的模型和算法,属于软件可靠性技术。该演绎最弱前置条件的模型和算法,包括以下技术方案（1）改进最弱前置条件的表述；（2）提出了最弱前置条件的演绎模型——路径扩展模型、最内层连接模型和条件跳越模型；（3）给出了算法表述的统一定义；（4）以演绎模型为依据，统一定义为表述手段，设计了三个演绎算法。以MATLAB线性赋值程序为研究对象和编程语言，本发明有效地实现了演绎基本结构程序的最弱前置条件，能够对软件可靠性评价、故障诊断和测试提供参考依据，进而为软件故障树分析评估软件提供一定的模型化、标准化、实用化技术。
