基于PAR方法開發(fā)算法程序的研究.pdf

1、軟件系統(tǒng)的成功極大依賴軟件需求工程的質(zhì)量,而軟件的可靠性難以保證和開發(fā)效率低一直是困擾軟件產(chǎn)業(yè)的兩大難題.而用形式化方法開發(fā)軟件始終被認(rèn)為是提高軟件可靠性和軟件生產(chǎn)率的重要途徑,是實(shí)現(xiàn)軟件開發(fā)自動化的關(guān)鍵.盡管已經(jīng)提出了各種各樣的軟件形式化方法和開發(fā)技術(shù),但目前這些技術(shù)還遠(yuǎn)沒有廣泛的被軟件產(chǎn)業(yè)界所接受,原因在于許多方法的提倡者并沒有真正研究軟件開發(fā)者面臨的實(shí)際問題,算法和程序研究脫節(jié),缺乏系統(tǒng)的算法程序設(shè)計和證明方法,實(shí)際上有些方法以及

2、這些方法為基礎(chǔ)而建立的軟件開發(fā)工具和自動生成系統(tǒng)只能處理和生成一些玩具式程序(toy-style program).尚沒有一種面向?qū)嶋H問題、簡單可行、便于廣大軟件開發(fā)者接受的形式化方法及與該方法相配套的一系列配套的輔助工具來切實(shí)的解決這兩個問題.PAR方法基于分化、遞推、擴(kuò)充的量詞變換規(guī)則、循環(huán)不變式的新技術(shù)和軟件轉(zhuǎn)換工具,充分利用數(shù)據(jù)抽象、功能抽象、軟件重用、多態(tài)、類屬、重載等成熟的程序設(shè)計技術(shù),可以用統(tǒng)一的方法開發(fā)復(fù)雜算法.該文首先