CN107741843A - 一种嵌入式软件需求规格说明书的检查方法及检查装置 - Google Patents

Abstract

本发明公开了一种嵌入式软件需求规格说明书的检查方法，其中，包括：获取嵌入式软件需求规格说明书的文档信息；根据功能输入接口列表、功能输出接口列表、外部接口输入列表和外部接口输出列表生成检查规则；对文档信息进行检查，得到第一检查结果；根据软件开发文档通用要求检查文档信息中与软件开发文档通用要求中规定的章节号所对应的标题名称是否符合规定，得到第二检查结果；检查每个需求条目的是否需求属性、合格性属性、关键度属性以及优先级属性内容是否完整，得到第三检查结果；输出检查结果。本发明还公开了一种嵌入式软件需求规格说明书的检查装置。本发明提供的嵌入式软件需求规格说明书的检查方法具有检查速度快，准确率高的优势。

Description

一种嵌入式软件需求规格说明书的检查方法及检查装置

技术领域

本发明涉及需求规格说明书的检查技术领域，尤其涉及一种嵌入式软件需求规格说明书的检查方法及一种嵌入式软件需求规格说明书的检查装置。

背景技术

从软件工程的角度看，决定嵌入式软件项目成败与否的主要因素之一是软件需求，软件需求的载体是软件需求规格说明书，因此需要对软件需求规格说明书进行检查，提高软件需求规格说明书的质量，为后续的软件设计、实现及验证等活动提供依据。

目前，对于软件需求规格说明书的检查主要是项目人员通过人工检查的方法来进行，该种方法耗时长且容易产生错误。

因此，如何能够对软件需求规格说明书进行准确快速的检查成为本领域技术人员亟待解决的技术问题。

发明内容

本发明旨在至少解决现有技术中存在的技术问题之一，提供一种嵌入式软件需求规格说明书的检查方法及一种嵌入式软件需求规格说明书的检查装置，以解决现有技术中的问题。

作为本发明的第一个方面，提供一种嵌入式软件需求规格说明书的检查方法，其中，所述嵌入式软件需求规格说明书包括多个需求条目，每个所述需求条目具有唯一的标识号，所述检查方法包括：

获取嵌入式软件需求规格说明书的文档信息，其中所述文档信息包括：功能输入接口列表、功能输出接口列表、外部接口输入列表、外部接口输出列表、章节号及标题名称列表；

根据所述功能输入接口列表、功能输出接口列表、外部接口输入列表和外部接口输出列表生成检查规则；

根据所述检查规则对所述文档信息进行检查，得到第一检查结果；

根据软件开发文档通用要求检查所述文档信息中与所述软件开发文档通用要求中规定的章节号所对应的标题名称是否符合规定，得到第二检查结果；

检查每个所述需求条目的是否需求属性、合格性属性、关键度属性以及优先级属性内容是否完整，得到第三检查结果；

输出所述第一检查结果、所述第二检查结果和第三检查结果。

优选地，所述检查规则包括：

检查每个外部接口输入变量是否被功能输入使用；

检查每个外部接口输出变量是否被功能输出产生；

检查每个功能输入变量是否被外部接口输入或其余功能模块的功能输出产生；

检查每个功能输出变量是否被外部接口输出或其余功能模块的功能输入使用；

检查每个功能模块的功能输入变量是否在该模块中被使用；

检查每个功能模块的功能输出变量是否在该模块中被使用；

检查同一个“功能输入”或“外部接口输入”条目中是否存在重复的接口变量；

检查同一个“功能输出”或“外部接口输出”条目中是否存在重复的接口变量。

优选地，所述第一检查结果包括：

每个外部接口输入变量被功能输入使用，或者至少一个外部接口输入变量没有被功能输入使用；

每个外部接口输出变量被功能输出产生，或者至少一个外接口输出变量没有被功能输出产生；

每个功能输入变量被外部接口输入或其余功能模块的功能输出产生，或者至少一个功能输入变量没有被外部接口输入或其余功能模块的功能输出产生；

每个功能输出变量被外部接口输出或其余功能模块的功能输入使用，或者至少一个功能输出变量没有被外部接口输出或其余功能模块的功能输入使用；

