基于SystemC描述的嵌入式系統的自動化驗證

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

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

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

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