文章目錄

• 非形式化
• 形式化
• 應用形式化的準則
• 有窮狀態機
• Perl網
• • 加入禁止線

按形式化程度，可以將軟件工程使用的方法分為：

非形式化

用自然語言書寫的缺點：矛盾，二義性，含糊性，不完整性
矛盾—一組相互沖突的描述
二義性——讀者可以用不同方式進行解讀

形式化

優點：

應用形式化的準則

有窮狀態機

一種形式化方法
用圖形表示一個例子：

同時也可以用表格表示：

有窮狀態機可以表現成一個五元組
（J,K,T,S,F）
1）狀態集J：{保險箱鎖定，A，B，保險箱解鎖，報警}
2）輸入集K：{1L,1R,2L,2R,3L,3R}
3）轉換函數T，如表4.1
4）初始狀態S：保險箱鎖定
5）終態集F：{保險箱解鎖，報警}

格式：
當前狀態+事件+謂詞 ——》下個狀態

評價：

Perl網

解決定時問題，尤其是那些有異步和并發活動的系統

當每個輸入位置所擁有的權標數>=從該位置到轉換的線數時，就允許轉換
初始：

T1被激發

t2被激發

加入禁止線

當輸入線上至少有一個輸入沒有權標的時候才允許轉化激發。

EBf有一個權標，表示電梯內樓層f的按鈕被按下了
電梯只有第一次按下才會亮，往后再按都沒有反應

總結

以上是生活随笔為你收集整理的软件工程---第四章---形式化分析的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。