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