成果名稱：安全關(guān)鍵軟件測試與驗證環(huán)境TesVESS

　　成果簡介

　　TesVESS是一個安全關(guān)鍵軟件的測試與驗證環(huán)境，能夠從軟件分析和設(shè)計階段開始對軟件的可靠性和可靠安全性進(jìn)行保障。它以軟件分析和設(shè)計模型為基礎(chǔ)，有效地融合了安全關(guān)鍵性質(zhì)的模型檢驗、針對安全關(guān)鍵性質(zhì)的測試用例生成、安全關(guān)鍵軟件可靠性測試使用模型的自動生成和測試加速等關(guān)鍵技術(shù)，從多種途徑保障安全關(guān)鍵軟件的可靠性和可靠安全性。TesVESS支持軟件設(shè)計階段的測試與驗證活動，通過輕量級形式化方法提高了測試與驗證的自動化程度;支持面向安全關(guān)鍵性質(zhì)的切片模型檢驗技術(shù)，有效縮減了模型檢驗所需的狀態(tài)空間，增強(qiáng)了軟件設(shè)計階段的安全性質(zhì)保證能力;通過采用安全關(guān)鍵性質(zhì)制導(dǎo)的狀態(tài)搜索，能面向安全關(guān)鍵性質(zhì)實施測試序列自動生成，提高了安全關(guān)鍵性質(zhì)測試的針對性;支持構(gòu)件化軟件使用模型的自動綜合與分析，提高了軟件可靠性測試的工作效率。

　　TesVESS有效集成基于模型的測試與驗證技術(shù)，總體上達(dá)到了國際先進(jìn)水平，其中UML切片模型檢驗技術(shù)和面向安全關(guān)鍵性質(zhì)的測試用例生成技術(shù)處于國際領(lǐng)先。TesVESS為增強(qiáng)安全關(guān)鍵軟件的可靠性和可靠安全性提供了重要保障，具有較高的自動化程度，能夠避免由于軟件失效造成的損失。

　　TesVESS獲軍隊科技進(jìn)步二等獎，已在多家軟件研制單位得到成功應(yīng)用，取得良好效果。隨著軟件在航天、航天、交通、裝備控制等領(lǐng)域的應(yīng)用越來越廣泛，其關(guān)鍵軟件都需要測試與驗證來保證其安全性和可靠性，市場前景廣闊。

　　聯(lián)系方式：

　　地址 湖南長沙國防科技大學(xué)科研部 郵編：410073

　　聯(lián)系人：秦元崗 電話：0731-84572337，13308492604

　　傳真：0731-84572300 E-mail：qyg318@126.com