每个功能模块的功能输入变量在该模块中被使用，或者至少一个功能模块的功能输入变量没有在该模块中被使用；

每个功能模块的功能输出变量在该模块中被使用，或者至少一个功能模块的功能输出变量没有在该模块中被使用；

同一个“功能输入”或“外部接口输入”条目中存在重复的接口变量，或者同一个“功能输入”和“外部接口输入”条目中均不存在重复的接口变量；

同一个“功能输出”或“外部接口输出”条目中存在重复的接口变量，或者同一个“功能输出”和“外部接口输出”条目中均不存在重复的接口变量。

优选地，所述第三检查结果包括：

每个所述需求条目的是否需求属性、合格性属性、关键度属性以及优先级属性内容均不为空，或者至少一个所述需求条目的是否需求属性、合格性属性、关键度属性以及优先级属性内容中的至少一项属性内容为空。

优选地，当至少一个所述需求条目的是否需求属性、合格性属性、关键度属性以及优先级属性内容中的至少一项属性内容为空时，将该需求条目的标识号加入属性设置不完整结果列表。

优选地，所述软件开发文档通用要求包括所述软件需求规格说明书的文档信息中32个指定章节的标题名称，所述根据软件开发文档通用要求检查所述文档信息中与所述软件开发文档通用要求中规定的章节号所对应的标题名称是否符合规定包括根据32个指定章节的标题名称检查所述文档信息中与所述软件开发文档通用要求中规定的32个章节号所对应的标题名称是否符合规定。

优选地，所述第二检查结果包括：

所述文档信息中与所述软件开发文档通用要求中规定的32个章节号所对应的标题名称符合所述32个指定章节的标题名称的规定，或者所述文档信息中与所述软件开发文档通用要求中规定的32个章节号所对应的标题名称中的至少一个章节号所对应的标题名称不符合所述32个指定章节的标题名称的规定。

作为本发明的第二个方面，提供一种嵌入式软件需求规格说明书的检查装置，其中，所述嵌入式软件需求规格说明书包括多个需求条目，每个所述需求条目具有唯一的标识号，所述检查装置包括：

获取模块，所述获取模块用于获取嵌入式软件需求规格说明书的文档信息，其中所述文档信息包括：功能输入接口列表、功能输出接口列表、外部接口输入列表、外部接口输出列表、章节号及标题名称列表；

检查规则生成模块，所述检查规则生成模块用于根据所述功能输入接口列表、功能输出接口列表、外部接口输入列表和外部接口输出列表生成检查规则；

第一检查模块，所述第一检查模块用于根据所述检查规则对所述文档信息进行检查，得到第一检查结果；

第二检查模块，所述第二检查模块用于根据软件开发文档通用要求检查所述文档信息中与所述软件开发文档通用要求中规定的章节号所对应的标题名称是否符合规定，得到第二检查结果；

第三检查模块，所述第三检查模块用于检查每个所述需求条目的是否需求属性、合格性属性、关键度属性以及优先级属性内容是否完整，得到第三检查结果；

输出模块，所述输出模块用于输出所述第一检查结果、所述第二检查结果和第三检查结果。

本发明提供的嵌入式软件需求规格说明书的检查方法，通过对软件需求规格说明书进行规则性的检查，得到检查结果，辅助项目人员分析需求的合理性，这种检查方法能够快速且准确地得出检查结果，且避免了人工检查产生错误情况的发生。

附图说明

附图是用来提供对本发明的进一步理解，并且构成说明书的一部分，与下面的具体实施方式一起用于解释本发明，但并不构成对本发明的限制。在附图中：

图1为本发明提供的嵌入式软件需求规格说明书的检查方法的流程图。

图2为本发明提供的需求编写示例图。

图3为本发明提供的获取软件需求规格说明书的文档信息的流程图。

图4为本发明提供的嵌入式软件需求规格说明书的检查装置的结构图。

具体实施方式

以下结合附图对本发明的具体实施方式进行详细说明。应当理解的是，此处所描述的具体实施方式仅用于说明和解释本发明，并不用于限制本发明。

