基於模型的測試

維基百科,自由的百科全書

基於模型的測試(英語:Model-based testing)屬於軟件測試領域的一種測試方法。按照此方法,測試用例可以完全或部分的利用模型自動產生。以上所說的模型通常是指對被測系統(SUT,system under test)某些(通常是功能性的)方面的描述。

模型一般都是對被測系統預期行為動作的抽象描述。這些測試用例的集合就是抽象測試套件(abstract test suite)。抽象測試套件不可以直接執行於需測試的系統,因為,他們不在同一抽象級別。

測試套件(test suites)是由模型生成,而不是由源代碼生成。因此,基於模型的測試又常常被當作黑盒測試的一種形式。但從某種層面來說,這並不十分準確。畢竟,基於模型的測試是與源代碼級的測試覆蓋率,以及對代碼的功能測試都有着很大的關係。

對於複雜的軟件系統中,如何應用基於模型的測試還在探索中。

模型[編輯]

目前,模型大多數使用手工創建。但同時,有很多使用自動化方式創建模型的嘗試也在研究當中。建立新模型的一種重要方式是通過使用類似ATL英語ATLAS Transformation Language的語言進行"模型轉換"。 目前也有很多工具是基於模型驅動的測試工具,使用模型驅動通過畫積木圖或者流程圖的方式自動生成測試代碼,可以直接進行自動化測試。

相關條目[編輯]

相關鏈接[編輯]

延伸閱讀[編輯]