模型驅動的軟件測試技術

一、引言 　　模型驅動的軟件測試（Model-Driven Test）技術是針對軟件中的一些常見的軟件模型而提出的一種測試技術，如故障模型、安全模型、死鎖模型等。模型驅動的軟件測試以明確描述系統預期行爲的抽象模型爲依據，根據模型覆蓋測試準則自動生成抽象的測試用例，自動地產生測試腳本，執行測試並自動評價測試結果，從而有效提高測試效率。這一技術正成爲當前軟件工程學術界研究的一個重要方向。 　　近年來，

>>阅读原文<<