CN105975269B - 一种基于流程模型的需求验证方法 - Google Patents
一种基于流程模型的需求验证方法 Download PDFInfo
- Publication number
- CN105975269B CN105975269B CN201610286303.3A CN201610286303A CN105975269B CN 105975269 B CN105975269 B CN 105975269B CN 201610286303 A CN201610286303 A CN 201610286303A CN 105975269 B CN105975269 B CN 105975269B
- Authority
- CN
- China
- Prior art keywords
- model
- rule
- demand
- procedural
- rucm
- 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
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/10—Requirements analysis; Specification techniques
Abstract
本发明涉及一种基于流程模型的软件需求验证方法,所述方法包括以下步骤:步骤S1、根据规则对象的类别将规则加载进规则库中;步骤S2、根据需求生成流程模型;步骤S3、找出流程模型中的模型元素;步骤S4、依据规则约束对模型元素进行判定。所述方法具有以下技术效果:省略了基于自然语言验证活动中的定义模型,预处理需求文档,解析出模型的活动,使得验证活动更简单;使得自动化验证方法对于输入需求的形式化程度没有过分的要求,节约了建模的成本;在保证自然语言描述需求的部分灵活性的前提下,实现自动化验证,减少人力,节约成本。
Description
技术领域
本发明涉及计算机技术领域,尤其涉及一种基于流程模型的需求验证方法。
背景技术
需求描述了软件系统的行为、特性或属性,是用户和开发人员之间的桥梁,准确、完整的需求是指导系统后续建模、分析、开发和测试的根本依据,在需求工程中,需求验证是确保需求质量的重要的活动。
目前需求验证活动分为人工审查和自动化验证。
人工审查通过人工检查,结合问题清单的方式来检查需求。能够很好的检查出需求中的问题,对于需求的形式化程度要求不高,并且能够很好的针对特定系统的需求进行验证,但是成本较高,需要投入大量的人力、时间。
自动化验证通过和需求描述方法相对应的自动验证工具来进行需求的验证,能够有效的降低人力和资金成本。其基础为形式化验证,常见的形式化验证方法包括推理验证和模型验证。推理验证是构建一个形式化的公理系统,使用严格的推导来验证软件的正确性;模型检测是以有限自动机为形式化模型,通过穷尽系统状态空间进行相关性质的验证。模型验证与推理验证现在相对比较成熟,已经有了很多相关的工具,但是他们都要求系统需求被很好的形式化定义,对于输入的需求有严格的要求。
人工审查需要投入大量的人力,形式化验证对于二义性等问题解决效果很好,但是严格的形式化定义要求用户经过良好的培训,花费较多的时间才能进行需求的开发。
目前,针对自然语言描述的需求验证,有研究提出了一种验证过程,主要包括以下内容:
1.为需求文档定义一个样式、一个结构和一种语言。
2.选择要检查的属性。
3.定义一种或多种模型,使得上面关注的属性能够被检查。
4.预处理需求文档:将需求文档转换成一个有规则的形式。
5.解析需求的自然语言描述文字,使得需求成为一个能够被分析的形式。
6.用解析出的信息构造前面定义的模型。
7.检查模型是否满足选择的要验证的属性。
8.评估结果,对应的修改需求。这个验证检查需要提供足够详细的信息来帮助需求工程人员识别和修改发现的问题。
从上述描述中可以看出,验证过程活动较多,需要定义需求的格式样式,处理需求文档,生成模型,之后才能对生成的模型进行属性的检查,从而进行验证,复杂的过程也会使得需要投入大量的成本。
在当前众多的需求建模方法中,RUCM是一种用例建模方法,它提出了一个用例规约模板来描述用例场景,并且附加了一些限制规则,使得在能够保留部分自然语言的灵活性的条件下,有部分的限制来降低自然语言的二义性。RUCM方法已经通过实验证明了其容易使用,描述的需求容易理解的优点。并且由于RUCM定义的元模型很好的捕获了RUCM需求中的概念,使得元模型能够很好的被用于生成分析模型,生成测试用例。
基于规则的需求验证方法主要结合了RUCM方法的特点研究其验证目标,形式化。该方法的验证流程是:在验证执行前根据规则对象的类别将规则加载进相应的规则容器中,在验证执行时,基于模型遍历算法找到每一个模型元素,依据模型元素的类别选择相应类别的规则,依据规则的约束对模型元素进行判定。
基于规则的需求验证方法,由于是在RUCM方法描述的基础上提出验证规则从而达到需求的验证,导致其提出的规则局限于RUCM方法的描述方式,这也就制约了其验证能力。即使提出新的规则,这些规则也还是针对RUCM最基本的表达方式提出的,仍然具有一定的局限性,例如:
1.未能定义面向用例规约的流程模型元模型;
2.未能将RUCM需求模型转换为流程模型。
3.未能针对嵌入式软件需求描述对应的流程模型提出自然语言描述的规则;
4.未能解决验证规则的形式化表达问题;
5.未能解决基于流程模型的RUCM方法中需求的自动化验证。
发明内容
鉴于上述的分析,本发明旨在提供一种基于流程模型的软件需求验证方法,用以解决现有技术中缺少需求自动验证的问题。
本发明的目的主要是通过以下技术方案实现的:
一种基于流程模型的软件需求验证方法,其特征在于,具体包括以下步骤:
步骤S1、根据规则对象的类别将规则加载进规则库中;
步骤S2、根据需求生成流程模型;
步骤S3、找出流程模型中的模型元素;
步骤S4、依据规则约束对模型元素进行判定。
所述步骤S2进一步包括以下子步骤:
子步骤S21、从数据模型和控制模型的基本元素角度确定流程模型的组成元素;
子步骤S22、依照RUCM需求模型的组成元素,进一步分析和细分流程模型的组成元素,完善原模型;
子步骤S23、根据模型转换算法,建立流程模型和RUCM需求模型之间的映射,将RUCM需求模型转换为流程模型。
所述步骤S3进一步包括:
对步骤S2生成的流程模型进行遍历,找到模型元素。
所述步骤S3进一步包括以下子步骤:
1)取出流程模型的路径集合属性,如果为空,遍历结束;
2)取出路径集合中的一个成员,也就是一条路径,并从路径集合中除掉;
3)取出路径的节点集合属性;
4)取出节点结合中的第一个元素,也就是路径的起点;
5)取出节点的下一个元素直到该节点是路径的终点;
6)当路径集合为空,遍历完成。
所述步骤S4进一步包括:
规则加载模块依据步骤3找到得的模型元素的类别从规则库中选择相应类别的规则进行加载,依据规则的约束对模型元素进行判定。
在执行步骤S1之前,还包括以下步骤:
预处理需求文档得到以RUCM方法描述的需求和解析构造模型,即RUCM需求模型。
本发明有益效果如下:
省略了基于自然语言验证活动中的定义模型,预处理需求文档,解析出模型的活动,使得验证活动更简单;
使得自动化验证方法对于输入需求的形式化程度没有过分的要求,节约了建模的成本;
在保证自然语言描述需求的部分灵活性的前提下,实现自动化验证,减少人力,节约成本;
能够减少需求中在功能性需求中的部分二义性、不一致性、不完整性等方面的问题以及在实时性和安全性需求描述中的部分问题,使得需求能够更好的被不同的相关人员理解;
更能发现一些全局性的需求描述错误;
能够满足用户针对特定项目的部分验证需求,并且能够随着RUCM方法或更多的验证需求进行扩展。
本发明的其他特征和优点将在随后的说明书中阐述,并且,部分的从说明书中变得显而易见,或者通过实施本发明而了解。本发明的目的和其他优点可通过在所写的说明书、权利要求书、以及附图中所特别指出的结构来实现和获得。
附图说明
附图仅用于示出具体实施例的目的,而并不认为是对本发明的限制,在整个附图中,相同的参考符号表示相同的部件。
图1为本发明具体实施例的方法流程图。
具体实施方式
下面结合附图来具体描述本发明的优选实施例,其中,附图构成本申请一部分,并与本发明的实施例一起用于阐释本发明的原理。
本实施例公开了一种基于流程模型的软件需求验证方法,通过调用验证引擎进行模型遍历、规则加载和执行,达到自动验证的目的。
步骤S1、根据规则对象的类别将规则加载进相应的规则容器中;
其中,所述规则以OCL语言形式存储在规则库中,具体如下:
从嵌入式软件的需求模型对应的流程模型的角度提出规则,而基于规则的需求验证方法中,验证引擎的核心与规则二者是独立的,所以可以设计新的规则,然后利用引擎执行验证。
实时性和安全性是嵌入式软件中比较核心的两个方面,所以在嵌入式软件的需求验证中是两个重要的验证问题,所述规则需要从嵌入式软件的功能性、安全性和实时性三个角度进行限定:
功能性需求定义了系统的功能或者系统的组成部分,这里所关注的功能性问题是需求功能性描述是否规范。
安全性需求侧重的是保障系统的安全性,这里所关注的安全性问题是数据使用的安全性。
实时性需求侧重的是满足系统对于时间约束的满足,这里所关注的实时性问题是时长和时间点的约束。
对于规则的形式化表达,采用OCL语言来表达。例如对于规则“流程模型中任意一条路径应该至少包括两个节点”可以用OCL结合流程模型的元模型表达如下:
Context:路径
Inv:路径.allInstances()->forAll(s1|s1.节点集合.size>=2)
其中路径是流程模型中的路径元素,路径的节点集合属性是一个该路径包含的所有节点的有序集合。
步骤S2、根据需求生成流程模型
基于规则的需求验证法只能从RUCM需求模型的元模型考虑验证规则,验证的大多都是描述规范方面的问题。如果从需求描述的流程角度考虑,可以验证更多的需求问题,而这些需求问题是基于RUCM需求模型的基础上所发现不了的。所以,需要生成流程模型作为验证引擎的模型文件,具体包括以下子步骤:
子步骤S21、从数据模型和控制模型的基本元素角度确定流程模型的组成元素;RUCM在描述需求的时候,它的内部是有一个需求原模型的,而在构建流程模型的时候,就是基于这个内部需求的原模型中的各种元素以及它们之间的关系,可能需要提取其中的基本元素或者仅仅是提出其中我们需要的关键性关系等等,从而构建出流程模型。
子步骤S22、依照RUCM需求模型的组成元素,进一步分析和细分流程模型的组成元素,完善原模型;而由于流程模型中应该包含数据和控制信息,所以还需要结合这两种流的特点,结合基础,也就是RUCM的需求原模型,最终形成完善的流程模型。
子步骤S23、根据模型转换算法,建立流程模型和RUCM需求模型之间的映射,将RUCM需求模型转换为流程模型。
步骤S3、对步骤S2生成的流程模型进行遍历,找到模型元素
因为在对需求描述的每一个步骤做验证的时候,由于步骤描述都是自然语言表达的,所以不可能对一句话做自动验证,只能验证形式化的部分。验证的时候,需要提出一系列形式化表达的规则,而组成这些规则的都是模型中的元素以及一些逻辑符号,所以我们需要对由RUCM需求模型替换成的流程模型进行遍历,从而找到所需要的元素。
具体包括以下子步骤:
1)取出流程模型的路径集合属性,如果为空,遍历结束;
2)取出路径集合中的一个成员,也就是一条路径,并从路径集合中除掉;
3)取出路径的节点集合属性;
4)取出节点结合中的第一个元素,也就是路径的起点;
5)取出节点的下一个元素直到该节点是路径的终点;
6)当路径集合为空,遍历完成。
这样,基于模型遍历算法找到每一个模型元素。
步骤S4、规则加载模块依据步骤3找到得的模型元素的类别从规则库中选择相应类别的规则进行加载,依据规则的约束对模型元素进行判定。
根据本发明的一个具体实施例,在执行步骤S1之前,还包括预处理需求文档得到以RUCM方法描述的需求和解析构造模型,即RUCM需求模型的步骤。
通过采用RUCM,借助RUCM定义好的结构化的用例模板与限制规则,RUCM方法中的元模型可以使得需求在建模时自动映射为其对应的形式化表达方式,而不需要重新定义需求文档的样式、格式语言,处理的活动。
借助需求描述的流程模型实例进行验证规则的形式化表达,省略了验证过程中解析模型的活动,最终可以在解析需求的自然语言描述文字后,就为所关注的验证规则提供了足够的信息,从而成为能够进行自动化验证的基础。
本发明具体实施例所公开的基于流程模型的软件需求验证方法具有以下技术效果:
省略了基于自然语言验证活动中的定义模型,预处理需求文档,解析出模型的活动,使得验证活动更简单;
使得自动化验证方法对于输入需求的形式化程度没有过分的要求,节约了建模的成本;
在保证自然语言描述需求的部分灵活性的前提下,实现自动化验证,减少人力,节约成本;
能够减少需求中在功能性需求中的部分二义性、不一致性、不完整性等方面的问题以及在实时性和安全性需求描述中的部分问题,使得需求能够更好的被不同的相关人员理解;
更能发现一些全局性的需求描述错误;
能够满足用户针对特定项目的部分验证需求,并且能够随着RUCM方法或更多的验证需求进行扩展。
本领域技术人员可以理解,实现上述实施例方法的全部或部分流程,可以通过计算机程序来指令相关的硬件来完成,所述的程序可存储于计算机可读存储介质中。其中,所述计算机可读存储介质为磁盘、光盘、只读存储记忆体或随机存储记忆体等。
以上所述,仅为本发明较佳的具体实施方式,但本发明的保护范围并不局限于此,任何熟悉本技术领域的技术人员在本发明揭露的技术范围内,可轻易想到的变化或替换,都应涵盖在本发明的保护范围之内。
Claims (6)
1.一种基于流程模型的软件需求验证方法,其特征在于,具体包括以下步骤:
步骤S1、根据规则对象的类别将规则加载进规则库中;所述规则从嵌入式软件的功能性、安全性和实时性三个角度进行限定;功能性限定针对系统的功能或者系统的组成部分,关注的功能性问题是需求功能性描述是否规范;安全性限定针对保障系统的安全性,关注的安全性问题是数据使用的安全性;实时性限定针对系统对于时间约束的满足,关注的实时性问题是时长和时间点的约束;
步骤S2、根据需求生成流程模型;
步骤S3、找出流程模型中的模型元素;
步骤S4、依据规则约束对模型元素进行判定。
2.根据权利要求1所述的基于流程模型的软件需求验证方法,其特征在于,所述步骤S2进一步包括以下子步骤:
子步骤S21、从数据模型和控制模型的基本元素角度确定流程模型的组成元素;
子步骤S22、依照RUCM需求模型的组成元素,进一步分析和细分流程模型的组成元素,完善原模型;
子步骤S23、根据模型转换算法,建立流程模型和RUCM需求模型之间的映射,将RUCM需求模型转换为流程模型。
3.根据权利要求1所述的基于流程模型的软件需求验证方法,其特征在于,所述步骤S3进一步包括:
对步骤S2生成的流程模型进行遍历,找到模型元素。
4.根据权利要求3所述的基于流程模型的软件需求验证方法,其特征在于,所述步骤S3进一步包括以下子步骤:
1)取出流程模型的路径集合属性,如果为空,遍历结束;
2)取出路径集合中的一个成员,也就是一条路径,并从路径集合中除掉;
3)取出路径的节点集合属性;
4)取出节点集合中的第一个元素,也就是路径的起点;
5)取出节点的下一个元素直到该节点是路径的终点;
6)当路径集合为空,遍历完成。
5.根据权利要求1所述的基于流程模型的软件需求验证方法,其特征在于,所述步骤S4进一步包括:
规则加载模块依据步骤3找到得的模型元素的类别从规则库中选择相应类别的规则进行加载,依据规则的约束对模型元素进行判定。
6.根据权利要求1所述的基于流程模型的软件需求验证方法,其特征在于,在执行步骤S1之前,还包括以下步骤:
预处理需求文档得到以RUCM方法描述的需求和解析构造模型,即RUCM需求模型。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201610286303.3A CN105975269B (zh) | 2016-05-03 | 2016-05-03 | 一种基于流程模型的需求验证方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201610286303.3A CN105975269B (zh) | 2016-05-03 | 2016-05-03 | 一种基于流程模型的需求验证方法 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN105975269A CN105975269A (zh) | 2016-09-28 |
CN105975269B true CN105975269B (zh) | 2019-03-19 |
Family
ID=56994272
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201610286303.3A Active CN105975269B (zh) | 2016-05-03 | 2016-05-03 | 一种基于流程模型的需求验证方法 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN105975269B (zh) |
Families Citing this family (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN106528407B (zh) * | 2016-10-19 | 2019-01-25 | 中国航空综合技术研究所 | 一种嵌入式软件安全性自动化验证系统及其验证方法 |
CN106708730B (zh) * | 2016-11-22 | 2019-04-09 | 北京控制工程研究所 | 一种针对嵌入式实时操作系统形式化验证方法 |
CN107168762B (zh) * | 2017-05-23 | 2020-07-03 | 北京航空航天大学 | 一种基于本体的rucm模型一致性检查方法 |
CN107526717B (zh) * | 2017-07-27 | 2021-01-01 | 山东科技大学 | 一种将结构化流程模型自动生成自然语言文本的方法 |
CN115098931B (zh) * | 2022-07-20 | 2022-12-16 | 江苏艾佳家居用品有限公司 | 一种用于挖掘用户室内设计个性化需求的小样本分析方法 |
Citations (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN101004800A (zh) * | 2006-01-20 | 2007-07-25 | 中国科学院计算技术研究所 | 支持业务级多流程协同运行的模型转换方法 |
CN101894024A (zh) * | 2010-07-15 | 2010-11-24 | 浙江大学 | 一种基于模型库的模型元素一致性保障方法 |
CN102722441A (zh) * | 2012-06-11 | 2012-10-10 | 清华大学 | 智能的uml模型的形式化检测方法及装置 |
US8762934B2 (en) * | 2010-10-15 | 2014-06-24 | Serghei Sarafudinov | Method of extensible business object modeling and generation of system artifacts from the models |
CN104965956A (zh) * | 2015-07-16 | 2015-10-07 | 北京航空航天大学 | 一种基于rucm的需求验证方法 |
-
2016
- 2016-05-03 CN CN201610286303.3A patent/CN105975269B/zh active Active
Patent Citations (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN101004800A (zh) * | 2006-01-20 | 2007-07-25 | 中国科学院计算技术研究所 | 支持业务级多流程协同运行的模型转换方法 |
CN101894024A (zh) * | 2010-07-15 | 2010-11-24 | 浙江大学 | 一种基于模型库的模型元素一致性保障方法 |
US8762934B2 (en) * | 2010-10-15 | 2014-06-24 | Serghei Sarafudinov | Method of extensible business object modeling and generation of system artifacts from the models |
CN102722441A (zh) * | 2012-06-11 | 2012-10-10 | 清华大学 | 智能的uml模型的形式化检测方法及装置 |
CN104965956A (zh) * | 2015-07-16 | 2015-10-07 | 北京航空航天大学 | 一种基于rucm的需求验证方法 |
Also Published As
Publication number | Publication date |
---|---|
CN105975269A (zh) | 2016-09-28 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN105975269B (zh) | 一种基于流程模型的需求验证方法 | |
Wagner | Software product quality control | |
CN107783758B (zh) | 一种智能合约工程方法 | |
González et al. | Atltest: A white-box test generation approach for ATL transformations | |
US20130239098A1 (en) | Source code conversion method and source code conversion program | |
WO2007001108A1 (en) | System for providing feature-oriented software product line engineering environment | |
CN104965956B (zh) | 一种基于rucm的需求验证方法 | |
Oliveira et al. | Automated test oracles: State of the art, taxonomies, and trends | |
CN107797929A (zh) | 可编程逻辑仿真测试功能覆盖率的统计方法和装置 | |
Barbero et al. | Learning CAD at university through summaries of the rules of design intent | |
Chiam et al. | Applying a selection method to choose Quality Attribute Techniques | |
Riccobene et al. | Model-based simulation at runtime with abstract state machines | |
Stock et al. | Trace refinement in B and Event-B | |
CN110347588A (zh) | 软件验证方法、装置、计算机设备和存储介质 | |
Fitzgerald et al. | Triumphs and challenges for the industrial application of model-oriented formal methods | |
Fumagalli et al. | Mind the gap!: Learning missing constraints from annotated conceptual model simulations | |
Sani et al. | Model transformation specification for automated formal verification | |
Weiß et al. | Towards establishing formal verification and inductive code synthesis in the PLC domain | |
Salay et al. | Managing related models in vehicle control software development | |
Voirin | 9.1. 1 method & tools for constrained system architecting | |
Romero et al. | A Computer Aided Verification Process for Engineered Systems | |
Ferreira Filho et al. | Generating counterexamples of model-based software product lines | |
saagar Ponnusamy et al. | A simulation fidelity assessment framework | |
Kaufmann et al. | Intra-and interdiagram consistency checking of behavioral multiview models | |
CN105933286B (zh) | 一种验证协议的方法及装置 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
C06 | Publication | ||
PB01 | Publication | ||
C10 | Entry into substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
GR01 | Patent grant | ||
GR01 | Patent grant | ||
EE01 | Entry into force of recordation of patent licensing contract |
Application publication date: 20160928 Assignee: Zhengzhou Yunhai Technology Co.,Ltd. Assignor: BEIHANG University Contract record no.: X2021990000107 Denomination of invention: A requirement verification method based on process model Granted publication date: 20190319 License type: Common License Record date: 20210218 |
|
EE01 | Entry into force of recordation of patent licensing contract |