摘要：在高安全软件开发过程中,软件追溯链审查是提高软件质量的重要手段。为了解决基线管理、审查完整性和结果可复用等问题,提出了一种基于DOORS平台和Eclipse平台的软件追溯链审查方法。为审查活动设计并开发了工具软件,采用差异比对算法进行版本迭代后的审查结果复用。经实际应用,该方法可以提高软件追溯链审查的效率及效果。

摘要：为了解决参数数据项在嵌入式软件开发过程中技术状态不显形、编码效率低、数据传递易出错等方面的问题,提出了一种基于DOORS的参数数据项设计方法。定义了参数数据项在高层需求和设计文档中的规格化表达形式;采用DOORS扩展语言脚本自动化提取参数数据项设计信息,采用C++等高级语言编程将参数数据项设计信息自动转换为PDI源码及相关文档。该方法可大大提高嵌入式软件参数数据项的开发效率及质量。

摘要：为了在航空发动机软件设计阶段生成数据流图,研究了基于开源工具Graphviz将函数设计信息转换为数据流图的方法。首先定义了航空发动机控制软件函数详细设计信息的规格化表达形式。其次研究了将函数详细设计信息转换为dot脚本的流程,介绍了调用Graphviz将dot脚本生成数据流图的方法。最后为了控制数据流图的表示范围,研究了基于关键变量对数据流图进行划片的方法。可以在航空发动机控制软件设计阶段将函数的设计信息转换成数据流图,避免了只能在软件编码完成后才能生成数据流图的弊端。

摘要：测试数据的解码软件是卫星姿态与轨道控制(GNC)分系统地面测试软件系统的核心。首先根据分系统边设计边测试边改进的特点,将测试数据的解码软件划分为配置文件集与通用模块2大部分。然后详细介绍了存储数据解码协议的Excel文件的配置格式,并讨论了对测试数据进行解码的详细流程。最后给出了解码软件的应用实例,有效提高了测试软件的灵活性。