面向航空任務電子系統的軟件自動化測試與檢測研究
時間：2014年4月30日（周三）上午10:00-12:00
地點：446會議室
摘要
航空領域安全攸關系統可信需求典型而迫切， 其可信性評估具有測試依賴性，由于系統的高度復雜性，手工和手動測試和檢測實際不可行。其中，預警機任務系統、警戒任務系統等大型信息化武器裝備系統，屬于一類大型分布式復雜軟件系統，其功能失效可能導致重大故障甚至災難，自動化測試和檢測手段是保障其安全可靠的重大需求，采用信息化手段保障大型軟件系統安全可靠，也是軟件領域緊迫的研究課題。北航團隊匯報交流的主要研究內容包括：
?。?）自動化測試和檢測基礎實驗設施研究：構建一類分布式軟件系統測試和檢測的基礎實驗設施，即大型軟件系統綜合測試與檢測的系統和環境，可支持軟件的系統級綜合檢測，可模擬軟件系統實際運行的各種狀態，獲取系統安全可靠評測的實驗數據。
（2）自動化測試和檢測語言及系統研究：提出自動化測試和檢測腳本語言，該語言獨立于檢測設備、檢測數據、被測航空任務系統。支持測試用例、測試方法、測試過程等的統一描述。
（3）檢測資源（數據、設備、工具）的封裝規范和集成協議研究。
主講人簡介
馬世龍，北京航空航天大學計算機學院教授，博士生導師，軟件開發環境國家重點實驗室副主任。獲2012年度國防科學技術進步獎二等獎。獲國家科學技術學術著作出版基金資助，2010年出版專著“航天器自動化測試語言及其系統”。在國內外學術刊物和國際學術會議上發表研究論文一百多篇；應邀參加撰寫英文科研專著（章節）兩本。2005年應邀出版譯著“類型和程序設計語言”（國外計算機科學教材系列）。
當前主要研究方向：可信軟件、航空航天領域安全攸關系統可信性驗證與評估研究。當前研究方向取得的主要成果包括，1、面向航天器自動化測試的語言及系統，2008年10月起應用于中國空間技術研究院日常測試業務，對北斗導航系列3種類型12顆衛星進行測試；2、預警機任務系統自動化檢測裝置，填補了國內大型信息化武器裝備系統軟件檢測的空白，交付部隊多套使用，已應用于空軍和海軍現役預警機。