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

权利要求书

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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