科研之友
微信
新浪微博
Facebook
分享链接
摘要
软件的可信度在很大程度上影响人们对软件产品的使用信心,软件产品的可信评估一直是软件工程领域的关键问题之一。针对常规软件系统,存在多种有效的可信评估手段。共同特征是针对特定软件开发过程设计详细的可信原则,根据可信原则采集可信证据,依照可信证据设计可信评估方法。然而空间飞行器控制软件开发过程包含大量不同且多变的软件分支与过程,无法事先针对每个软件过程设计相关的可信原则与证据。同时空间飞行器控制软件开发过程中涉及大量的文档、模型与测试数据等资源(可信资源)。可信资源是生成可信证据的基础,然而已有可信证据管理体系没有考虑对可信资源进行定义与管理,不利于提升可信证据的质量。因此,论文针对空间飞行器控制软件包含大量软件过程与可信资源的特点,设计了基于可信资源支撑并与软件过程解耦的可信证据与资源管理方法。最后,开发原型系统,验证了提出的可信证据与资源管理方法的有效性。
-
单位上海航天控制技术研究所; 南京理工大学
