本文關鍵詞：軟件形式化開發(fā)關鍵部件選取的水波優(yōu)化方法，由筆耕文化傳播整理發(fā)布。

【摘要】：形式化方法有助于從根本上提高軟件系統(tǒng)的質量與可靠性,但其開發(fā)成本往往過于高昂.一種折衷的辦法是在軟件系統(tǒng)中選取關鍵性部件進行形式化開發(fā),但目前尚無非常有效的定量選擇方法.將軟件系統(tǒng)中的形式化開發(fā)關鍵部件選取建模為一個0-1約束規(guī)劃問題,以便使用元啟發(fā)式搜索方法對其進行優(yōu)化求解.另外,針對該問題專門設計了一種離散水波優(yōu)化(water wave optimization,簡稱WWO)算法.在一個大型軟件系統(tǒng)上的應用驗證了問題模型的有效性,同時證明了WWO算法相對于其他若干典型元啟發(fā)式搜索方法的優(yōu)越性.
【作者單位】： 浙江工業(yè)大學計算機科學與技術學院;江西省高性能計算重點實驗室(江西師范大學);
【關鍵詞】： 形式化方法 可靠度 元啟發(fā)式搜索方法 水波優(yōu)化算法
【基金】：國家自然科學基金(61020106009,61105073,61272075,61473263)~~
【分類號】：TP311.52
【正文快照】： 軟件形式化方法是指建立在嚴格數(shù)學模型上、具有精確數(shù)學語義的軟件系統(tǒng)開發(fā)方法,它能夠從根本上提高軟件系統(tǒng)的質量與可靠性.受“軟件危機”以及硬件領域形式化方法發(fā)展的影響,軟件形式化方法自20世紀80年代末以來得到了學術界和工業(yè)界的廣泛關注[1].但是,關于何時、何處以及

【相似文獻】

中國期刊全文數(shù)據庫 前10條

1 李建華;李紅革;;形式化及其歷史發(fā)展[J];自然辯證法研究;2008年08期

2 楊杰,鄭明春;形式化方法和對象技術的結合途徑研究[J];山東師大學報(自然科學版);2000年02期

3 鄧勇,丁峰,沈鈞毅;一種結構化形式化說明的方法[J];小型微型計算機系統(tǒng);2002年06期

4 朱艷龍;;軟件形式化方法的研究[J];陰山學刊(自然科學版);2004年02期

5 潘紅艷,于全;用于通信網絡協(xié)議開發(fā)的形式化方法[J];計算機工程;2004年02期

6 陳長春,王昭順;形式化技術應用于軟件逆工程的實踐研究[J];計算機工程與設計;2005年05期

7 劉瑞成,張立臣;集成實時邏輯與Z++語言的形式化方法[J];計算機工程與設計;2005年11期

8 陳宇;鄒盛榮;陽雪平;;形式化B方法數(shù)學基礎的實例研究[J];常熟理工學院學報;2008年10期

9 賴劍煌;局間通信負荷監(jiān)控問題的形式化方法[J];中山大學學報(自然科學版);1996年05期

10 胡家寶;FDT與FDT工具及其研究[J];計算機工程與設計;1996年01期

中國重要會議論文全文數(shù)據庫 前4條

1 鄭宇軍;石海鶴;薛錦云;;Spec#語言中的形式化特性[A];2005年全國理論計算機科學學術年會論文集[C];2005年

2 雷敏;雷友殉;;一種UML到SDL轉換方法的研究與應用[A];2006通信理論與技術新進展——第十一屆全國青年通信學術會議論文集[C];2006年

3 苗潔君;王克;;密碼模塊的形式化設計和驗證研究[A];第二十一次全國計算機安全學術交流會論文集[C];2006年

4 繆道期;;評審計算機安全等級[A];第二次計算機安全技術交流會論文集[C];1987年

  本文關鍵詞：軟件形式化開發(fā)關鍵部件選取的水波優(yōu)化方法，，由筆耕文化傳播整理發(fā)布。

本文編號：470151