自考《軟件工程》基礎知識點復習：形式化方法
更新時間：2013-03-22 16:34:55
來源：|0
瀏覽
收藏
瀏覽收藏
自學考試報名、考試、查分時間 免費短信提醒
形式化方法
1.形式化規約的目標是無二義性、一致性和完整性。形式化規約語言由語法、語義、一組關系組成。集合論是維也納開發方法等形式化方法的基礎。
語義指出語言如何表示系統需求。經典的語義定義方法有：指稱語義、代數語義、操作語義方法。
2.有限狀態機是實時系統設計中的一種數學模型，由一個有限的狀態集合、一個有限的輸入集合、一個變遷函數組成。
優點：簡單易用，狀態間的關系能直觀看到。
缺點：任何時刻系統只能有一個狀態，無法表示并發性，不能描述異步并發系統。
Petri網是在軟件分析中，用一種系統的數學和圖形的描述和分析的方法。使用圖形工具，可以表示系統結構和動態行為方面的信息。
Petri網理論認為，任何系統是由表示狀態的元素和表示狀態變化的元素組成。用位置表示狀態的元素，符號為“○”。用轉移表示狀態變化的元素，符號為“―”或 “|”。
Petri網的行為特征分析方法有可覆蓋性樹、矩陣方程求解、分層或簡化三類。Petri網到程序結構的轉換方法：流程圖方法、編程語言的方法、面向對象的程序設計方法。
凈室是一種以合理的成本開發高質量軟件的基于理論、面向工作組的方法。凈室過程強調規約和設計上的嚴格性，凈室軟件工程使用盒結構規約的方法來遵從操作分析原則。
凈室方法未廣泛使用的原因：（1）凈室方法太理論、太數學化，一直難以在真實的軟件開發中使用。（2）不需要進行單元測試，與大多數軟件開發方式背離。（3）軟件開發產業的成熟度。
客戶/服務器模式的系統結構中的服務器：文件服務器、數據庫服務器、事務服務器、組件服務器。
編輯推薦
最新資訊
- 備考2026年4月自學考試！這些真題及題庫早早收藏【免費領取】2025-11-07
- 考前看！2025年10月自考《中國古代文學史一》歷年高頻考點2025-10-24
- 抓緊背！2025年10月自學考試《習概》名詞解釋、簡答題高頻考點匯總2025-10-20
- 考前背誦！2025年10月自學考試沖分資料，速領2025-10-14
- 速領！2025年10月自學考試全專業【沖刺必刷100題】，高頻考點覆蓋2025-10-13
- 2025年10月自學考試題型發布！各專業簡答題、論述題考什么？2025-10-12
- 備考重點！2025年10月自學考試各專業高頻考點+必刷100題2025-10-10
- 2025年10月自考《美學》高頻考點匯總：名詞解釋+簡答題2025-10-09
- 考前復習：2025年10月自學考試《馬原》高頻考點+歷年真題2025-10-07
- 提前發布！2025年10月自學考試答題卡樣式2025-10-07
打卡人數
