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

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

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

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