基于SystemC描述的嵌入式系統的自動(dòng)化驗證

ATF 就是可以自動(dòng)對代碼進(jìn)行單元測試的框架,它的基本結構如圖2 所示。 由多個(gè)測試用例(testcase) 組織成一個(gè)測試套件( suite) ,套件內還可以包含其他的套件,并能方便地向套件增加新的測試用例。ATF 運行時(shí),由測試套件遍歷自己容納的對象,逐一調用它們的run ( ) 方法,使得多個(gè)測試用例可以一次全部運行。 測試輸出可以是XML (extensiblemarkup language) 或文本。本文后面提到的自動(dòng)化驗證方法,就采用了C ++ 的ATF ,CppUnit 。

應用AOP 的自動(dòng)化驗證方法

測試驅動(dòng)的開(kāi)發(fā)方法以及ATF 的采用,可以保證每次得到的設計都是可測試的。具有可測試性對于需要迭代的開(kāi)發(fā)過(guò)程是十分必要的。然而要做到可測試性,就要求設計人員在考慮設計本身邏輯的同時(shí),必須考慮測試問(wèn)題。設計代碼和測試代碼的交織,正是目前軟件領(lǐng)域關(guān)注的所謂“橫切關(guān)注點(diǎn)”(crosscutting concern) 的問(wèn)題。它既干擾了設計人員對設計本身的思考,也造成代碼混亂、難以復用和更改。面向方面編程技術(shù)(AOP) 正是目前為解決這一問(wèn)題而提出來(lái)的一種較好的編程模式。