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