摘要:從類的狀態(tài)模式、狀態(tài)轉(zhuǎn)移圖以及UML狀態(tài)圖等三方面討論了類的狀態(tài)測試問題,提出了基于UML類圖的類的狀態(tài)模式測試用例生成方法,介紹了基于狀態(tài)轉(zhuǎn)移圖的類測試方法及其對象狀態(tài)測試模式在類的狀態(tài)測試中的運用,討論了基于UML狀態(tài)圖的測試模型——EFSM 模型的類測試方法。
關(guān)鍵詞:類的狀態(tài)測試;狀態(tài)模式;狀態(tài)轉(zhuǎn)移圖;EFSM;UML
中圖法分類號:TP39176文獻(xiàn)標(biāo)識碼:A
文章編號:1001-3695(2005)12-0069-04