CN113886278B - 一种需求属性自动导出和验证的方法和装置 - Google Patents

一种需求属性自动导出和验证的方法和装置 Download PDF

Info

Publication number
CN113886278B
CN113886278B CN202111487480.5A CN202111487480A CN113886278B CN 113886278 B CN113886278 B CN 113886278B CN 202111487480 A CN202111487480 A CN 202111487480A CN 113886278 B CN113886278 B CN 113886278B
Authority
CN
China
Prior art keywords
requirement
verification
item
level
tracking table
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Active
Application number
CN202111487480.5A
Other languages
English (en)
Other versions
CN113886278A (zh
Inventor
闫伟
曹欣
张庆新
李雪
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Casco Signal Beijing Ltd
Original Assignee
Casco Signal Beijing Ltd
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Casco Signal Beijing Ltd filed Critical Casco Signal Beijing Ltd
Priority to CN202111487480.5A priority Critical patent/CN113886278B/zh
Publication of CN113886278A publication Critical patent/CN113886278A/zh
Application granted granted Critical
Publication of CN113886278B publication Critical patent/CN113886278B/zh
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00Error detection; Error correction; Monitoring
    • G06F11/36Preventing errors by testing or debugging software
    • G06F11/3604Software analysis for verifying properties of programs
    • G06F11/3616Software analysis for verifying properties of programs using software metrics

Landscapes

  • Engineering & Computer Science (AREA)
  • Software Systems (AREA)
  • Theoretical Computer Science (AREA)
  • Computer Hardware Design (AREA)
  • Quality & Reliability (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Stored Programmes (AREA)

Abstract

本发明公开了一种需求属性自动导出和验证的方法和装置,其中,所述方法包括:根据上下级需求设计规格书对标签属性进行定义,获得需求标签定义信息;根据所述需求标签定义信息进行需求项分解,导出获得需求追踪表;根据所述需求标签定义信息,获得上下级追踪原则;基于所述上下级追踪原则,建立需求验证规则库;根据所述需求验证规则库,采用脚本对所述需求追踪表中所有需求项进行遍历验证,获得需求项验证结果,并将所述需求项验证结果自动记录至所述需求追踪表。解决了现有技术需求验证主要按照需求追踪表逐条检查,存在不同人理解差异验证结果不统一,对于复杂软件层级多,完全用人工检查成本高,且追踪关系不清晰的技术问题。

Description

一种需求属性自动导出和验证的方法和装置
技术领域
本发明涉及软件开发领域,尤其涉及一种需求属性自动导出和验证的方法和装置。
背景技术
对于任何实施软件开发的企业来说,软件质量保证都是必不可少的活动。验证作为软件质量保证的最重要活动之一,目的是在软件过程中发现错误,降低后续纠错的成本。通过需求跟踪关系,可以验证对本阶段文档是否满足输入文档的需求,维护“需求-设计-实现”之间的一致性,确保项目计划和所有的工作产品符合客户需求。目前需求追踪关系一般用需求追踪表进行维护,验证人员对上下级需求项逐条检查,对于复杂软件开发的项目文档,自顶而下需求逐步细化,需求项规模呈指数增长。
但本申请发明人在实现本申请实施例中发明技术方案的过程中,发现上述技术至少存在如下技术问题:
现有技术需求验证主要按照需求追踪表逐条检查,存在不同人理解差异验证结果不统一,对于复杂软件层级多,需求设计文档量大,完全用人工检查成本高,且追踪关系不清晰的问题。
发明内容
本申请实施例通过提供一种需求属性自动导出和验证的方法和装置,解决了现有技术需求验证主要按照需求追踪表逐条检查,存在不同人理解差异验证结果不统一,对于复杂软件层级多,需求设计文档量大,完全用人工检查成本高,且追踪关系不清晰的技术问题,达到将相关需求标签以属性的方式分解,提出需求验证规则库的设计思想,采用脚本化的方式自动检查追踪关系,不仅使需求验证更加快捷高效,同时很大程度上提高了验证的准确性,提升了需求验证的质量和效率,对于改进需求、设计文档以至于后续的开发工作都带来较大的便利与成本降低,保证验证的正确性,使复杂软件开发的需求更能有效控制的技术效果。
鉴于上述问题,提出了本发明以便提供一种克服上述问题或者至少部分地解决上述问题的方法。
第一方面,本申请实施例提供了一种需求属性自动导出和验证的方法,所述方法包括:根据上下级需求设计规格书对标签属性进行定义,获得需求标签定义信息;根据所述需求标签定义信息进行需求项分解,导出获得需求追踪表;根据所述需求标签定义信息,获得上下级追踪原则;基于所述上下级追踪原则,建立需求验证规则库;根据所述需求验证规则库,采用脚本对所述需求追踪表中所有需求项进行遍历验证,获得需求项验证结果,并将所述需求项验证结果自动记录至所述需求追踪表。
另一方面,本申请还提供了一种需求属性自动导出和验证的装置,所述装置包括:第一获得单元,所述第一获得单元用于根据上下级需求设计规格书对标签属性进行定义,获得需求标签定义信息;第一导出单元,所述第一导出单元用于根据所述需求标签定义信息进行需求项分解,导出获得需求追踪表;第二获得单元,所述第二获得单元用于根据所述需求标签定义信息,获得上下级追踪原则;第一建立单元,所述第一建立单元用于基于所述上下级追踪原则,建立需求验证规则库;第三获得单元,所述第三获得单元用于根据所述需求验证规则库,采用脚本对所述需求追踪表中所有需求项进行遍历验证,获得需求项验证结果,并将所述需求项验证结果自动记录至所述需求追踪表。
第三方面,本发明实施例提供了一种电子设备,包括总线、收发器、存储器、处理器及存储在所述存储器上并可在所述处理器上运行的计算机程序,所述收发器、所述存储器和所述处理器通过所述总线相连,所述计算机程序被所述处理器执行时实现上述任意一项所述的控制输出数据的方法中的步骤。
第四方面,本发明实施例还提供了一种计算机可读存储介质,其上存储有计算机程序,所述计算机程序被处理器执行时实现上述任意一项所述的控制输出数据的方法中的步骤。
本申请实施例中提供的一个或多个技术方案,至少具有如下技术效果或优点:
由于采用了根据上下级需求设计规格书对标签属性进行定义,获得需求标签定义信息;根据所述需求标签定义信息进行需求项分解,导出获得需求追踪表;根据所述需求标签定义信息,获得上下级追踪原则;基于所述上下级追踪原则,建立需求验证规则库;根据所述需求验证规则库,采用脚本对所述需求追踪表中所有需求项进行遍历验证,获得需求项验证结果,并将所述需求项验证结果自动记录至所述需求追踪表。进而达到将相关需求标签以属性的方式分解,提出需求验证规则库的设计思想,采用脚本化的方式自动检查追踪关系,不仅使需求验证更加快捷高效,同时很大程度上提高了验证的准确性,提升了需求验证的质量和效率,对于改进需求、设计文档以至于后续的开发工作都带来较大的便利与成本降低,保证验证的正确性,使复杂软件开发的需求更能有效控制的技术效果。
上述说明仅是本申请技术方案的概述,为了能够更清楚了解本申请的技术手段,而可依照说明书的内容予以实施,并且为了让本申请的上述和其它目的、特征和优点能够更明显易懂,以下特举本申请的具体实施方式。
附图说明
图1为本申请实施例一种需求属性自动导出和验证的方法的流程示意图;
图2为本申请实施例一种需求属性自动导出和验证的方法中获得需求标签定义信息的流程示意图;
图3为本申请实施例一种需求属性自动导出和验证的方法中导出获得需求追踪表的流程示意图;
图4为本申请实施例一种需求属性自动导出和验证的装置的结构示意图;
图5为本申请实施例所提供的一种用于执行控制输出数据的方法的电子设备的结构示意图。
附图标记说明:第一获得单元11,第一导出单元12,第二获得单元13,第一建立单元14,第三获得单元15,总线1110,处理器1120,收发器1130,总线接口1140,存储器1150,操作装置1151,应用程序1152和用户接口1160。
具体实施方式
在本发明实施例的描述中,所属技术领域的技术人员应当知道,本发明实施例可以实现为方法、装置、电子设备及计算机可读存储介质。因此,本发明实施例可以具体实现为以下形式:完全的硬件、完全的软件(包括固件、驻留软件、微代码等)、硬件和软件结合的形式。此外,在一些实施例中,本发明实施例还可以实现为在一个或多个计算机可读存储介质中的计算机程序产品的形式,该计算机可读存储介质中包含计算机程序代码。
上述计算机可读存储介质可以采用一个或多个计算机可读存储介质的任意组合。计算机可读存储介质包括:电、磁、光、电磁、红外或半导体的装置、装置或器件,或者以上任意的组合。计算机可读存储介质更具体的例子包括:便携式计算机磁盘、硬盘、随机存取存储器、只读存储器、可擦除可编程只读存储器、闪存、光纤、光盘只读存储器、光存储器件、磁存储器件或以上任意组合。在本发明实施例中,计算机可读存储介质可以是任意包含或存储程序的有形介质,该程序可以被指令执行装置、装置、器件使用或与其结合使用。
申请概述
本发明实施例通过流程图和/或方框图描述所提供的方法、装置、电子设备。
应当理解,流程图和/或方框图的每个方框以及流程图和/或方框图中各方框的组合,都可以由计算机可读程序指令实现。这些计算机可读程序指令可以提供给通用计算机、专用计算机或其他可编程数据处理装置的处理器,从而生产出一种机器,这些计算机可读程序指令通过计算机或其他可编程数据处理装置执行,产生了实现流程图和/或方框图中的方框规定的功能/操作的装置。
也可以将这些计算机可读程序指令存储在能使得计算机或其他可编程数据处理装置以特定方式工作的计算机可读存储介质中。这样,存储在计算机可读存储介质中的指令就产生出一个包括实现流程图和/或方框图中的方框规定的功能/操作的指令装置产品。
也可以将计算机可读程序指令加载到计算机、其他可编程数据处理装置或其他设备上,使得在计算机、其他可编程数据处理装置或其他设备上执行一系列操作步骤,以产生计算机实现的过程,从而使得在计算机或其他可编程数据处理装置上执行的指令能够提供实现流程图和/或方框图中的方框规定的功能/操作的过程。
下面结合本发明实施例中的附图对本发明实施例进行描述。
实施例一
如图1所示,本申请实施例提供了一种需求属性自动导出和验证的方法,其中,所述方法包括:
步骤S100:根据上下级需求设计规格书对标签属性进行定义,获得需求标签定义信息;
如图2所示,进一步而言,其中,所述根据上下级需求设计规格书对标签属性进行定义,获得需求标签定义信息,本申请实施例步骤S100还包括:
步骤S110:获得上级需求设计规格书;
步骤S120:基于所述上级需求设计规格书,获得上级需求项编码规则;
步骤S130:根据所述上级需求项编码规则对所述上级需求设计规格书进行标签属性定义,获得上级需求标签定义信息;
步骤S140:获得下级需求设计规格书;
步骤S150:根据所述上级需求项编码规则,获得下级需求项编码规则;
步骤S160:根据所述下级需求项编码规则对所述下级需求设计规格书进行标签属性定义,获得下级需求标签定义信息,其中,所述需求标签定义信息包括所述上级需求标签定义信息、所述下级需求标签定义信息。
具体而言,验证作为软件质量保证的最重要活动之一,目的是在软件过程中发现错误,降低后续纠错的成本,通过需求跟踪关系,可以验证对本阶段文档是否满足输入文档的需求,维护“需求-设计-实现”之间的一致性,确保项目计划和所有的工作产品符合客户需求。所述上级需求设计规格书为上级软件设计需求规格,包括需求说明、数据描述、运行环境规定、限制等内容,便于用户、分析人员和软件设计人员进行理解和交流用户通过需求规格说明书在分析阶段即可初步判定目标软件能否满足其原来的期望,设计人员则将以此作为软件设计的基本出发点。基于所述上级需求设计规格书,获得上级需求项编码规则,所述上级需求项编码规则为上级需求编号规则。
根据所述上级需求项编码规则对所述上级需求设计规格书进行标签属性定义,获得上级需求标签定义信息,例如可标记为需求内容、属性1、属性2等。同理根据所述上级需求项编码规则,获得下级需求项编码规则,并根据所述下级需求项编码规则对所述下级需求设计规格书进行标签属性定义,获得下级需求标签定义信息,其中,所述需求标签定义信息包括所述上级需求标签定义信息、所述下级需求标签定义信息。举例而言,根据上级和下级需求设计规格书对标签属性进行定义:如上级需求项编号为(Up-req+数字),下级需求项编号为(Down-req+数字),数字取值为整数0到9999,其中需求追踪属性定义为(Source=需求项编号),取值为追踪的上级需求项编号;软件安全完整性属性定义为(SIL=数字),取值范围为整数0到4,为后续需求项标签分解提供基础,以保证需求验证的结果准确性。
步骤S200:根据所述需求标签定义信息进行需求项分解,导出获得需求追踪表;
具体而言,采用正则表达式进行语义分析,根据所述需求标签定义信息对上下级需求设计规格书的需求项进行分解,条目化后的上下级需求根据追踪关系,导出到所述需求追踪表,举例而言,所述需求追踪表如下表1所示,表1为需求追踪表(模板),包括上下级需求项、需求内容、属性1、属性2、设计说明、是否完整等内容。
表1
Figure DEST_PATH_IMAGE001
步骤S300:根据所述需求标签定义信息,获得上下级追踪原则;
步骤S400:基于所述上下级追踪原则,建立需求验证规则库;
具体而言,所述上下级追踪原则是依据所述需求标签定义信息定义不同属性的上下级的追踪原则,定义不同属性的上下级的追踪原则,建立需求验证规则库,即对需求规约的验证活动,用以检查需求规约中的错误,举例而言,需求验证规则如下表2所示,表2为需求验证规则(示例)。如表2示例,第一条规则完整性定义约定:对于上级需求中软件安全完整性SIL=4的情况,与该需求有追踪关系的所有下级需求,其软件安全完整性至少有一个为SIL=4。
表2
Figure DEST_PATH_IMAGE002
突破了传统按照需求逐条人工验证的方式,将相关需求标签以属性的方式分解,提出需求验证规则库的设计思想,不仅使需求验证更加快捷高效,同时很大程度上提高了验证的准确性。
步骤S500:根据所述需求验证规则库,采用脚本对所述需求追踪表中所有需求项进行遍历验证,获得需求项验证结果,并将所述需求项验证结果自动记录至所述需求追踪表。
具体而言,根据所述需求验证规则库的定义,由计算机对所述需求追踪表中每个需求项对应的上下级需求项的属性进行检查判断,即采用脚本对所述需求追踪表中每个上级需求项对应的下级需求项的属性进行检查判断,记录每个上级需求项的验证结果,并将所述需求项验证结果自动记录至所述需求追踪表。将相关需求标签以属性的方式分解,采用脚本化的方式自动检查追踪关系,不仅使需求验证更加快捷高效,同时很大程度上提高了验证的准确性,提升了需求验证的质量和效率,对于改进需求、设计文档以至于后续的开发工作都带来较大的便利与成本降低,保证验证的正确性,使复杂软件开发的需求更能有效控制。
如图3所示,进一步而言,其中,所述根据所述需求标签定义信息进行需求项分解,导出获得需求追踪表,本申请实施例步骤S200还包括:
步骤S210:根据所述上级需求标签定义信息,获得上级需求项编号定义;
步骤S220:根据所述上级需求项编号定义,获得下级需求项追踪定义;
步骤S230:根据所述上级需求项编号定义、所述下级需求项追踪定义通过正则表达式进行语义分析,获得上下级完整性表达式;
步骤S240:基于所述上级需求项编号定义在所述需求标签定义信息中进行遍历匹配,获得匹配追踪关系;
步骤S250:根据所述上下级完整性表达式、所述匹配追踪关系、所述上级需求项编号定义、所述下级需求项追踪定义,条目化导出获得所述需求追踪表。
进一步而言,其中,所述需求追踪表包括完整性需求追踪表、可追踪性需求追踪表,其中,所述完整性需求追踪表为以上级需求项编号开始排序,所述可追踪性需求追踪表为以下级需求项编号开始排序。
具体而言,条目化后的上下级需求根据上一步分解需求追踪属性的需求编号,与上级需求编号进行遍历匹配追踪关系,导出到所述需求追踪表。采用正则表达式进行语义分析,正则表达式是对字符串操作的一种逻辑公式,就是用事先定义好的一些特定字符、及这些特定字符的组合,组成一个“规则字符串”,这个“规则字符串”用来表达对字符串的一种过滤逻辑。根据所述上级需求标签定义信息,对上下级需求设计规格书的需求项进行分解,比如上级需求编号的表达式定义为Up-Req\d{1,4},根据所述上级需求项编号定义,获得下级需求项追踪定义,下级需求追踪属性的表达式定义为Source=(.+),根据所述上级需求项编号定义、所述下级需求项追踪定义通过正则表达式进行语义分析,获得上下级完整性表达式,即软件安全完整性的表达式定义为SIL=\d。条目化后的上下级需求根据分解需求追踪属性的需求编号,与上级需求编号进行遍历匹配追踪关系,根据所述上下级完整性表达式、所述匹配追踪关系、所述上级需求项编号定义、所述下级需求项追踪定义,条目化导出到所述需求追踪表。所述需求追踪表包括完整性需求追踪表、可追踪性需求追踪表,其中以上级需求编号开始排序为完整性需求追踪表,是软件开发完整生命周期的需求追踪文档,以下级需求编号开始排序为可追踪性需求追踪表,是指跟踪一个需求使用期限的全过程,需求跟踪包括编制每个需求同系统元素之间的联系文档。达到以需求追踪表为基础,采用正则表达式进行语义分析,将需求内的各类标签属性进行分解,以上级需求项为索引,将具有追踪关系的上下级需求属性综合判断,能更细致地对需求进行分解,提取出计算机易于识别的属性,提高了需求验证的效率和准确性的技术效果。
进一步而言,其中,所述根据所述需求验证规则库,采用脚本对所述需求追踪表中所有需求项进行遍历验证,获得需求项验证结果,本申请实施例步骤S500还包括:
步骤S510:根据所述需求验证规则库,采用脚本对所述需求追踪表中所有需求项进行完整性验证,获得完整性验证结果;
步骤S520:根据所述需求验证规则库,采用脚本对所述需求追踪表中所有需求项进行可追踪性验证,获得可追踪性验证结果;
步骤S530:根据所述完整性验证结果、所述可追踪性验证结果,获得所述需求项验证结果。
进一步而言,其中,所述采用脚本对所述需求追踪表中所有需求项进行遍历验证包括:完整性验证、可追踪性验证。
具体而言,根据所述需求验证规则库,采用脚本对所述需求追踪表中所有需求项进行遍历验证,包括完整性验证和可追踪性验证,完整性验证是根据完整性约束条件检查数据库是否处于一致状态,可追踪性验证是在软件开发过程的两个或多个产品之间,以及两个或多个步骤之间(特别是具有先后、主次或其他逻辑关系的产品和步骤之间)可以相互对照和查阅的程度。根据需求验证规则库的完整性定义,采用脚本对完整性需求追踪表中每个上级需求项对应的下级需求项的属性进行检查判断;类似地,根据需求验证规则库的可追踪性定义,采用脚本对可追踪性需求追踪表中每个下级需求项对应的上级需求项的属性进行检查判断,记录每个下级需求项的验证结果。根据需求验证规则库的定义,采用计算机脚本对需求追踪表验证自动记录结果,通过该验证方法能够更方便实现计算机自动检查,保证验证的正确性,使复杂软件开发的需求更能有效控制。
进一步而言,其中,所述根据所述需求验证规则库,采用脚本对所述需求追踪表中所有需求项进行完整性验证,获得完整性验证结果,本申请实施例步骤S510还包括:
步骤S511:获得需求验证规则库的完整性定义;
步骤S512:根据所述完整性需求追踪表,获得上级需求项集合;
步骤S513:根据所述上级需求项集合、所述完整性需求追踪表,获得下级需求项,所述下级需求项与所述上级需求项集合中的上级需求项为从属关系;
步骤S514:基于所述需求验证规则库的完整性定义,采用脚本对所述上级需求项集合中每个上级需求项对应的所述下级需求项进行属性验证,获得所述完整性验证结果,其中,所述完整性验证结果包括所述上级需求项集合中每个上级需求项的验证结果。
具体而言,所述需求验证规则库的完整性定义是指规则数据库中数据在逻辑上的一致性、正确性、有效性和相容性,由各种各样的完整性约束来保证,是数据库中的数据必须满足的语义约束条件,包括关系模型的实体完整性、参照完整性和用户定义完整性。根据所述完整性需求追踪表,获得上级需求项集合,根据所述上级需求项集合、所述完整性需求追踪表,获得下级需求项,所述下级需求项与所述上级需求项集合中的上级需求项为从属关系,基于所述需求验证规则库的完整性定义,采用脚本对所述上级需求项集合中每个上级需求项对应的所述下级需求项进行属性验证,获得所述完整性验证结果,其中,所述完整性验证结果包括所述上级需求项集合中每个上级需求项的验证结果。举例而言,上级需求项第一条Up-req1的属性SIL=4,匹配追踪性关联的两条下级需求Downreq1和Downreq2的SIL取值只要有一个为4,可认为SIL属性验证通过,由脚本自动记录每个上级需求项的验证结果。根据需求验证规则库的完整性定义,采用计算机脚本对需求追踪表验证自动记录结果,实现计算机自动检查,保证验证的正确性,使复杂软件开发的需求更能有效控制,进而提高需求验证的质量和效率。
进一步而言,本申请实施例步骤S520还包括:
步骤S521:获得需求验证规则库的可追踪性定义;
步骤S522:根据所述可追踪性需求追踪表,获得下级需求项集合;
步骤S523:根据所述下级需求项集合、所述可追踪性需求追踪表,获得上级需求项;
步骤S524:基于所述需求验证规则库的可追踪性定义,采用脚本对所述下级需求项集合中每个下级需求项对应的所述上级需求项进行属性验证,获得所述可追踪性验证结果,其中,所述可追踪性验证结果包括所述下级需求项集合中每个下级需求项的验证结果。
具体而言,所述需求验证规则库的可追踪性定义是指对某一特定需求在系统开发的整个过程中形成以及演变的跟踪能力,即可前向跟踪,也可以后向跟踪,可追踪性的目标是获取系统开发过程和各阶段产品之间的关系,从而提高系统生命周期中各项活动的效率。根据所述完整性需求追踪表,获得下级需求项集合,根据所述下级需求项集合、所述可追踪性需求追踪表,获得上级需求项,所述下级需求项与所述上级需求项集合中的上级需求项为从属关系,基于所述需求验证规则库的可追踪性定义,采用脚本对所述下级需求项集合中每个下级需求项对应的所述上级需求项进行属性验证,获得所述可追踪性验证结果,其中,所述可追踪性验证结果包括所述下级需求项集合中每个下级需求项的验证结果。举例而言,下级需求项Downreq1和Downreq2的SIL取值为0和4,匹配追踪性关联的上级需求Up-req1的属性SIL=0,可认为SIL属性验证通过,由脚本自动记录每个下级需求项的验证结果。根据需求验证规则库的可追踪性定义,采用计算机脚本对需求追踪表验证自动记录结果,实现计算机自动检查,保证验证的正确性,使复杂软件开发的需求更能有效控制,进而提高需求验证的质量和效率。
综上所述,本申请实施例所提供的一种需求属性自动导出和验证的方法和装置具有如下技术效果:
由于采用了根据上下级需求设计规格书对标签属性进行定义,获得需求标签定义信息;根据所述需求标签定义信息进行需求项分解,导出获得需求追踪表;根据所述需求标签定义信息,获得上下级追踪原则;基于所述上下级追踪原则,建立需求验证规则库;根据所述需求验证规则库,采用脚本对所述需求追踪表中所有需求项进行遍历验证,获得需求项验证结果,并将所述需求项验证结果自动记录至所述需求追踪表。进而达到将相关需求标签以属性的方式分解,提出需求验证规则库的设计思想,采用脚本化的方式自动检查追踪关系,不仅使需求验证更加快捷高效,同时很大程度上提高了验证的准确性,提升了需求验证的质量和效率,对于改进需求、设计文档以至于后续的开发工作都带来较大的便利与成本降低,保证验证的正确性,使复杂软件开发的需求更能有效控制的技术效果。
实施例二
基于与前述实施例中一种需求属性自动导出和验证的方法同样发明构思,本发明还提供了一种需求属性自动导出和验证的装置,如图4所示,所述装置包括:
第一获得单元11,所述第一获得单元11用于根据上下级需求设计规格书对标签属性进行定义,获得需求标签定义信息;
第一导出单元12,所述第一导出单元12用于根据所述需求标签定义信息进行需求项分解,导出获得需求追踪表;
第二获得单元13,所述第二获得单元13用于根据所述需求标签定义信息,获得上下级追踪原则;
第一建立单元14,所述第一建立单元14用于基于所述上下级追踪原则,建立需求验证规则库;
第三获得单元15,所述第三获得单元15用于根据所述需求验证规则库,采用脚本对所述需求追踪表中所有需求项进行遍历验证,获得需求项验证结果,并将所述需求项验证结果自动记录至所述需求追踪表。
进一步的,所述装置还包括:
第四获得单元,所述第四获得单元用于获得上级需求设计规格书;
第五获得单元,所述第五获得单元用于基于所述上级需求设计规格书,获得上级需求项编码规则;
第六获得单元,所述第六获得单元用于根据所述上级需求项编码规则对所述上级需求设计规格书进行标签属性定义,获得上级需求标签定义信息;
第七获得单元,所述第七获得单元用于获得下级需求设计规格书;
第八获得单元,所述第八获得单元用于根据所述上级需求项编码规则,获得下级需求项编码规则;
第九获得单元,所述第九获得单元用于根据所述下级需求项编码规则对所述下级需求设计规格书进行标签属性定义,获得下级需求标签定义信息,其中,所述需求标签定义信息包括所述上级需求标签定义信息、所述下级需求标签定义信息。
进一步的,所述装置还包括:
第十获得单元,所述第十获得单元用于根据所述上级需求标签定义信息,获得上级需求项编号定义;
第十一获得单元,所述第十一获得单元用于根据所述上级需求项编号定义,获得下级需求项追踪定义;
第十二获得单元,所述第十二获得单元用于根据所述上级需求项编号定义、所述下级需求项追踪定义通过正则表达式进行语义分析,获得上下级完整性表达式;
第十三获得单元,所述第十三获得单元用于基于所述上级需求项编号定义在所述需求标签定义信息中进行遍历匹配,获得匹配追踪关系;
第十四获得单元,所述第十四获得单元用于根据所述上下级完整性表达式、所述匹配追踪关系、所述上级需求项编号定义、所述下级需求项追踪定义,条目化导出获得所述需求追踪表。
进一步的,所述装置还包括:
第十五获得单元,所述第十五获得单元用于根据所述需求验证规则库,采用脚本对所述需求追踪表中所有需求项进行完整性验证,获得完整性验证结果;
第十六获得单元,所述第十六获得单元用于根据所述需求验证规则库,采用脚本对所述需求追踪表中所有需求项进行可追踪性验证,获得可追踪性验证结果;
第十七获得单元,所述第十七获得单元用于根据所述完整性验证结果、所述可追踪性验证结果,获得所述需求项验证结果。
进一步的,所述装置还包括:
第十八获得单元,所述第十八获得单元用于获得需求验证规则库的完整性定义;
第十九获得单元,所述第十九获得单元用于根据所述完整性需求追踪表,获得上级需求项集合;
第二十获得单元,所述第二十获得单元用于根据所述上级需求项集合、所述完整性需求追踪表,获得下级需求项,所述下级需求项与所述上级需求项集合中的上级需求项为从属关系;
第二十一获得单元,所述第二十一获得单元用于基于所述需求验证规则库的完整性定义,采用脚本对所述上级需求项集合中每个上级需求项对应的所述下级需求项进行属性验证,获得所述完整性验证结果,其中,所述完整性验证结果包括所述上级需求项集合中每个上级需求项的验证结果。
进一步的,所述装置还包括:
第二十二获得单元,所述第二十二获得单元用于获得需求验证规则库的可追踪性定义;
第二十三获得单元,所述第二十三获得单元用于根据所述可追踪性需求追踪表,获得下级需求项集合;
第二十四获得单元,所述第二十四获得单元用于根据所述下级需求项集合、所述可追踪性需求追踪表,获得上级需求项;
第二十五获得单元,所述第二十五获得单元用于基于所述需求验证规则库的可追踪性定义,采用脚本对所述下级需求项集合中每个下级需求项对应的所述上级需求项进行属性验证,获得所述可追踪性验证结果,其中,所述可追踪性验证结果包括所述下级需求项集合中每个下级需求项的验证结果。
前述图1实施例一中的一种需求属性自动导出和验证的方法的各种变化方式和具体实例同样适用于本实施例的一种需求属性自动导出和验证的装置,通过前述对一种需求属性自动导出和验证的方法的详细描述,本领域技术人员可以清楚的知道本实施例中一种需求属性自动导出和验证的装置的实施方法,所以为了说明书的简洁,在此不再详述。
此外,本发明实施例还提供了一种电子设备,包括总线、收发器、存储器、处理器及存储在存储器上并可在处理器上运行的计算机程序,该收发器、该存储器和处理器分别通过总线相连,计算机程序被处理器执行时实现上述控制输出数据的方法实施例的各个过程,且能达到相同的技术效果,为避免重复,这里不再赘述。
示例性电子设备
具体的,参见图5所示,本发明实施例还提供了一种电子设备,该电子设备包括总线1110、处理器1120、收发器1130、总线接口1140、存储器1150和用户接口1160。
在本发明实施例中,该电子设备还包括:存储在存储器1150上并可在处理器1120上运行的计算机程序,计算机程序被处理器1120执行时实现上述控制输出数据的方法实施例的各个过程。
收发器1130,用于在处理器1120的控制下接收和发送数据。
本发明实施例中,总线架构(用总线1110来代表),总线1110可以包括任意数量互联的总线和桥,总线1110将包括由处理器1120代表的一个或多个处理器与存储器1150代表的存储器的各种电路连接在一起。
总线1110表示若干类型的总线结构中的任何一种总线结构中的一个或多个,包括存储器总线和存储器控制器、外围总线、加速图形端口、处理器或使用各种总线体系结构中的任意总线结构的局域总线。作为示例而非限制,这样的体系结构包括:工业标准体系结构总线、微通道体系结构总线、扩展总线、视频电子标准协会、外围部件互连总线。
处理器1120可以是一种集成电路芯片,具有信号处理能力。在实现过程中,上述方法实施例的各步骤可以通过处理器中硬件的集成逻辑电路或软件形式的指令完成。上述的处理器包括:通用处理器、中央处理器、网络处理器、数字信号处理器、专用集成电路、现场可编程门阵列、复杂可编程逻辑器件、可编程逻辑阵列、微控制单元或其他可编程逻辑器件、分立门、晶体管逻辑器件、分立硬件组件。可以实现或执行本发明实施例中公开的各方法、步骤和逻辑框图。例如,处理器可以是单核处理器或多核处理器,处理器可以集成于单颗芯片或位于多颗不同的芯片。
处理器1120可以是微处理器或任何常规的处理器。结合本发明实施例所公开的方法步骤可以直接由硬件译码处理器执行完成,或者由译码处理器中的硬件和软件模块组合执行完成。软件模块可以位于随机存取存储器、闪存、只读存储器、可编程只读存储器、可擦除可编程只读存储器、寄存器等本领域公知的可读存储介质中。所述可读存储介质位于存储器中,处理器读取存储器中的信息,结合其硬件完成上述方法的步骤。
总线1110还可以将,例如外围设备、稳压器或功率管理电路等各种其他电路连接在一起,总线接口1140在总线1110和收发器1130之间提供接口,这些都是本领域所公知的。因此,本发明实施例不再对其进行进一步描述。
收发器1130可以是一个元件,也可以是多个元件,例如多个接收器和发送器,提供用于在传输介质上与各种其他装置通信的单元。例如:收发器1130从其他设备接收外部数据,收发器1130用于将处理器1120处理后的数据发送给其他设备。取决于计算机装置的性质,还可以提供用户接口1160,例如:触摸屏、物理键盘、显示器、鼠标、扬声器、麦克风、轨迹球、操纵杆、触控笔。
应理解,在本发明实施例中,存储器1150可进一步包括相对于处理器1120远程设置的存储器,这些远程设置的存储器可以通过网络连接至服务器。上述网络的一个或多个部分可以是自组织网络、内联网、外联网、虚拟专用网、局域网、无线局域网、广域网、无线广域网、城域网、互联网、公共交换电话网、普通老式电话业务网、蜂窝电话网、无线网络、无线保真网络以和两个或更多个上述网络的组合。例如,蜂窝电话网和无线网络可以是全球移动通信装置、码分多址装置、全球微波互联接入装置、通用分组无线业务装置、宽带码分多址装置、长期演进装置、LTE频分双工装置、LTE时分双工装置、先进长期演进装置、通用移动通信装置、增强移动宽带装置、海量机器类通信装置、超可靠低时延通信装置等。
应理解,本发明实施例中的存储器1150可以是易失性存储器或非易失性存储器,或可包括易失性存储器和非易失性存储器两者。其中,非易失性存储器包括:只读存储器、可编程只读存储器、可擦除可编程只读存储器、电可擦除可编程只读存储器,或闪存。
易失性存储器包括:随机存取存储器,其用作外部高速缓存。通过示例性但不是限制性说明,许多形式的RAM可用,例如:静态随机存取存储器、动态随机存取存储器、同步动态随机存取存储器、双倍数据速率同步动态随机存取存储器、增强型同步动态随机存取存储器、同步连接动态随机存取存储器和直接内存总线随机存取存储器。本发明实施例描述的电子设备的存储器1150包括但不限于上述和任意其他适合类型的存储器。
在本发明实施例中,存储器1150存储了操作装置1151和应用程序1152的如下元素:可执行模块、数据结构,或者其子集,或者其扩展集。
具体而言,操作装置1151包含各种装置程序,例如:框架层、核心库层、驱动层等,用于实现各种基础业务和处理基于硬件的任务。应用程序1152包含各种应用程序,例如:媒体播放器、浏览器,用于实现各种应用业务。实现本发明实施例方法的程序可以包含在应用程序1152中。应用程序1152包括:小程序、对象、组件、逻辑、数据结构和其他执行特定任务或实现特定抽象数据类型的计算机装置可执行指令。
此外,本发明实施例还提供了一种计算机可读存储介质,其上存储有计算机程序,所述计算机程序被处理器执行时实现上述控制输出数据的方法实施例的各个过程,且能达到相同的技术效果,为避免重复,这里不再赘述。
以上所述,仅为本发明实施例的具体实施方式,但本发明实施例的保护范围并不局限于此,任何熟悉本技术领域的技术人员在本发明实施例披露的技术范围内,可轻易想到变化或替换,都应涵盖在本发明实施例的保护范围之内。因此,本发明实施例的保护范围应以权利要求的保护范围为准。

Claims (9)

1.一种需求属性自动导出和验证方法,其中,所述方法包括:
根据上下级需求设计规格书对标签属性进行定义,获得需求标签定义信息;
根据所述需求标签定义信息进行需求项分解,导出获得需求追踪表;
根据所述需求标签定义信息,获得上下级追踪原则;
基于所述上下级追踪原则,建立需求验证规则库;
根据所述需求验证规则库,采用脚本对所述需求追踪表中所有需求项进行遍历验证,获得需求项验证结果,并将所述需求项验证结果自动记录至所述需求追踪表;
所述根据上下级需求设计规格书对标签属性进行定义,获得需求标签定义信息,包括:
获得上级需求设计规格书;
基于所述上级需求设计规格书,获得上级需求项编码规则;
根据所述上级需求项编码规则对所述上级需求设计规格书进行标签属性定义,获得上级需求标签定义信息;
获得下级需求设计规格书;
根据所述上级需求项编码规则,获得下级需求项编码规则;
根据所述下级需求项编码规则对所述下级需求设计规格书进行标签属性定义,获得下级需求标签定义信息,其中,所述需求标签定义信息包括所述上级需求标签定义信息、所述下级需求标签定义信息。
2.如权利要求1所述的方法,其中,所述根据所述需求标签定义信息进行需求项分解,导出获得需求追踪表,包括:
根据所述上级需求标签定义信息,获得上级需求项编号定义;
根据所述上级需求项编号定义,获得下级需求项追踪定义;
根据所述上级需求项编号定义、所述下级需求项追踪定义通过正则表达式进行语义分析,获得上下级完整性表达式;
基于所述上级需求项编号定义在所述需求标签定义信息中进行遍历匹配,获得匹配追踪关系;
根据所述上下级完整性表达式、所述匹配追踪关系、所述上级需求项编号定义、所述下级需求项追踪定义,条目化导出获得所述需求追踪表。
3.如权利要求2所述的方法,其中,所述需求追踪表包括完整性需求追踪表、可追踪性需求追踪表,其中,所述完整性需求追踪表为以上级需求项编号开始排序,所述可追踪性需求追踪表为以下级需求项编号开始排序。
4.如权利要求3所述的方法,其中,所述采用脚本对所述需求追踪表中所有需求项进行遍历验证包括:完整性验证、可追踪性验证。
5.如权利要求4所述的方法,其中,所述根据所述需求验证规则库,采用脚本对所述需求追踪表中所有需求项进行遍历验证,获得需求项验证结果,包括:
根据所述需求验证规则库,采用脚本对所述需求追踪表中所有需求项进行完整性验证,获得完整性验证结果;
根据所述需求验证规则库,采用脚本对所述需求追踪表中所有需求项进行可追踪性验证,获得可追踪性验证结果;
根据所述完整性验证结果、所述可追踪性验证结果,获得所述需求项验证结果。
6.如权利要求5所述的方法,所述根据所述需求验证规则库,采用脚本对所述需求追踪表中所有需求项进行完整性验证,获得完整性验证结果,包括:
获得需求验证规则库的完整性定义;
根据所述完整性需求追踪表,获得上级需求项集合;
根据所述上级需求项集合、所述完整性需求追踪表,获得下级需求项,所述下级需求项与所述上级需求项集合中的上级需求项为从属关系;
基于所述需求验证规则库的完整性定义,采用脚本对所述上级需求项集合中每个上级需求项对应的所述下级需求项进行属性验证,获得所述完整性验证结果,其中,所述完整性验证结果包括所述上级需求项集合中每个上级需求项的验证结果。
7.如权利要求5所述的方法,其中,所述根据所述需求验证规则库,采用脚本对所述需求追踪表中所有需求项进行可追踪性验证,获得可追踪性验证结果,包括:
获得需求验证规则库的可追踪性定义;
根据所述可追踪性需求追踪表,获得下级需求项集合;
根据所述下级需求项集合、所述可追踪性需求追踪表,获得上级需求项;
基于所述需求验证规则库的可追踪性定义,采用脚本对所述下级需求项集合中每个下级需求项对应的所述上级需求项进行属性验证,获得所述可追踪性验证结果,其中,所述可追踪性验证结果包括所述下级需求项集合中每个下级需求项的验证结果。
8.一种需求属性自动导出和验证的装置,其中,所述装置包括:
第一获得单元,所述第一获得单元用于根据上下级需求设计规格书对标签属性进行定义,获得需求标签定义信息;
第一导出单元,所述第一导出单元用于根据所述需求标签定义信息进行需求项分解,导出获得需求追踪表;
第二获得单元,所述第二获得单元用于根据所述需求标签定义信息,获得上下级追踪原则;
第一建立单元,所述第一建立单元用于基于所述上下级追踪原则,建立需求验证规则库;
第三获得单元,所述第三获得单元用于根据所述需求验证规则库,采用脚本对所述需求追踪表中所有需求项进行遍历验证,获得需求项验证结果,并将所述需求项验证结果自动记录至所述需求追踪表;
所述装置还包括:
第四获得单元,用于获得上级需求设计规格书;
第五获得单元,用于基于所述上级需求设计规格书,获得上级需求项编码规则;
第六获得单元,用于根据所述上级需求项编码规则对所述上级需求设计规格书进行标签属性定义,获得上级需求标签定义信息;
第七获得单元,用于获得下级需求设计规格书;
第八获得单元,用于根据所述上级需求项编码规则,获得下级需求项编码规则;
第九获得单元,用于根据所述下级需求项编码规则对所述下级需求设计规格书进行标签属性定义,获得下级需求标签定义信息,其中,所述需求标签定义信息包括所述上级需求标签定义信息、所述下级需求标签定义信息。
9.一种计算机可读存储介质,其上存储有计算机程序,其中,所述计算机程序被处理器执行时实现如权利要求1-6中任一项所述方法中的步骤。
CN202111487480.5A 2021-12-08 2021-12-08 一种需求属性自动导出和验证的方法和装置 Active CN113886278B (zh)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN202111487480.5A CN113886278B (zh) 2021-12-08 2021-12-08 一种需求属性自动导出和验证的方法和装置

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN202111487480.5A CN113886278B (zh) 2021-12-08 2021-12-08 一种需求属性自动导出和验证的方法和装置

Publications (2)

Publication Number Publication Date
CN113886278A CN113886278A (zh) 2022-01-04
CN113886278B true CN113886278B (zh) 2022-03-15

Family

ID=79015876

Family Applications (1)

Application Number Title Priority Date Filing Date
CN202111487480.5A Active CN113886278B (zh) 2021-12-08 2021-12-08 一种需求属性自动导出和验证的方法和装置

Country Status (1)

Country Link
CN (1) CN113886278B (zh)

Citations (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN106648706A (zh) * 2017-01-10 2017-05-10 上海爱韦讯信息技术股份有限公司 基于fog数据的研发完整性辅助审查系统及方法

Family Cites Families (9)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20050060317A1 (en) * 2003-09-12 2005-03-17 Lott Christopher Martin Method and system for the specification of interface definitions and business rules and automatic generation of message validation and transformation software
US7603653B2 (en) * 2004-03-15 2009-10-13 Ramco Systems Limited System for measuring, controlling, and validating software development projects
US8949770B2 (en) * 2007-04-03 2015-02-03 Ldra Technology, Inc. Automated management of software requirements verification
CN104965956B (zh) * 2015-07-16 2017-11-21 北京航空航天大学 一种基于rucm的需求验证方法
CN105159829A (zh) * 2015-08-27 2015-12-16 浪潮电子信息产业股份有限公司 一种基于自动化测试的需求跟踪系统
US10885087B2 (en) * 2018-11-13 2021-01-05 International Business Machines Corporation Cognitive automation tool
CN110134596A (zh) * 2019-04-24 2019-08-16 中科恒运股份有限公司 测试文档的生成方法及终端设备
CN112667523B (zh) * 2021-03-17 2021-07-13 卡斯柯信号(北京)有限公司 一种测试用例自动填充方法及装置
CN113721889B (zh) * 2021-08-16 2024-03-01 北京航空航天大学 需求追踪关系构建方法、装置及计算机可读存储介质

Patent Citations (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN106648706A (zh) * 2017-01-10 2017-05-10 上海爱韦讯信息技术股份有限公司 基于fog数据的研发完整性辅助审查系统及方法

Also Published As

Publication number Publication date
CN113886278A (zh) 2022-01-04

Similar Documents

Publication Publication Date Title
CN109344154B (zh) 数据处理方法、装置、电子设备及存储介质
CN104391934A (zh) 数据校验方法和装置
US9336207B2 (en) Measuring linguistic markers and linguistic noise of a machine-human translation supply chain
CN111125064B (zh) 一种生成数据库模式定义语句的方法和装置
US8707231B2 (en) Method and system for derived layer checking for semiconductor device design
CN114138244A (zh) 模型类文件自动生成方法、装置、存储介质及电子设备
CN114493255A (zh) 基于知识图谱的企业异常监控方法及其相关设备
JP2017174418A (ja) モデルチェックのためのデータ構造抽象化
CN116523284A (zh) 基于机器学习的业务操作流程自动化评估方法、系统
US20140380258A1 (en) Method and apparatus for performing integrated circuit layout verification
CN113434542A (zh) 数据关系识别方法、装置、电子设备及存储介质
US11030362B2 (en) Modeling and cooperative simulation of systems with interdependent discrete and continuous elements
US11429768B2 (en) Register transfer level (RTL) image recognition
CN111784246B (zh) 物流路径的估测方法
CN113886278B (zh) 一种需求属性自动导出和验证的方法和装置
US20150040088A1 (en) Hybrid design rule for double patterning
CN113110843A (zh) 合约生成模型训练方法、合约生成方法及电子设备
Lakshmanan et al. Detecting changes in a semi-structured business process through spectral graph analysis
Zhang et al. Flowchart‐Based Cross‐Language Source Code Similarity Detection
CN112464636B (zh) 约束文件的比较方法、装置、电子设备和存储介质
CN113900956A (zh) 测试用例的生成方法、装置、计算机设备及存储介质
US20200013061A1 (en) System and method for measuring user behavior consistency based on complex correspondence system
CN111080209A (zh) 一种bom的验证方法、系统、设备以及存储介质
Akaikine The impact of software design structure on product maintenance costs and measurement of economic benefits of product redesign
CN116661758B (zh) 一种优化日志框架配置的方法、装置、电子设备及介质

Legal Events

Date Code Title Description
PB01 Publication
PB01 Publication
SE01 Entry into force of request for substantive examination
SE01 Entry into force of request for substantive examination
GR01 Patent grant
GR01 Patent grant