The invention discloses a method for detecting, an embedded software requirement specification which includes: obtaining the embedded software requirements specification document information; according to the function of input interface, output interface function list list, external interface and external interface input list output generates a list of check rules; to check the document information, first check the results; according to the general requirements of software development documents and check the document information in the software development documentation General requirements specified in the chapter title are in accordance with the provisions, get second examination results; check whether the purpose of each demand demand attribute, attribute, attribute qualified key and priority attribute of the content is complete, third examination results output; the inspection results. The invention also discloses an inspection device for the specification of the embedded software requirements. The inspection method of the embedded software requirements specification provided by the invention has the advantages of fast inspection speed and high accuracy.
【技术实现步骤摘要】
一种嵌入式软件需求规格说明书的检查方法及检查装置
本专利技术涉及需求规格说明书的检查
,尤其涉及一种嵌入式软件需求规格说明书的检查方法及一种嵌入式软件需求规格说明书的检查装置。
技术介绍
从软件工程的角度看,决定嵌入式软件项目成败与否的主要因素之一是软件需求,软件需求的载体是软件需求规格说明书,因此需要对软件需求规格说明书进行检查,提高软件需求规格说明书的质量,为后续的软件设计、实现及验证等活动提供依据。目前,对于软件需求规格说明书的检查主要是项目人员通过人工检查的方法来进行,该种方法耗时长且容易产生错误。因此,如何能够对软件需求规格说明书进行准确快速的检查成为本领域技术人员亟待解决的技术问题。
技术实现思路
本专利技术旨在至少解决现有技术中存在的技术问题之一,提供一种嵌入式软件需求规格说明书的检查方法及一种嵌入式软件需求规格说明书的检查装置,以解决现有技术中的问题。作为本专利技术的第一个方面,提供一种嵌入式软件需求规格说明书的检查方法,其中,所述嵌入式软件需求规格说明书包括多个需求条目,每个所述需求条目具有唯一的标识号,所述检查方法包括:获取嵌入式软件需求规格说明书的文档信息,其中所述文档信息包括:功能输入接口列表、功能输出接口列表、外部接口输入列表、外部接口输出列表、章节号及标题名称列表;根据所述功能输入接口列表、功能输出接口列表、外部接口输入列表和外部接口输出列表生成检查规则;根据所述检查规则对所述文档信息进行检查,得到第一检查结果;根据软件开发文档通用要求检查所述文档信息中与所述软件开发文档通用要求中规定的章节号所对应的标题名称是否符合规定,得到 ...
【技术保护点】
一种嵌入式软件需求规格说明书的检查方法,其特征在于,所述嵌入式软件需求规格说明书包括多个需求条目,每个所述需求条目具有唯一的标识号,所述检查方法包括:获取嵌入式软件需求规格说明书的文档信息,其中所述文档信息包括:功能输入接口列表、功能输出接口列表、外部接口输入列表、外部接口输出列表、章节号及标题名称列表;根据所述功能输入接口列表、功能输出接口列表、外部接口输入列表和外部接口输出列表生成检查规则;根据所述检查规则对所述文档信息进行检查,得到第一检查结果;根据软件开发文档通用要求检查所述文档信息中与所述软件开发文档通用要求中规定的章节号所对应的标题名称是否符合规定,得到第二检查结果;检查每个所述需求条目的是否需求属性、合格性属性、关键度属性以及优先级属性内容是否完整,得到第三检查结果;输出所述第一检查结果、所述第二检查结果和第三检查结果。
【技术特征摘要】
1.一种嵌入式软件需求规格说明书的检查方法,其特征在于,所述嵌入式软件需求规格说明书包括多个需求条目,每个所述需求条目具有唯一的标识号,所述检查方法包括:获取嵌入式软件需求规格说明书的文档信息,其中所述文档信息包括:功能输入接口列表、功能输出接口列表、外部接口输入列表、外部接口输出列表、章节号及标题名称列表;根据所述功能输入接口列表、功能输出接口列表、外部接口输入列表和外部接口输出列表生成检查规则;根据所述检查规则对所述文档信息进行检查,得到第一检查结果;根据软件开发文档通用要求检查所述文档信息中与所述软件开发文档通用要求中规定的章节号所对应的标题名称是否符合规定,得到第二检查结果;检查每个所述需求条目的是否需求属性、合格性属性、关键度属性以及优先级属性内容是否完整,得到第三检查结果;输出所述第一检查结果、所述第二检查结果和第三检查结果。2.根据权利要求1所述的嵌入式软件需求规格说明书的检查方法,其特征在于,所述检查规则包括:检查每个外部接口输入变量是否被功能输入使用;检查每个外部接口输出变量是否被功能输出产生;检查每个功能输入变量是否被外部接口输入或其余功能模块的功能输出产生;检查每个功能输出变量是否被外部接口输出或其余功能模块的功能输入使用;检查每个功能模块的功能输入变量是否在该模块中被使用;检查每个功能模块的功能输出变量是否在该模块中被使用;检查同一个“功能输入”或“外部接口输入”条目中是否存在重复的接口变量;检查同一个“功能输出”或“外部接口输出”条目中是否存在重复的接口变量。3.根据权利要求2所述的嵌入式软件需求规格说明书的检查方法,其特征在于,所述第一检查结果包括:每个外部接口输入变量被功能输入使用,或者至少一个外部接口输入变量没有被功能输入使用;每个外部接口输出变量被功能输出产生,或者至少一个外接口输出变量没有被功能输出产生;每个功能输入变量被外部接口输入或其余功能模块的功能输出产生,或者至少一个功能输入变量没有被外部接口输入或其余功能模块的功能输出产生;每个功能输出变量被外部接口输出或其余功能模块的功能输入使用,或者至少一个功能输出变量没有被外部接口输出或其余功能模块的功能输入使用;每个功能模块的功能输入变量在该模块中被使用,或者至少一个功能模块的功能输入变量没有在该模块中被使用;每个功能模块的功能输出变量在该模块中被使用,或者至少一个功能模块的功能输出变量没有在该模块中被使用;同一个“功能输入”或“外部接口输入”条目中存在重复的接口变量,或者同一个“功能输入”和“外部接口输入”条目中均不存在重复的接口变量;同一个“功能输出”或“外部接口输出”条目中存在重复的接口变量,或者同一个“功能输出”和“外部接口输出...
【专利技术属性】
技术研发人员:谢钢志,徐凯健,张星星,殷彬彬,黄婷,
申请(专利权)人:中国航发控制系统研究所,
类型:发明
国别省市:江苏,32
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。