作为本发明的第一个方面，提供一种嵌入式软件需求规格说明书的检查方法，其中，所述嵌入式软件需求规格说明书包括多个需求条目，每个所述需求条目具有唯一的标识号，如图1所示，所述检查方法包括：

S110、获取嵌入式软件需求规格说明书的文档信息，其中所述文档信息包括：功能输入接口列表、功能输出接口列表、外部接口输入列表、外部接口输出列表、章节号及标题名称列表；

S120、根据所述功能输入接口列表、功能输出接口列表、外部接口输入列表和外部接口输出列表生成检查规则；

S130、根据所述检查规则对所述文档信息进行检查，得到第一检查结果；

S140、根据软件开发文档通用要求检查所述文档信息中与所述软件开发文档通用要求中规定的章节号所对应的标题名称是否符合规定，得到第二检查结果；

S150、检查每个所述需求条目的是否需求属性、合格性属性、关键度属性以及优先级属性内容是否完整，得到第三检查结果；

S160、输出所述第一检查结果、所述第二检查结果和第三检查结果。

本发明提供的嵌入式软件需求规格说明书的检查方法，通过对软件需求规格说明书进行规则性的检查，得到检查结果，辅助项目人员分析需求的合理性，这种检查方法能够快速且准确的得出检查结果，且避免了人工检查产生错误情况的发生。

具体地，所述检查规则包括：

检查每个外部接口输入变量是否被功能输入使用；

检查每个外部接口输出变量是否被功能输出产生；

检查每个功能输入变量是否被外部接口输入或其余功能模块的功能输出产生；

检查每个功能输出变量是否被外部接口输出或其余功能模块的功能输入使用；

检查每个功能模块的功能输入变量是否在该模块中被使用，即检查提取的功能输入变量的必要性；

检查每个功能模块的功能输出变量是否在该模块中被使用，即检查提取的功能输出变量的必要性；

检查同一个“功能输入”或“外部接口输入”条目中是否存在重复的接口变量，即检查提取的输入接口的冗余性；

检查同一个“功能输出”或“外部接口输出”条目中是否存在重复的接口变量，即检查提取的输出接口的冗余性。

可以理解的是，在生成上述检查规则后，按照该检查规则自动一项接着一项的对所述文档信息进行检查，不仅快速而且准确率高。

具体地，所述第一检查结果包括：

每个外部接口输入变量被功能输入使用，或者至少一个外部接口输入变量没有被功能输入使用；

每个外部接口输出变量被功能输出产生，或者至少一个外接口输出变量没有被功能输出产生；

每个功能输入变量被外部接口输入或其余功能模块的功能输出产生，或者至少一个功能输入变量没有被外部接口输入或其余功能模块的功能输出产生；

每个功能输出变量被外部接口输出或其余功能模块的功能输入使用，或者至少一个功能输出变量没有被外部接口输出或其余功能模块的功能输入使用；

每个功能模块的功能输入变量在该模块中被使用，或者至少一个功能模块的功能输入变量没有在该模块中被使用；

每个功能模块的功能输出变量在该模块中被使用，或者至少一个功能模块的功能输出变量没有在该模块中被使用；

同一个“功能输入”或“外部接口输入”条目中存在重复的接口变量，或者同一个“功能输入”和“外部接口输入”条目中均不存在重复的接口变量；

同一个“功能输出”或“外部接口输出”条目中存在重复的接口变量，或者同一个“功能输出”和“外部接口输出”条目中均不存在重复的接口变量。

需要说明的是，当对所述文档信息进行检查后，得到的第一检查结果包括上述其中一条情况中的两种结果的任意一种与其他条中的两种结果的任意一种的组合，因此，第一检查结果包括多种情况。

具体地，所述第三检查结果包括：

每个所述需求条目的是否需求属性、合格性属性、关键度属性以及优先级属性内容均不为空，或者至少一个所述需求条目的是否需求属性、合格性属性、关键度属性以及优先级属性内容中的至少一项属性内容为空。

