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

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

【相似文獻(xiàn)】

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

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

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

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

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

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

6 陳長春,王昭順;形式化技術(shù)應(yīng)用于軟件逆工程的實(shí)踐研究[J];計算機(jī)工程與設(shè)計;2005年05期

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

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

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

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

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

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

2 雷敏;雷友殉;;一種UML到SDL轉(zhuǎn)換方法的研究與應(yīng)用[A];2006通信理論與技術(shù)新進(jìn)展——第十一屆全國青年通信學(xué)術(shù)會議論文集[C];2006年

3 苗潔君;王克;;密碼模塊的形式化設(shè)計和驗(yàn)證研究[A];第二十一次全國計算機(jī)安全學(xué)術(shù)交流會論文集[C];2006年

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

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

本文編號：470151