基於模型的測試

基於模型的測試 （ 英語 ： Model - based testing ） 屬於軟件測試領域的一種測試方法 。 按照此方法 ， 測試用例可以完全或部分的利用模型自動產生 。 以上所說的模型通常是指對被測系統 （ SUT, system under test ） 某些 （ 通常是功能性的 ） 方面的描述 。 模型一般都是對被測系統預期行爲動作的抽象描述 。 這些測試用例的集合就是抽象測試套件 （ abstract test suite ） 。 抽象測試套件不可以直接執行於需測試的系統 ， 因爲 ， 他們不在同一抽象級別 。 測試套件 （ test suites ） 是由模型生成 ， 而不是由源代碼生成 。 因此 ， 基於模型的測試又常常被當作黑盒測試的一種形式 。 但從某種層面來說 ， 這並不十分準確 。 畢竟 ， 基於模型的測試是與源代碼級的測試覆蓋率 ， 以及對代碼的功能測試都有着很大的關係 。 對於複雜的軟件系統中 ， 如何應用基於模型的測試還在探索中 。