进一步具体地，当至少一个所述需求条目的是否需求属性、合格性属性、关键度属性以及优先级属性内容中的至少一项属性内容为空时，将该需求条目的标识号加入属性设置不完整结果列表。

具体地，所述软件开发文档通用要求包括所述软件需求规格说明书的文档信息中32个指定章节的标题名称，所述根据软件开发文档通用要求检查所述文档信息中与所述软件开发文档通用要求中规定的章节号所对应的标题名称是否符合规定包括根据32个指定章节的标题名称检查所述文档信息中与所述软件开发文档通用要求中规定的32个章节号所对应的标题名称是否符合规定。

进一步具体地，所述第二检查结果包括：

所述文档信息中与所述软件开发文档通用要求中规定的32个章节号所对应的标题名称符合所述32个指定章节的标题名称的规定，或者所述文档信息中与所述软件开发文档通用要求中规定的32个章节号所对应的标题名称中的至少一个章节号所对应的标题名称不符合所述32个指定章节的标题名称的规定。

关于实现所述嵌入式软件需求规格说明书的检查方法，优选地，可以通过在需求管理工具DOORS软件中编写及管理软件需求规格说明书来实现。实现该方案的工具可以使用DXL语言编程完成，完成后的工具运行于DOORS软件中。

下面以在DOORS软件中编写及管理软件需求规格说明书，并通过DXL语言编程完成该工具为例对所述嵌入式软件需求规格说明书的检查方法进行说明。

在DOORS软件中编写软件需求规格说明，编写方法的示例如图2所示：

首先，需求的条目，条目的文本内容中必须包含“必须[SHALL]”关键字；

功能输入的接口写在一个条目中，形式如“功能输入：功能输入接口A、功能输入接口B、功能输入接口C”，各个接口变量之间以“、”分隔，末尾不要加“。”等符号；

功能输出的接口写在一个条目中，形式如“功能输出：功能输出接口A、功能输出接口B、功能输出接口C”，各个接口变量之间以“、”分隔，末尾不要加“。”等符号；

“功能处理：”要单独一个条目；

六要素描述的内容要存在于最小的功能模块中，即一个功能模块的“功能输入”至“约束条件”之间的6个部分不能存在标题；

外部接口是相对于软件配置项进行描述的，包括外部接口输入和外部接口输出，外部接口输入和外部接口输出的描述方式类似于功能输入和功能输出，如外部接口输入的描述形式为“外部接口输入：接口A、接口B、接口C”。

对于所述软件需求规格说明书的文档信息的获取，结合图3所示，具体内容如下：

根据需求条目对象所在的位置顺序遍历软件需求规格说明，针对每一个需求条目对象，进行如下处理：

a）首先获取条目对象的文本内容即“Object Text”属性，条目所在的ID号即“AbsoluteNumber”属性，条目对象的“Object Number”属性内容，条目对象的标题内容即“ObjectHeading”属性；

b）判断条目的“Object Text”属性内容是否存在关键字“功能输入”，如果存在，则根据逗号为分隔标志，将“Object Text”属性内容中的各接口变量名称存储到功能输入接口名称列表，将条目对象的“Absolute Number”属性存储到功能输入接口ID号列表，继续执行下一个条目对象的信息获取；如果不存在，执行步骤c）；

c）判断条目的“Object Text”属性内容是否存在关键字“功能输出”，如果存在，则根据逗号为分隔标志，将“Object Text”属性内容中的各接口变量名称存储到功能输出接口名称列表，将条目对象的“Absolute Number”属性存储到功能输出接口ID号列表，继续执行下一个条目对象的信息获取；如果不存在，执行步骤d）；

d）判断条目的“Object Text”属性内容是否存在关键字 “外部接口输入”，如果存在，则根据逗号为分隔标志，将“Object Text”属性内容中的各接口变量名称存储到外部接口输入列表，将条目对象的“Absolute Number”属性存储到外部接口输入ID号列表，继续执行下一个条目对象的信息获取；如果不存在，执行步骤e）；

