海軍服務化描述語言的靜態缺陷檢測方法*

李 源,李 吟,姚海洋

(江蘇自動化研究所,江蘇連云港 222061)

海軍服務化描述語言的靜態缺陷檢測方法*

李 源,李 吟,姚海洋

(江蘇自動化研究所,江蘇連云港 222061)

在海軍面向服務架構的待測系統中,提供多類型的海軍服務化描述語言(WSDL、SOAP、UDDI和BPEL),而作為服務對外提供的描述文件,服務化描述語言和服務都需要作為測試對象進行測試和驗證。對此,提出海軍服務化描述語言的靜態缺陷檢測框架,首先根據待測系統服務描述文檔進行結構化和領域知識的分析驗證,檢查設計文檔中是否存在不符合語法規范和領域約束的錯誤。隨后基于面向缺陷模式的業務流程組合測試實現在流程設計階段發現流程中潛在的隱蔽錯誤。案例表明,該方法能夠有效地檢測出人工注入的多類型靜態缺陷錯誤,并具有相應的原型工具支撐,最終幫助用戶高效執行靜態缺陷的檢測,達到提高軟件質量的目的。

海軍服務化描述語言;靜態缺陷檢測;領域約束;業務流程組合缺陷

自20世紀80年代末開始,我國國防建設開始跨入大規模信息化建設時期,軍事電子信息系統組成模式經歷了多次變化,信息系統的規模、作戰范圍、基礎設施、體系架構、互操作能力及組網能力發生了巨大的變化。隨著裝備技術體系和國家戰略的發展、調整，信息化條件下全軍聯合作戰將是一體化海陸空潛電綜合防御和島嶼聯合進攻的核心作戰樣式，其中網絡中心戰(NCW)是信息化聯合作戰的必然趨勢, 全軍正處于平臺中心站向網絡中心戰轉型的重要時期,網絡中心行動(NCO)及軍事信息柵格(MIG)的構建迫在眉睫。……