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

AOP 的核心是分離橫切關(guān)注點(diǎn),并封裝橫切關(guān)注點(diǎn)為方面(aspect) ,然后通過(guò)方面編織器或方面編譯器(aspect weaver) ,自動(dòng)將分離的關(guān)注點(diǎn)植入原代碼中。 簡(jiǎn)單地說(shuō),AOP 方法是通過(guò)定義方面來(lái)實(shí)現對原代碼的一種非侵入性改寫(xiě),從而增加相應的功能。測試代碼的分離、封裝和植入原理如圖3 所示。

方面主要定義切入點(diǎn)( pointcut ) 和通知(advice) 。切入點(diǎn)可以理解為被測系統中關(guān)注的測試點(diǎn),通知是實(shí)現測試點(diǎn)約束檢驗或相關(guān)信息采集的具體代碼。由方面編譯器編譯后,測試代碼即被植入到與測體相關(guān)的測試點(diǎn)中。經(jīng)驗證修改后的正確設計可以通過(guò)常規編譯器編譯后交付使用,使得設計本身不包含任何測試代碼。AOP 語(yǔ)言一般是編程語(yǔ)言的擴展,目前應用較好的有基于J ava 的AspectJ ,以及基于C ++ 的AspectC ++ 。

將AOP 技術(shù)應用到驗證過(guò)程中,是一個(gè)非常有意義的嘗試。因為該方法使得開(kāi)發(fā)人員可以很容易地更改、插入或除去相關(guān)測試點(diǎn),而不需要重新構架系統和作出侵入性的修改,還可以按需要隨時(shí)引入新的測試點(diǎn)。設計時(shí),開(kāi)發(fā)人員可以忽略不影響其具體活動(dòng)的測試要求而專(zhuān)注于設計本身,增強了設計的可復用性,減小了開(kāi)發(fā)的復雜度。

圖4 給出了采用AOP 技術(shù)的自動(dòng)化測試方法。整個(gè)系統包括4 個(gè)部分:被測體,AOP 測試探針以及由它建立的測試通道,測試點(diǎn)收集器,期望與響應的自動(dòng)化測試框架。形象地講,這個(gè)方法好比在被測系統中插入了示波器的探針。其中關(guān)鍵的部分是 AOP 建立的測試通道,由這個(gè)通道在植入被測體的測試探針和測試點(diǎn)收集器之間建立了聯(lián)系。測試點(diǎn)的變化,可以被測試點(diǎn)收集器所察覺(jué),并收集測試點(diǎn)的數據。AOP 探針的植入就使測試代碼與被測對象建立了聯(lián)系;取出植入的過(guò)程,就切斷了二者的聯(lián)系,從而實(shí)現了測試代碼的可插拔功能。