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

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

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

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