e）判断条目的“Object Text”属性内容是否存在关键字“外部接口输出”，如果存在，则根据逗号为分隔标志，将“Object Text”属性内容中的各接口变量名称存储到外部接口输出列表，将条目对象的“Absolute Number”属性存储到外部接口输出ID号列表，继续执行下一个条目对象的信息获取；如果不存在，执行步骤f）；

f）判断条目是否是标题，如果“Object Number”属性中不存在符号“-”，则该条目是标题，将“Object Number”属性内容存储到章节号列表，“Object Heading”属性存储到标题名称列表，否则该条目不是标题，不做任何处理。继续执行下一个条目对象的信息获取。

作为本发明的第二个方面，提供一种嵌入式软件需求规格说明书的检查装置，其中，所述嵌入式软件需求规格说明书包括多个需求条目，每个所述需求条目具有唯一的标识号，如图4所示，所述检查装置10包括：

获取模块110，所述获取模块110用于获取嵌入式软件需求规格说明书的文档信息，其中所述文档信息包括：功能输入接口列表、功能输出接口列表、外部接口输入列表、外部接口输出列表、章节号及标题名称列表；

检查规则生成模块120，所述检查规则生成模块120用于根据所述功能输入接口列表、功能输出接口列表、外部接口输入列表和外部接口输出列表生成检查规则；

第一检查模块130，所述第一检查模块130用于根据所述检查规则对所述文档信息进行检查，得到第一检查结果；

第二检查模块140，所述第二检查模块140用于根据软件开发文档通用要求检查所述文档信息中与所述软件开发文档通用要求中规定的章节号所对应的标题名称是否符合规定，得到第二检查结果；

第三检查模块150，所述第三检查模块150用于检查每个所述需求条目的是否需求属性、合格性属性、关键度属性以及优先级属性内容是否完整，得到第三检查结果；

输出模块160，所述输出模块用于输出所述第一检查结果、所述第二检查结果和第三检查结果。

本发明提供的嵌入式软件需求规格说明书的检查装置，通过对软件需求规格说明书进行规则性的检查，得到检查结果，辅助项目人员分析需求的合理性，这种检查方法能够快速且准确的得出检查结果，且避免了人工检查产生错误情况的发生。

可以理解的是，以上实施方式仅仅是为了说明本发明的原理而采用的示例性实施方式，然而本发明并不局限于此。对于本领域内的普通技术人员而言，在不脱离本发明的精神和实质的情况下，可以做出各种变型和改进，这些变型和改进也视为本发明的保护范围。

Claims (8)

1.一种嵌入式软件需求规格说明书的检查方法，其特征在于，所述嵌入式软件需求规格说明书包括多个需求条目，每个所述需求条目具有唯一的标识号，所述检查方法包括：

获取嵌入式软件需求规格说明书的文档信息，其中所述文档信息包括：功能输入接口列表、功能输出接口列表、外部接口输入列表、外部接口输出列表、章节号及标题名称列表；

根据所述功能输入接口列表、功能输出接口列表、外部接口输入列表和外部接口输出列表生成检查规则；

根据所述检查规则对所述文档信息进行检查，得到第一检查结果；

根据软件开发文档通用要求检查所述文档信息中与所述软件开发文档通用要求中规定的章节号所对应的标题名称是否符合规定，得到第二检查结果；

检查每个所述需求条目的是否需求属性、合格性属性、关键度属性以及优先级属性内容是否完整，得到第三检查结果；

输出所述第一检查结果、所述第二检查结果和第三检查结果。

2.根据权利要求1所述的嵌入式软件需求规格说明书的检查方法，其特征在于，所述检查规则包括：

检查每个外部接口输入变量是否被功能输入使用；

检查每个外部接口输出变量是否被功能输出产生；

检查每个功能输入变量是否被外部接口输入或其余功能模块的功能输出产生；

检查每个功能输出变量是否被外部接口输出或其余功能模块的功能输入使用；

检查每个功能模块的功能输入变量是否在该模块中被使用；

检查每个功能模块的功能输出变量是否在该模块中被使用；

检查同一个“功能输入”或“外部接口输入”条目中是否存在重复的接口变量；

检查同一个“功能输出”或“外部接口输出”条目中是否存在重复的接口变量。

