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

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

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

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