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

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

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

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