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