基于自然语言编写的需求文档辅助检查技术研究及工具实现.pdfVIP

软件测试学术交流论文集 基于自然语言编写的需求文档辅助 检查技术研究及工具实现 陈湘陇，谢伟华 (中国航天工程咨询中心软件工程研究部) 摘要当前型号软件需求文档大都是用自然语言编写，受编写人员的主观影响， 容易造成编写不规范，难于进行检查，不能保证型号软件需求文档的质量．本文在 对需求文档编写标准、检查内容及方式进行研究分析的基础上，并借鉴对数据流图 进行一致性检查的思想，提出了设计开发型号软件需求文档辅助检查工具的基本思 路，并介绍了该工具原型的一些功能特点．最后结合本技术的研究及工具的实现应 用情况，为编写和检查型号软件需求文档提出一些想法和建议． 主题词型号软件，需求文档，自然语言，检查工具 l引言 目标所需的条件或权能；(2)系统或系统部件要满足合同、标准、规范、或其它正式规定 文档所需具备的条件或权能；(3)一种反映上面两条中一条所描述的条件或权能的文档说 明． 需求文档的表达有两种方式，基于自然语言和基于形式化语言。当前型号软件的需求 文档大都基于自然语言编写，采用结构化的方法进行功能分解描述，基于人工进行检查评 审，文档大都没有经过严格语法检查的数据流图和数据字典。上述方式获取的需求文档主 要存在功能冗余、多义、前后表述不一致等问题。 型号软件需求文档的以上特点，导致了对需求文档进行检查评审成为一项复杂而且费 时的工作。本文对如何进行基于自然语言的需求文档的检查进行了研究，并对用典型的结 构化方法进行功能分解描述的需求文档如何实现用工具进行检查进行了探讨。 2型号软件需求文档检查的重要性 软件需求分析工作是软件生命周期中重要的一步，也是决定性的一步。只有通过软件 需求分析，才能把软件功能的总体概念描述为具体的软件需求规格说明，从而奠定软件开 发的基础。 美国NASA的软件机构统计发现。软件项目出现的缺陷50％左右与需求阶段相关，并 总结出了软件缺陷修改所付出代价和软件生命周期的关系，如果越早在软件周期发现问题， 修改所付出的代价越小，如图l所示。 12S 软件测试学术交流论文集 图1软件工程各阶段发现错误及修改代价 当前航天型号由于其规模大、复杂性高的特点，整个系统对于软件的明确到形成完整 的需求往往很晚才能确定下来，有时甚至等到硬件研制基本完成才能确定下来，这给软件 研制的时间往往会变得很少，导致了很多型号软件研制人员对于软件开发文档，特别是对 软件需求文档的重视不够．而从型号各个软件检测站了解的情况得知。当前软件测试发现 的许多问题都是由于需求描述的不清楚、不准确或是需求本身存在不一致所造成的，由此 再返回去修改需求，那么设计、实现也相应需要进行修改，改正这类错误的代价是非常大 的．因此对于软件需求文档的检查评审成为一项重要的工作，这也在整个型号领域内达成 了共识。 3型号软件需求文档检查技术 软件分析人员应将从用户那里获得的所有信息进行整理，以区分功能需求、非功能需 求和一些用户领域内的相关需求及规范，通过对这些信息分析整理得出一份软件需求文档， 这个文档可以使软件开发人员与用户之间针对所要开发的软件产品内容达成一致。这份文 档应该以一种用户易于理解的方式编写，用户要对其内容进行检查并进行评审，以确保报 告内容准确完整地表达了其需求，一份好的需求文档可以帮助开发人员开发出真正满足用 户需求的软件产品。一个好的软件需求文档。必须做到以下几点：明确、‘非冗余、详细、 可跟踪、可实现、完整，要达到这几点不是一件容易的事。用户要对这份文档进行详尽的 检查，以确保其内容是自己所期望的，而对一个需求文档的检查主要从以下几个方面进行： ／正确性：文档内容本身或者描述方式是否正确： ／可理解性：文档内容是否容易理解； ／完整性：应该描述的内容是否都描述了： ／非冗余性：是否在文档中描述了不应在需求中描述的、多余的内容(如设计、 126 软