基于CPS的實時系統(tǒng)的面向方面的測試方法.pdf

1、面向方面編程范式通過引入方面實現(xiàn)橫切關注點的分離和封裝,很好的解決了代碼糾結(jié)和代碼分散等面向?qū)ο蟪绦蛩媾R的難題,使系統(tǒng)易于實現(xiàn)和擴展,同時提升了軟件的模塊性和可重用性。然而,AOP方法主要被應用于軟件開發(fā)生命周期中的問題分析、軟件設計與代碼實現(xiàn)階段,面向方面測試技術和方法的研究相對較少。另外,AOP的實現(xiàn)引入了新的語言構造,可能給軟件帶來新的類型的缺陷,給測試帶來極大的挑戰(zhàn)。
　　 隨著無線射頻技術以及計算能力的提升,Cybe

2、r-Physical網(wǎng)絡環(huán)境成為繼物聯(lián)網(wǎng)之后又一熱門研究領域。作為實時系統(tǒng)的重要應用場所,CPS集通信、計算和控制于一體,注重物理資源與計算資源的緊密結(jié)合與協(xié)調(diào)。其應用范圍也相當廣泛,小到機器人系統(tǒng),大到國家電網(wǎng)、智能交通系統(tǒng)等。當前面臨的挑戰(zhàn)主要包括系統(tǒng)設計、開發(fā)和集成等理論的缺乏,系統(tǒng)的實時性、安全性及可靠性等非功能特性也是亟待解決的重要內(nèi)容,特別是軟件的設計與開發(fā)在質(zhì)量保證上面臨著巨大的挑戰(zhàn)。
　　 基于上述需求,本文通過

3、分析Cyber-Physical網(wǎng)絡環(huán)境下實時系統(tǒng)的特點,綜合分析基于錯誤模型、基于狀態(tài)模型和基于方面流圖等常用的面向方面程序測試方法的優(yōu)缺點,提出基于優(yōu)先級的的面向方面狀態(tài)增量測試方法。在基于模型的方面測試框架指導下,首先構建符合正確程序的面向方面的有限狀態(tài)機模型,這個正確的程序能夠通過所有的面向方面狀態(tài)模型的測試；然后由系統(tǒng)狀態(tài)模型產(chǎn)生狀態(tài)轉(zhuǎn)換樹,從而得到測試套件；最后通過識別一個方面改變其對應基類的程度來確定對該方面的測試優(yōu)先次序