時間：2014年4月30日（周三）上午10:00-12:00

　　地點：446會議室

　　摘要

　　航空領(lǐng)域安全攸關(guān)系統(tǒng)可信需求典型而迫切， 其可信性評估具有測試依賴性，由于系統(tǒng)的高度復(fù)雜性，手工和手動測試和檢測實際不可行。其中，預(yù)警機(jī)任務(wù)系統(tǒng)、警戒任務(wù)系統(tǒng)等大型信息化武器裝備系統(tǒng)，屬于一類大型分布式復(fù)雜軟件系統(tǒng)，其功能失效可能導(dǎo)致重大故障甚至災(zāi)難，自動化測試和檢測手段是保障其安全可靠的重大需求，采用信息化手段保障大型軟件系統(tǒng)安全可靠，也是軟件領(lǐng)域緊迫的研究課題。北航團(tuán)隊匯報交流的主要研究內(nèi)容包括：

　?。?）自動化測試和檢測基礎(chǔ)實驗設(shè)施研究：構(gòu)建一類分布式軟件系統(tǒng)測試和檢測的基礎(chǔ)實驗設(shè)施，即大型軟件系統(tǒng)綜合測試與檢測的系統(tǒng)和環(huán)境，可支持軟件的系統(tǒng)級綜合檢測，可模擬軟件系統(tǒng)實際運行的各種狀態(tài)，獲取系統(tǒng)安全可靠評測的實驗數(shù)據(jù)。

　?。?）自動化測試和檢測語言及系統(tǒng)研究：提出自動化測試和檢測腳本語言，該語言獨立于檢測設(shè)備、檢測數(shù)據(jù)、被測航空任務(wù)系統(tǒng)。支持測試用例、測試方法、測試過程等的統(tǒng)一描述。

　　（3）檢測資源（數(shù)據(jù)、設(shè)備、工具）的封裝規(guī)范和集成協(xié)議研究。

　　主講人簡介

　　馬世龍，北京航空航天大學(xué)計算機(jī)學(xué)院教授，博士生導(dǎo)師，軟件開發(fā)環(huán)境國家重點實驗室副主任。獲2012年度國防科學(xué)技術(shù)進(jìn)步獎二等獎。獲國家科學(xué)技術(shù)學(xué)術(shù)著作出版基金資助，2010年出版專著“航天器自動化測試語言及其系統(tǒng)”。在國內(nèi)外學(xué)術(shù)刊物和國際學(xué)術(shù)會議上發(fā)表研究論文一百多篇；應(yīng)邀參加撰寫英文科研專著（章節(jié)）兩本。2005年應(yīng)邀出版譯著“類型和程序設(shè)計語言”（國外計算機(jī)科學(xué)教材系列）。

　　當(dāng)前主要研究方向：可信軟件、航空航天領(lǐng)域安全攸關(guān)系統(tǒng)可信性驗證與評估研究。當(dāng)前研究方向取得的主要成果包括，1、面向航天器自動化測試的語言及系統(tǒng)，2008年10月起應(yīng)用于中國空間技術(shù)研究院日常測試業(yè)務(wù)，對北斗導(dǎo)航系列3種類型12顆衛(wèi)星進(jìn)行測試；2、預(yù)警機(jī)任務(wù)系統(tǒng)自動化檢測裝置，填補(bǔ)了國內(nèi)大型信息化武器裝備系統(tǒng)軟件檢測的空白，交付部隊多套使用，已應(yīng)用于空軍和海軍現(xiàn)役預(yù)警機(jī)。