本文選題：安全關(guān)鍵性軟件 + 適航認證　； 參考：《計算機研究與發(fā)展》2017年03期

【摘要】：安全關(guān)鍵軟件已廣泛應(yīng)用于眾多領(lǐng)域.鑒于其對防范災(zāi)害風險方面的特殊要求,必須符合相關(guān)領(lǐng)域的安全性標準.但是目前對于如何建立面向標準的目標符合性論證模型,尚缺乏有效的方法.針對DO-178C標準中關(guān)于軟件測試過程目標的特征描述,提出了一個基于GSN的目標論證模式描述框架,分別從解決問題、解決方案、應(yīng)用方法和產(chǎn)生效果4個方面對目標論證模式進行描述;同時使用一種擴展的安全案例模式描述方式,用以描述面向標準的目標符合性論證模式.在此基礎(chǔ)上,提出了3種面向DO-178C軟件測試過程的目標符合性論證模式,分別是代碼-需求符合性論證模式、需求測試覆蓋率論證模式、結(jié)構(gòu)測試覆蓋率論證模式,并提出基于這些模式建立針對特定項目的目標符合性論證結(jié)構(gòu)的實例化方法,為建立面向DO-178C軟件測試過程的目標符合性論證結(jié)構(gòu)提供了有效指導(dǎo).通過一個機載嵌入式實時操作系統(tǒng)的案例,說明了提出的目標符合性論證模式的可用性和有效性.
[Abstract]:Security critical software has been widely used in many fields. In view of its special requirements for disaster risk prevention, safety standards in relevant fields must be met. However, there is still a lack of effective method to establish the standard-oriented object conformity demonstration model. Aiming at the characteristic description of software test process goal in DO-178C standard, a GSN-based goal demonstration model description framework is proposed, which can solve the problem and solve the problem separately. In addition, an extended security case pattern is used to describe the standard oriented object conformity demonstration model. On this basis, three kinds of object conformance demonstration models for DO-178C software testing process are put forward, which are code-requirement conformity demonstration mode, requirement test coverage demonstration mode and structure test coverage demonstration mode. Based on these models, an instantiation method of the object conformity demonstration structure for a specific project is proposed, which provides an effective guidance for the establishment of the object compliance demonstration structure for the DO-178C software testing process. An example of an airborne embedded real-time operating system is presented to demonstrate the availability and effectiveness of the proposed model.
【作者單位】： 北京航空航天大學計算機學院;中航工業(yè)西安航空計算技術(shù)研究所;
【分類號】：TP311.53

【相似文獻】

相關(guān)期刊論文 前1條

1 胡華濤;;微博時代調(diào)查新聞及其論證模式的嬗變[J];新聞知識;2013年08期

相關(guān)碩士學位論文 前1條

1 張雨;論彝族人的論證模式[D];貴州大學;2016年

，

本文編號：2070859