基於模型的自動化測試工具GraphWalker（一）：基本原理

原理 一、測試模型 　　一個測試模型是有向圖表示的FSM或者EFSM模型，由箭頭和節點組成,如圖所示。 　　一個箭頭，表明了一次測試動做； 　　一個節點，表明一次測試驗證。 二、測試需求選擇Test requirements selection 目的：指導測試用例生成器（ test generation）如何生成用例。 測試需求選擇包含3方面： 　　1）模型中的目標（結束條件） 　　2）覆蓋準則（

>>阅读原文<<