3.根据权利要求2所述的嵌入式软件需求规格说明书的检查方法，其特征在于，所述第一检查结果包括：

每个外部接口输入变量被功能输入使用，或者至少一个外部接口输入变量没有被功能输入使用；

每个外部接口输出变量被功能输出产生，或者至少一个外接口输出变量没有被功能输出产生；

每个功能输入变量被外部接口输入或其余功能模块的功能输出产生，或者至少一个功能输入变量没有被外部接口输入或其余功能模块的功能输出产生；

每个功能输出变量被外部接口输出或其余功能模块的功能输入使用，或者至少一个功能输出变量没有被外部接口输出或其余功能模块的功能输入使用；

每个功能模块的功能输入变量在该模块中被使用，或者至少一个功能模块的功能输入变量没有在该模块中被使用；

每个功能模块的功能输出变量在该模块中被使用，或者至少一个功能模块的功能输出变量没有在该模块中被使用；

同一个“功能输入”或“外部接口输入”条目中存在重复的接口变量，或者同一个“功能输入”和“外部接口输入”条目中均不存在重复的接口变量；

同一个“功能输出”或“外部接口输出”条目中存在重复的接口变量，或者同一个“功能输出”和“外部接口输出”条目中均不存在重复的接口变量。

4.根据权利要求1所述的嵌入式软件需求规格说明书的检查方法，其特征在于，所述第三检查结果包括：

每个所述需求条目的是否需求属性、合格性属性、关键度属性以及优先级属性内容均不为空，或者至少一个所述需求条目的是否需求属性、合格性属性、关键度属性以及优先级属性内容中的至少一项属性内容为空。

5.根据权利要求4所述的嵌入式软件需求规格说明书的检查方法，其特征在于，当至少一个所述需求条目的是否需求属性、合格性属性、关键度属性以及优先级属性内容中的至少一项属性内容为空时，将该需求条目的标识号加入属性设置不完整结果列表。

6.根据权利要求1至5中任意一项所述的嵌入式软件需求规格说明书的检查方法，其特征在于，所述软件开发文档通用要求包括所述软件需求规格说明书的文档信息中32个指定章节的标题名称，所述根据软件开发文档通用要求检查所述文档信息中与所述软件开发文档通用要求中规定的章节号所对应的标题名称是否符合规定包括根据32个指定章节的标题名称检查所述文档信息中与所述软件开发文档通用要求中规定的32个章节号所对应的标题名称是否符合规定。

7.根据权利要求6所述的嵌入式软件需求规格说明书的检查方法，其特征在于，所述第二检查结果包括：

所述文档信息中与所述软件开发文档通用要求中规定的32个章节号所对应的标题名称符合所述32个指定章节的标题名称的规定，或者所述文档信息中与所述软件开发文档通用要求中规定的32个章节号所对应的标题名称中的至少一个章节号所对应的标题名称不符合所述32个指定章节的标题名称的规定。

8.一种嵌入式软件需求规格说明书的检查装置，其特征在于，所述嵌入式软件需求规格说明书包括多个需求条目，每个所述需求条目具有唯一的标识号，所述检查装置包括：

获取模块，所述获取模块用于获取嵌入式软件需求规格说明书的文档信息，其中所述文档信息包括：功能输入接口列表、功能输出接口列表、外部接口输入列表、外部接口输出列表、章节号及标题名称列表；

检查规则生成模块，所述检查规则生成模块用于根据所述功能输入接口列表、功能输出接口列表、外部接口输入列表和外部接口输出列表生成检查规则；

第一检查模块，所述第一检查模块用于根据所述检查规则对所述文档信息进行检查，得到第一检查结果；

第二检查模块，所述第二检查模块用于根据软件开发文档通用要求检查所述文档信息中与所述软件开发文档通用要求中规定的章节号所对应的标题名称是否符合规定，得到第二检查结果；

第三检查模块，所述第三检查模块用于检查每个所述需求条目的是否需求属性、合格性属性、关键度属性以及优先级属性内容是否完整，得到第三检查结果；

输出模块，所述输出模块用于输出所述第一检查结果、所述第二检查结果和第三检查结果。