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