資源簡介
1. 定義
狀態(tài)遷移圖法主要關(guān)注在測試狀態(tài)轉(zhuǎn)移的正確性上面。對于一個(gè)有限狀態(tài)機(jī),通過測試驗(yàn)證其在給定的條件內(nèi)是否能夠產(chǎn)生需要的狀態(tài)變化,有沒有不可達(dá)的狀態(tài)和非法的狀態(tài),可能不可能產(chǎn)生非法的狀態(tài)轉(zhuǎn)移等。通過構(gòu)造能導(dǎo)致狀態(tài)遷移的事件,來測試狀態(tài)之間的轉(zhuǎn)換。
2. 應(yīng)用的范圍
一個(gè)功能的狀態(tài)比較多的情況下,比如mp3,堆棧操作等.
代碼片段和文件信息
評論
共有 條評論