基于SystemC描述的嵌入式系統(tǒng)的自動化驗證
加入技術(shù)交流群
ATF 就是可以自動對代碼進行單元測試的框架,它的基本結(jié)構(gòu)如圖2 所示。 由多個測試用例(testcase) 組織成一個測試套件( suite) ,套件內(nèi)還可以包含其他的套件,并能方便地向套件增加新的測試用例。ATF 運行時,由測試套件遍歷自己容納的對象,逐一調(diào)用它們的run ( ) 方法,使得多個測試用例可以一次全部運行。 測試輸出可以是XML (extensiblemarkup language) 或文本。本文后面提到的自動化驗證方法,就采用了C ++ 的ATF ,CppUnit 。
應(yīng)用AOP 的自動化驗證方法
測試驅(qū)動的開發(fā)方法以及ATF 的采用,可以保證每次得到的設(shè)計都是可測試的。具有可測試性對于需要迭代的開發(fā)過程是十分必要的。然而要做到可測試性,就要求設(shè)計人員在考慮設(shè)計本身邏輯的同時,必須考慮測試問題。設(shè)計代碼和測試代碼的交織,正是目前軟件領(lǐng)域關(guān)注的所謂“橫切關(guān)注點”(crosscutting concern) 的問題。它既干擾了設(shè)計人員對設(shè)計本身的思考,也造成代碼混亂、難以復(fù)用和更改。面向方面編程技術(shù)(AOP) 正是目前為解決這一問題而提出來的一種較好的編程模式。
評論