形式化技術(shù)在軟件工程中有效的提高了開(kāi)發(fā)的效率、改進(jìn)了軟件開(kāi)發(fā)的質(zhì)量、減少了開(kāi)發(fā)費(fèi)用。形式化的技術(shù)容易在軟件的規(guī)約上取得一致性，它屬于一種非常有效的交流方式。

(一)非形式化的缺點(diǎn)

用自然語(yǔ)言書(shū)寫(xiě)的系統(tǒng)規(guī)格說(shuō)明書(shū)，可能存在矛盾、二義性、含糊性、不完整性及抽象層次混亂等問(wèn)題。
矛盾是指一組相互沖突的陳述。
1二義性是指讀者可以用不同方式理解的陳述。
2含糊性
3不完整性
4抽象層次混亂是指在非常抽象的陳述中混進(jìn)了一些關(guān)于細(xì)節(jié)的低層次陳述。

為了克服非形式化方法的缺點(diǎn)，人們把數(shù)學(xué)引入軟件開(kāi)發(fā)過(guò)程，創(chuàng)造了基于數(shù)學(xué)的形式化方法。

(二)形式化方法的優(yōu)點(diǎn)

1數(shù)學(xué)能夠簡(jiǎn)潔準(zhǔn)確地描述物理現(xiàn)象、對(duì)象或動(dòng)作的結(jié)果，因此是理想的建模工具。
2數(shù)學(xué)以在不同的軟件工程活動(dòng)之間平滑地過(guò)渡。
3數(shù)學(xué)提供了高層確認(rèn)的手段。

(三)應(yīng)用形式化方法的準(zhǔn)則

1應(yīng)該建立詳盡的文檔。
2不應(yīng)該放棄質(zhì)量標(biāo)準(zhǔn)。
3不應(yīng)該盲目依賴形式化方法。
4應(yīng)該測(cè)試、測(cè)試再測(cè)試。
5應(yīng)該重用。

總結(jié)

以上是生活随笔為你收集整理的软件工程形式化技术简介的全部?jī)?nèi)容，希望文章能夠幫你解決所遇到的問(wèn)題。

如果覺(jué)得生活随笔網(wǎng)站內(nèi)容還不錯(cuò)，歡迎將生活随笔推薦給好友。