實(shí)時(shí)信息物理系統(tǒng)的實(shí)時(shí)特性的面向方面測(cè)試方法.pdf

1、信息物理融合系統(tǒng)是一類將數(shù)字化、網(wǎng)絡(luò)化系統(tǒng)與物理過程密切融合的設(shè)備系統(tǒng)，它集通信(Communication)、計(jì)算(Computation)和控制(Control)于一體，通過此3C技術(shù)的有機(jī)融合和深度協(xié)作，實(shí)現(xiàn)了許多大型工程系統(tǒng)的實(shí)時(shí)感知、動(dòng)態(tài)控制和信息服務(wù)。隨著信息物理融合系統(tǒng)概念的提出，使得實(shí)時(shí)系統(tǒng)的應(yīng)用綜合了計(jì)算機(jī)與網(wǎng)絡(luò)的系統(tǒng)環(huán)境。而當(dāng)前亟待解決系統(tǒng)的實(shí)時(shí)性、安全性及可靠性等非功能特性的問題，特別是應(yīng)用設(shè)計(jì)和開發(fā)中對(duì)系統(tǒng)質(zhì)量的

2、保證面臨著巨大的挑戰(zhàn)。
　　 面向方面編程技術(shù)彌補(bǔ)了面向?qū)ο缶幊碳夹g(shù)的代碼交織和代碼分散等問題，通過對(duì)面向?qū)ο缶幊碳夹g(shù)的分析，發(fā)現(xiàn)面向方面編程應(yīng)該擴(kuò)展到整個(gè)軟件開發(fā)周期中，從設(shè)計(jì)到代碼產(chǎn)生都充分利用AOP技術(shù)。但是現(xiàn)在的面向方面編程技術(shù)并不成熟，還處于研究試驗(yàn)階段，同時(shí)面向方面編程所引入的新語(yǔ)言構(gòu)造可能給軟件測(cè)試帶來(lái)新類型的缺陷，這給測(cè)試帶來(lái)了極大的挑戰(zhàn)。
　　 針對(duì)上述的問題，本文結(jié)合面向方面和軟件測(cè)試技術(shù)對(duì)信息物理融

3、合系統(tǒng)的實(shí)時(shí)特性進(jìn)行了系統(tǒng)的研究，同時(shí)還對(duì)信息物理融合系統(tǒng)中的公路交通系統(tǒng)進(jìn)行了應(yīng)用研究。本文利用面向方面的編程思想，對(duì)公路交通系統(tǒng)的非功能特性進(jìn)行分離，特別是它的實(shí)時(shí)特性。由于微分邏輯方法可以將CPS系統(tǒng)操作模型混雜程序自然地分解成若干片段，各片段各自的描述和驗(yàn)證可以通過正則組合而得到整個(gè)系統(tǒng)行為的描述和驗(yàn)證。本文通過微分時(shí)序動(dòng)態(tài)邏輯對(duì)公路交通系統(tǒng)進(jìn)行仿真與建模，同時(shí)用微分動(dòng)態(tài)邏輯對(duì)公路交通系統(tǒng)中所選的速度限制的安全性進(jìn)行了驗(yàn)證。文中