[发明专利]DO-178B标准文档生成器

说明书

技术领域

本发明可以自动生成满足DO-178B标准的航空机载软件研制过程中需要编写的多类文档，属于软件工程自动化工具领域。

背景技术

DO-178B是由RTCA和EUROCAE制定并颁布的国际民用航空机载软件研制和审查的标准。国际上所有民用航空机载软件的研制都需要满足DO-178B标准。与此同时，现在国际上许多军用航空机载软件也是按照DO-178B标准来研制和审查的，如欧洲的A400M，EC 225，美国的C-130J，C-17，以及我国的XXX工程(涉密，不提供名称)等等。

依据DO-178B标准，在软件研制过程中需要编写大量的文档，而且这些文档之间有大量的内容是需要通过协调并维护其一致性的，这需要化费大量的人力和精力。尤其是软件计划过程中需要编写的《软件开发计划》、《软件验证计划》、《软件配置管理计划》、《软件质量保证计划》、《软件审查计划》、《软件需求标准》、《软件设计标准》、《软件编码标准》以及最终软件审查以前需要编写的《软件完成综述》等文档，研制单位在编写过程会有如下问题：

问题一、这些文档有许多重复的内容，例如，在《软件审查计划》和《软件完成综述》中都需要给出系统概述、软件概述、软件级别等内容，而在《软件审查计划》、《软件开发计划》、《软件验证计划》和《软件完成综述》中都会涉及到软件生命周期的定义。这些同样的内容出现在多个不同的文档，但这些内容在文档编制过程又天天在更改，很难维持这些内容在各个文档中的一致性。

问题二、除了上述重复的内容以外，不同文件之间的许多内容是密切关联的。例如，在《软件开发计划》中给出了软件开发的活动和方法，而《软件验证计划》中给出了软件验证的活动和方法。这时要求软件验证活动和方法依赖于软件开发活动和方法，二者必须是配套的、互相一致、水乳交融的。

问题三、由于上面二个原因，编写各个文档的软件开发人员、软件验证人员、软件配置管理人员、软件质量保证人员之间需要大量的协调和信息更新活动。任何一个人都要能随时看到其它人员编写的文档的最新内容，例如，验证人员在编写《软件验证计划》应该能即时地看到开发人员在《软件开发计划》中更改的内容，这对于保证二个计划的一致性，减少返工是至关重要的。虽然可以通过版本管理的工具来实现一定程度上的信息更新，但这样的信息更新不是即时的，导致协调工作的困难。

问题四、在传统的文档编写过程中，还有一个严重的问题是，多个人需要同时修改同一个文件，这样就导致了并行文档编写与文件冲突合并之间的矛盾。例如，有五个软件开发人员在同时编写或修改《软件开发计划》，怎样把每个人所做的修改很好地合并起来而不发生冲突，这是个难题。常见的版本管理工具只能解决其中的一个问题，要么实现一定程度的文档并行编写，但这样会导致大量的文档冲突；要么利用互斥机制来防止文档冲突，但这样又不能实现多个人员的并行编写文档，降低了效率。

问题五、DO-178B标准对这些文档的内容提出了严格的要求，软件研制单位在编写这一系列的文档过程中常常出现顾此失彼的现象，遗漏若干内容从而达不到DO-178B要求。

问题六、还有一个耗费时间非常巨大的“苦力活”，也就是调整各个文档的统一格式。我国军用航空机载软件的研制对每个文件都有严格的格式要求。虽然使用统 一的Word和Excel模板会减轻一定的工作量，但文档内容的拷贝粘贴，不同Word和Excel版本带来的格式差异，往往让人苦不堪言。

问题七、一个比问题六更令人头痛的问题，请考虑如下情况：某单位为项目X₁按照格式要求G₁完成的一套文档的编写，并已经得到了相关单位的审查和认可。现在要做另外一个项目X₂，而这个项目要求使用格式G₂，为了重用一部分项目X₁中文档的若干内容，拷贝过来以后还要重做一次繁琐而又没有生产力的格式调整工作。

问题八、几乎每一个文档都有大量的参考文献，术语表等内容，并且文档之间存在大量的引用。每一个引用文档都需要列出其文档编号、文档名称、文档版本、文档作者、发布日期等内容，并保证这些数据的正确性。这需要大量的维护工作，而且一旦基线发生变更(如由于评审、审查等引起的变更)，这些数据需要重新检查和维护。

以上列举的种种问题，使得机载软件研制单位在软件研制之初，就需要化费大量的时间、克服大量的困难来编写这些文档。

本发明致力于从根本上解决上述各项问题。

发明内容