基于分形的軟件可靠性模型和程序證明的數(shù)學機械化.pdf

1、軟件可靠性模型，對于軟件可靠性估測起著核心的作用。軟件可靠性模型是當前軟件可靠性工程研究中的熱點問題之一。程序正確性證明可以象證明數(shù)學定理一樣證明程序是正確的，它對于可信計算具有重要意義。數(shù)學機械化思想是我國古代數(shù)學的精髓，不同于西方數(shù)學的公理化思想，我們可以運用機械化思想考察程序正確性證明。
　　 本文對軟件可靠性模型和程序正確性證明進行了創(chuàng)新性和探索性研究。主要內(nèi)容為：
　　 1．用分形幾何的方法分析了軟件失效時間序

2、列，發(fā)現(xiàn)了其中的分形關(guān)系，提出了分形軟件可靠性模型，并將其應用于軟件可靠性的預測，其模型較簡單，卻實驗結(jié)果良好。
　　 2．利用分形模型與ARIMA模型在分析時間序列線性和非線性方面的優(yōu)勢，提出了軟件可靠性分形與ARIMA的混合模型，得到比一般的單個軟件可靠性模型預測更好的預測效果。
　　 3．將數(shù)學機械化的吳方法應用于程序循環(huán)不變量的計算和發(fā)現(xiàn)，其性能好于Grobner基方法。
　　 4．將吳方法應用于遞歸程序