狀態遷移圖

狀態遷移圖(State Transition Diagram，STD)或狀態-遷移表，編程術語。用梯形圖或指令表方式編程固然廣為電氣技術人員接受，但對於一個複雜的控制系統，尤其是順序控制系統，由於內部的聯鎖、互動關係極其複雜，其梯形圖往往長達數百行。另外，在梯形圖上如果不加注釋，這種梯形圖的可讀性也會大大降低。為了解決這個問題，近年來，許多新生產的PLC在梯形圖語言之外加上了符合IEC1131—3標準的SFC（Sequential·Function·Chart）語言，用於編制複雜的順控程式。IEC1131—3中定義的SFC語言是一種通用的流程圖語言。

基本信息

• 中文名：狀態遷移圖
• 英文名：State Transition Diagram

• 特點：需求分析方法的所有操作原則
• 實質：行為建模

概念

狀態遷移圖

狀態遷移圖被用來描述系統或對象的狀態以及導致系統或對象的狀態改變的事件，從而描述系統的行為。屬於結構化分析方法使用工具。狀態遷移圖法主要關注在測試狀態轉移的正確性上面。對於一個有限狀態機，通過測試驗證其在給定的條件內是否能夠產生需要的狀態變化，有沒有不可達的狀態和非法的狀態，可能不可能產生非法的狀態轉移等。通過構造能導致狀態遷移的事件，來測試狀態之間的轉換。

作用

在狀態―遷移圖中，由一個狀態和一個事件所確定的下一狀態可能會有多個。實際會遷移到哪一個狀態，是由更詳細的內部狀態和更詳細的事件信息來決定的，此時在狀態―遷移圖中可能需要使用加進判斷框和處理框的記法。

優點

第一，狀態之間的關係能夠直觀地捕捉到，這樣用眼睛就能看到是否所有可能的狀態遷移都已納入圖中，是否存在不必要的狀態等。

第二，由於狀態―遷移圖的單純性，能夠機械地分析許多情況，可很容易地建立分析工具。

步驟

狀態遷移圖的步驟：

1）畫出狀態遷移圖；

2）列出狀態——事件表；

3）得到狀態轉換樹；

4）推出測試路徑；

5）根據測試路徑編寫測試用例。