面向DO-178C软件测试过程的目标符合性论证模式

发布时间：2018-06-26 17:43

本文选题：安全关键性软件 + 适航认证　；参考：《计算机研究与发展》2017年03期

【摘要】：安全关键软件已广泛应用于众多领域.鉴于其对防范灾害风险方面的特殊要求,必须符合相关领域的安全性标准.但是目前对于如何建立面向标准的目标符合性论证模型,尚缺乏有效的方法.针对DO-178C标准中关于软件测试过程目标的特征描述,提出了一个基于GSN的目标论证模式描述框架,分别从解决问题、解决方案、应用方法和产生效果4个方面对目标论证模式进行描述;同时使用一种扩展的安全案例模式描述方式,用以描述面向标准的目标符合性论证模式.在此基础上,提出了3种面向DO-178C软件测试过程的目标符合性论证模式,分别是代码-需求符合性论证模式、需求测试覆盖率论证模式、结构测试覆盖率论证模式,并提出基于这些模式建立针对特定项目的目标符合性论证结构的实例化方法,为建立面向DO-178C软件测试过程的目标符合性论证结构提供了有效指导.通过一个机载嵌入式实时操作系统的案例,说明了提出的目标符合性论证模式的可用性和有效性.
[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.
【作者单位】：北京航空航天大学计算机学院;中航工业西安航空计算技术研究所;
【分类号】：TP311.53

【相似文献】