概述
使用模型來描述系統的行為對於測試開發團隊來說是一種成熟、主要的優勢。模型在貫穿整個產品的生命週期中會在很多地方使用，例如提高產品規格質量，**生成，可靠性分析和測試生成。這篇文章將聚焦於模型給測試帶來的效益，並且回顧一下那些阻礙基於模型測試的的歷史問題和展現如何克服這些苦難。另外，將在兩個實際程式中展現基於模型的方法，乙個是呼叫流程特性，另乙個面向資料庫系統的流程的ui。
大綱
1. 合理建模
2. 產品使用規格一樣的行為模型
3. 使用模型進行測試設計和生成
4. 案例學習：長距離呼叫流程特性
5. 案例學習：基於使用者介面/資料庫系統的流程
6. 結論
1. 合理建模
模型在許多學科被用例理解，識別和開發系統。從dna和基因研究到新興戰鬥機的研發，模型都被用例促進理解和為產品開發提供乙個可復用的框架。在軟體工程的過程中，模型作為現代物件導向分析和設計的部分方法被主要的物件導向的方**所接受。關於模型的測試開發，可靠性分析的應用文章和書籍在近20年中層出不窮；但是，除了引領世界的大公司，測試創新仍然是乙個缺乏度量和低復用的人工的過程。這篇文章的目的是為測試創新探求一種新方法，基於圖形化模型，可以描述被測系統的行為；和一系列可以使得測試生成通過模型的啟發。
建模是一種非常經濟的獲得系統知識並把這種知識在系統發展過程中加以復用的方法。對於測試團隊來說，這條資訊和金子一樣重要。測試工程師百分之多少的任務是花時間去理解被測系統正確的行為（而不是它的行為）。一旦資訊被理解，它如何傳遞給下乙個工程師，下乙個發布，需求變更？如果在在測試計畫中，簡直太幸運了，但是它更多的時候在測試指令碼中被埋葬，遺漏，等待被發現。通過特別的輸入，得到描述系統期望行為的系統建模，這樣團隊現在有了結構化化分析系統的機制。場景，被描述為一系列系統的行為（模型中也是這樣定義），對系統的正確響應也會被定義。在被測系統、可用資源、可交付的範圍這些語境中，測試範圍被理解，測試計畫被開發。最大的好處是重用，所有這些工作都不會丟失。下乙個測試迴圈在這個迴圈結束時就可以開始。如果產品有了新的功能，它們要被增量地加到模型中去，如果質量需要提高，模型需要改進而測試需要擴充套件。如果有新的團隊成員，他們能很快地通過這些模型來跟上當前的步伐。
【待續】
什麼是基於模型的測試？
基於模型的測試屬於軟體測試領域的一種測試方法。mbt步驟如下 常規測試一般是由人來設計幾個特定的測試場景，然後斷言測試結果。測試用例固定。缺少不確定性。基於模型的測試 model based testing 是需要實現乙個模型，然後制定行為和行為之間的關係以及行為和系統的關係 有限狀態機 然後測試系...
什麼是基於模型的測試？
基於模型的測試屬於軟體測試領域的一種測試方法。mbt步驟如下 常規測試一般是由人來設計幾個特定的測試場景，然後斷言測試結果。測試用例固定。缺少不確定性。基於模型的測試 model based testing 是需要實現乙個模型，然後制定行為和行為之間的關係以及行為和系統的關係 有限狀態機 然後測試系...
基於模型的測試工具 Spec Explorer
一 什麼是基於模型的測試 wiki的描述如下 基於模型的測試屬於軟體測試領域的一種測試方法。按照此方法，測試用例可以完全或部分的利用模型自動產生。以上所說的模型通常是指對被測系統 sut,system under test 某些 通常是功能性的 方面的描述。模型一般都是對被測系統 sut,syste...