自考《軟件工程》基礎(chǔ)知識(shí)點(diǎn)復(fù)習(xí)：形式化方法

更新時(shí)間：2013-03-22 16:34:55 來源：|0

瀏覽

自學(xué)考試報(bào)名、考試、查分時(shí)間免費(fèi)短信提醒

形式化方法

1.形式化規(guī)約的目標(biāo)是無二義性、一致性和完整性。形式化規(guī)約語言由語法、語義、一組關(guān)系組成。集合論是維也納開發(fā)方法等形式化方法的基礎(chǔ)。

語義指出語言如何表示系統(tǒng)需求。經(jīng)典的語義定義方法有：指稱語義、代數(shù)語義、操作語義方法。

2.有限狀態(tài)機(jī)是實(shí)時(shí)系統(tǒng)設(shè)計(jì)中的一種數(shù)學(xué)模型，由一個(gè)有限的狀態(tài)集合、一個(gè)有限的輸入集合、一個(gè)變遷函數(shù)組成。

優(yōu)點(diǎn)：簡(jiǎn)單易用，狀態(tài)間的關(guān)系能直觀看到。
缺點(diǎn)：任何時(shí)刻系統(tǒng)只能有一個(gè)狀態(tài)，無法表示并發(fā)性，不能描述異步并發(fā)系統(tǒng)。

Petri網(wǎng)是在軟件分析中，用一種系統(tǒng)的數(shù)學(xué)和圖形的描述和分析的方法。使用圖形工具，可以表示系統(tǒng)結(jié)構(gòu)和動(dòng)態(tài)行為方面的信息。

Petri網(wǎng)理論認(rèn)為，任何系統(tǒng)是由表示狀態(tài)的元素和表示狀態(tài)變化的元素組成。用位置表示狀態(tài)的元素，符號(hào)為“○”。用轉(zhuǎn)移表示狀態(tài)變化的元素，符號(hào)為“―”或 “|”。

Petri網(wǎng)的行為特征分析方法有可覆蓋性樹、矩陣方程求解、分層或簡(jiǎn)化三類。Petri網(wǎng)到程序結(jié)構(gòu)的轉(zhuǎn)換方法：流程圖方法、編程語言的方法、面向?qū)ο蟮某绦蛟O(shè)計(jì)方法。

凈室是一種以合理的成本開發(fā)高質(zhì)量軟件的基于理論、面向工作組的方法。凈室過程強(qiáng)調(diào)規(guī)約和設(shè)計(jì)上的嚴(yán)格性，凈室軟件工程使用盒結(jié)構(gòu)規(guī)約的方法來遵從操作分析原則。

凈室方法未廣泛使用的原因：（1）凈室方法太理論、太數(shù)學(xué)化，一直難以在真實(shí)的軟件開發(fā)中使用。（2）不需要進(jìn)行單元測(cè)試，與大多數(shù)軟件開發(fā)方式背離。（3）軟件開發(fā)產(chǎn)業(yè)的成熟度。

客戶/服務(wù)器模式的系統(tǒng)結(jié)構(gòu)中的服務(wù)器：文件服務(wù)器、數(shù)據(jù)庫服務(wù)器、事務(wù)服務(wù)器、組件服務(wù)器。

編輯推薦

分享到：編輯：環(huán)球網(wǎng)校

資料下載精選課程老師直播真題練習(xí)

更多資料

更多課程

更多直播

更多真題