3-8 狀態遷移法

1.定義： 是一種基於產品規格分析，對系統的每個狀態及與狀態相關的函數進行測試，通過不同的狀態驗證程序的邏輯流程 2.任何一個系統，如果對同一個輸入，根據不同的狀態，可以得到不同的輸出，就是一個有限狀態系統 3.有限狀態機表示有限個狀態以及在這些狀態之間的轉移和動作等行爲的數學模型 4.有限狀態機，可以用狀態圖，狀態表，狀態樹表示 以播放器程序爲例，建立狀態轉換圖 狀態圖轉換狀態樹 1、將初始狀態

>>阅读原文<<