CN113448846A - 基于关键程度划分的并发活动图测试场景生成方法及系统 - Google Patents
基于关键程度划分的并发活动图测试场景生成方法及系统 Download PDFInfo
- Publication number
- CN113448846A CN113448846A CN202110699531.4A CN202110699531A CN113448846A CN 113448846 A CN113448846 A CN 113448846A CN 202110699531 A CN202110699531 A CN 202110699531A CN 113448846 A CN113448846 A CN 113448846A
- Authority
- CN
- China
- Prior art keywords
- concurrent
- xml file
- nodes
- concurrent activity
- graph
- 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.)
- Pending
Links
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/3668—Software testing
- G06F11/3672—Test management
- G06F11/3684—Test management for test design, e.g. generating new test cases
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Computer Hardware Design (AREA)
- Quality & Reliability (AREA)
- Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Management, Administration, Business Operations System, And Electronic Commerce (AREA)
Abstract
本发明公开了基于关键程度划分的并发活动图测试场景生成方法及系统,包括如下过程:对项目中含有并发结构的模块建模,得到含有并发结构的模块对应的并发活动图;将并发活动图转换为xml文件;对xml文件进行解析,得到量化后的有向图的邻接矩阵;根据邻接矩阵对活动图对应的节点进行关键程度划分,得到具有层次关系的节点集合;将节点集合输入KeyPermute算法,得到并发活动图测试场景。本发明的方法在满足覆盖率的情况下,避免了测试场景路径爆炸的问题,同时也解决了并发模块处理难的问题。
Description
技术领域
本发明属于软件测试技术领域,具体涉及基于关键程度划分的并发活动图测试场景生成方法及系统。
背景技术
软件测试在软件开发的过程中,占的比重越来越多。如何设计高效的测试用例集,如何提高用户体验是每个作为测试人员应该考虑的问题。但是目前大部分测试工作都是手动编写测试用例,整个过程花费时间长,并且得到的测试用例可能不是最优的。所以采用自动化生成测试用例,不仅能够减少测试人员在测试环节时间上的消耗,而且还能保证一定的测试覆盖率。但是目前大多数研究都是基于代码进行测试的,这种情况只有在完成代码后才能进行测试,因此会造成时间上的消耗以及可能会多次进行回归测试。为了能够在需求设计阶段开始进行测试,因此采用基于模型的方式来对项目系统进行测试。
目前研究人员已经提出了基于状态机模型、马尔科夫链模型,UML模型这自动化测试模型。相对于UML模型来说,状态机模型和马尔科夫链模型在建模方面相对复杂,没有UMl模型活动图的动态特征,其次UML模型使用简单,活动图又具有动态特征,能够很好的描述项目系统各个模块的流程。因此采用UML模型进行自动化测试是十分有必要的。
发明内容
为解决现有技术中存在的问题,本发明的目的在于提供基于关键程度划分的并发活动图测试场景生成方法及系统,本发明能够解决并发活动图的路径爆炸的问题。
本发明是通过以下技术方案来实现:
基于关键程度划分的并发活动图测试场景生成方法,包括如下过程:
对项目中含有并发结构的模块建模,得到含有并发结构的模块对应的并发活动图;
将并发活动图转换为xml文件;
对xml文件进行解析,得到量化后的有向图的邻接矩阵;
根据邻接矩阵对活动图对应的节点进行关键程度划分,得到具有层次关系的节点集合;
将节点集合输入KeyPermute算法,得到并发活动图测试场景。
优选的,若所得并发活动图中含有循环结构、嵌套并发结构和/或分支结构时,则将循环结构、嵌套并发结构和分支结构分别使用复合节点替代。
优选的,将并发活动图从yEd建模工具中导出,得到并发活动图对应的xml文件。
优选的,对xml文件进行解析,得到量化后的有向图的邻接矩阵的过程包括:
对xml文件中的节点进行编号,绘制并发活动图对应的活动流图;
对xml文件进行规范化,得到规范的xml文件;
对规范的xml文件添加xml标签,将节点和节点与节点之间的边分开,并根据活动流图的编号将节点一一对应,得到具有xml标签的xml文件;
将具有xml标签的xml文件进行解析,生成邻接矩阵;
所述对xml文件进行规范化,得到规范化的xml文件的过程包括:
获取xml文件中的节点个数和边个数,检查并发活动图的节点个数以及边个数是否分别和xml文件中的节点个数和边个数相同;
若相同,则该xml文件为规范的xml文件;
若不相同,对xml文件进行修改,使得并发活动图的节点个数以及边个数分别和xml文件中的节点个数和边个数相同。
优选的,对规范的xml文件中多余的信息进行清除,保留节点信息和边信息,之后对规范的xml文件添加xml标签。
优选的,根据邻接矩阵对活动图对应的节点进行关键程度划分,得到具有层次关系的节点集合的过程包括:
根据邻接矩阵包含的节点信息,使用拓扑排序对节点进行排序,得到排序后的节点集合;
计算排序后的节点集合中各节点的关键程度值,按照关键程度值对各节点进行层次划分,得到具有层次关系的节点集合。
优选的,各节点的关键程度值f(n)如下:
其中,m表示当前节点的出度个数,n为当前节点,1≤i≤m,ni为当前节点第i个的邻接节点,λ为影响因子,P为当前节点的入度个数。
本发明还提供了基于关键程度划分的并发活动图测试场景生成系统,包括:
建模模块:用于对项目中含有并发结构的模块建模,得到含有并发结构的模块对应的并发活动图;
转换模块:用于将并发活动图转换为xml文件;
解析模块:用于对xml文件进行解析,得到量化后的有向图的邻接矩阵;
关键程度划分模块:用于根据邻接矩阵对活动图对应的节点进行关键程度划分,得到具有层次关系的节点集合;
计算模块:将节点集合输入KeyPermute算法,得到并发活动图测试场景。
本发明还提供了一种电子设备,包括:
一个或多个处理器;
存储装置,其上存储有一个或多个程序;
当所述一个或多个程序被所述一个或多个处理器执行时,使得所述一个或多个处理器实现本发明如上所述的基于关键程度划分的并发活动图测试场景生成方法。
本发明还提供了一种存储介质,其上存储有计算机程序,其中,所述计算机程序被处理器执行时实现本发明如上所述的基于关键程度划分的并发活动图测试场景生成方法。
本发明具有以下有益的技术效果:
本发明基于关键程度划分的并发活动图测试场景生成方法将建模后的并发活动图转化为xml文件,通过对xml文件进行解析,量化后的有向图的邻接矩阵,为了能够从有向图中生成测试场景,本发明根据邻接矩阵对活动图对应的节点进行关键程度划分,并将得到的具有层次关系的节点集合作为KeyPermute算法的输入,在满足一定覆盖率的情况下产生了有效的测试场景,因此解决了并发场景下路径爆炸等问题,对于并发场景产生测试场景具有高效、简单等特性,同时在减少测试场景的情况下,达到了较高的覆盖率,因此,该方法在并发模块下产生了较优质的测试场景。
附图说明
图1为本发明实施例提供的整体流程图;
图2为本发明实施例中存在循环结构、嵌套并发结构和分支结构的并发活动图;
图3为图2所示并发活动图中的循环结构、嵌套并发结构和分支结构用复合节点替代后的并发活动图;
图4为本发明实施例提供的步骤S3步骤示意图;
图5为本发明实施例提供的节点的关键程度值计算流程图。
具体实施方式
下面结合附图对本发明做进一步的详细说明,所述是对本发明解释而不是限定。
参照图1,本发明基于关键程度划分的并发活动图测试场景生成方法,包括以下过程:
活动图建模:对项目中的含有并发结构的模块使用yEd工具进行建模,并对含有嵌套、循环和/或分支结构的活动图进行简化,将嵌套、循环和/或分支结构分别使用复合节点替代,得到最终的并发活动图。
并发活动图转换为xml文件:对得到的并发活动图进行格式转换,得到能够使用代码进行解析的xml文件。
xml文件解析为有向图:对xml文件进行规范化整理,使其与并发活动图对应,使用dom4j对格式化后的xml文件进行解析,得到并发活动图对应的邻接矩阵。
关键程度划分:使用Key-Level算法对并发活动图进行划分,计算每个节点的关键程度值,得到划分后的具有层次关系的节点集合。
测试场景生成:使用KeyPermute算法结合回溯法,生成每一层的全排列,再使用复制技术,生成所有有效的测试场景。
下面介绍本发明方法的详细步骤,包括:
S1、对项目需求进行分析,对项目中的含有并发结构的模块建模,得到对应的并发活动图;
步骤S1具体包括:
S101、对项目进行分析,使用yEd绘图工具对项目中的具有并发结构特征的模块进行建模,得到对应的并发活动图。
S102、判断并发活动图中是否含有循环结构、嵌套并发结构和/或分支结构(参照图2,图2中是有的情形);
S103、当并发活动图含有对含有循环结构、嵌套并发结构和/或分支结构时,则对活动图进行约简,将循环结构、嵌套并发结构、分支结构分别使用复合节点表示,将上述得到的对应的活动图作为最终的并发活动图,参照图3。
S2、将建模后的并发活动图从yEd建模工具中导出,得到以.xml结尾的与并发活动图对应的文件(即xml文件);
步骤S2具体包括:
建模后的并发活动图无法直接进行解析,因此对生成的并发活动图进行格式转换,得到并发活动图对应的以.xml结尾的xml文件。
S3、对得到的xml文件使用dom4j技术进行解析,得到对应的量化后的有向图的邻接矩阵;
具体的,步骤S3具体包括:
S301、对节点进行编号,绘制并发活动图对应的活动流图。
S302、对xml文件进行规范化,得到并发活动图的节点信息以及边信息。检查是否和活动图的节点个数,边个数是否相同。
S303、如果节点个数、边个数与并发活动图的不符,则需要对xml文件进行修改,使得其与并发活动图的节点、边数量相同、一一对应。
S304、对于xml文件中多余的信息进行清除,保留xml文件中节点信息和边信息,添加xml标签将节点和节点与节点之间的边分开,并根据活动流图的编号将节点一一对应。
S305、使用dom4j对规范化后的xml文件进行解析,生成邻接矩阵
S4、使用Key-Level算法根据S3得到的邻接矩阵对节点进行关键程度划分,得到划分后的具有层次关系的节点集合;
步骤S4具体包括:
S401、对含有并发结构的活动图的节点使用拓扑排序进行排序,得到排序后的节点集合。
S402、根据Key-Level算法对排序后的节点计算关键程度值,得到按照关键程度值划分后的节点层次集合。
步骤S402中,对于每个节点来说在执行的过程中都有直接消费者和间接消费者。因此对出度的计算方法进行修改,对于当前节点I,直接消费者即当前节点的邻接节点,间接消费者即邻接节点的邻接节点。最后计算的结果称为当前节点的关键程度。每个节点的关键程度值的计算公式为:
其中,m表示当前节点的出度个数,n为当前节点,1≤i≤m,ni为当前节点第i个的邻接节点,λ为影响因子,P为当前节点的入度个数。
S5、将划分后的节点集合作为KeyPermute算法的输入参数,KeyPermute算法输出得到所有有效的测试场景;
步骤S5具体包括:
S501、对划分后的节点集合使用回溯法生成每一层的节点集合的全排列。
S502、对每一层的全排列使用拷贝技术:例如当前第1层的节点为1,2,则全排列的结果为{{1,2}{2,1}},存储到结果集;判断第2层的全排列的集合大小,将结果集按照这个集合大小进行复制,假设此时大小为2,则需要将结果集里的复制2份,则此时结果集为{{1,2},{2,1},{1,2},{2,1}};然后再将当前第2层的全排列添加到结果集中即可;最终便可得到所有的测试场景。
实施例
参阅图1,本实施例基于关键程度划分的并发活动图测试场景生成方法,包括以下步骤:
S1、活动图建模
对项目系统进行分析,使用yEd绘图工具对项目中含有并发结构的模块进行建模,得到对应的并发活动图。
参阅图2和图3,该步骤的具体方法如下:
S101、首先根据项目需求对含有并发结构的模块进行建模,得到并发活动图,然后将并发活动图中的嵌套并发结构、循环结构、分支结构使用复合节点替代。如图2中的分支结构、嵌套并发结构我们可以使用复合节点X,Y,Z替代,如图3所示。
S2、导出为xml文件
建模后的并发活动图无法进行直接解析,因此对生成的并发活动图进行格式转换,得到并发活动图对应的以.xml结尾的文件。
S3、有向图的邻接矩阵生成
参阅图4,该步骤具体方法如下:
S301、针对转化后的xml文件,将其作为参数传入到Reader解析器中,并获取文件的根标签。
S302、根据根标签,获取所有节点的根标签和所有边的根标签。
S303、根据所有节点的根标签,并对其子标签进行遍历,获取每一个节点并进行存储。
S304、根据所有边的根标签,并对其子标签进行遍历,获取每一条边并进行存储。
S305、创建图类,并初始化有向图,将S303,S304的结果数据作为参数传入实例化有向图中,得到活动图对应的邻接矩阵。
S4、有效测试场景生成
参阅图5,该步骤具体方法如下:
S401、计算每个节点的入度并存储,使用拓扑排序算法对所有节点进行排序,得到有层次关系的节点集合;
S402、使用本发明提出的key-Level算法,对于每个节点来说在执行的过程中都有直接消费者和间接消费者。因此对出度的计算方法进行修改,对于当前节点I,直接消费者即当前节点的邻接节点,间接消费者即邻接节点的邻接节点。最后计算的结果称为当前节点的关键程度。用来计算每个节点的关键程度值,其计算公式如下:
其中m表示当前节点的出度个数,λ为影响因子,P为当前节点的入度值。
计算关键程度值的目的就是为了能够使得每个节点处于应该处于的位置,方便了层次划分。
S403、使用本发明提出的KeyPermute算法,在该算法中使用回溯算法,得到每一层节点的全排列,再通过复制技术将每一层节点的全排列进行复制,最后得到所有的测试场景。
本发明实施例中,分别采用活动覆盖、条件约束标准,其中条件约束标准如下:
条件约束标准:用于活动图的活动之间的并发。活动aij发生在活动amn之前,条件覆盖的值为活动图中活动间并发的满足条件关系覆盖的路径与所生成的测试路径的比率。
对本Key-Level算法进行了评价,最终结果如表1所示(测试场景数为简化了的并发活动图所生成的数量):
表1
方法 | 测试场景数 | 活动覆盖 | 条件约束标准 |
Key-Level | 2048 | 100% | 100% |
由表1可以看出本发明的方法满足活动覆盖、条件约束标准覆盖,其值均为100%。因此我们的方法能够在满足覆盖率的条件下,有效地得到并发活动图的测试场景数。
综上,本发明很好地解决了并发场景下路径爆炸地问题。通过对项目进行分析,使用yEd建模工具对含有并发结构的模块进行建模,得到并发活动图,再并将其转换为xml文件;使用dom4j技术对xml文件进行解析得到有向图的邻接矩阵;通过使用本发明提出的Key-Level算法对邻接矩阵的节点进行关键程度值计算并进行划分,得到根据关键程度值排序后的带有层次关系的节点集合;最后使用KeyPermute算法对节点进行全排列,使用复制技术最终生成有效的测试场景,在满足覆盖率的情况下,避免了测试场景路径爆炸的问题,同时也解决了并发活动图处理难的问题。
以上内容仅为本发明的技术思想,不能以此限定本发明的保护范围,凡是按照本发明提出的技术思想,在技术方案基础上所作的任何改董,均落入本发明权利要求书的保护范围之内。
Claims (10)
1.基于关键程度划分的并发活动图测试场景生成方法,其特征在于,包括如下过程:
对项目中含有并发结构的模块建模,得到含有并发结构的模块对应的并发活动图;
将并发活动图转换为xml文件;
对xml文件进行解析,得到量化后的有向图的邻接矩阵;
根据邻接矩阵对活动图对应的节点进行关键程度划分,得到具有层次关系的节点集合;
将节点集合输入KeyPermute算法,得到并发活动图测试场景。
2.根据权利要求1所述的基于关键程度划分的并发活动图测试场景生成方法,其特征在于,若所得并发活动图中含有循环结构、嵌套并发结构和/或分支结构时,则将循环结构、嵌套并发结构和分支结构分别使用复合节点替代。
3.根据权利要求1所述的基于关键程度划分的并发活动图测试场景生成方法,其特征在于,将并发活动图从yEd建模工具中导出,得到并发活动图对应的xml文件。
4.根据权利要求1所述的基于关键程度划分的并发活动图测试场景生成方法,其特征在于,对xml文件进行解析,得到量化后的有向图的邻接矩阵的过程包括:
对xml文件中的节点进行编号,绘制并发活动图对应的活动流图;
对xml文件进行规范化,得到规范的xml文件;
对规范的xml文件添加xml标签,将节点和节点与节点之间的边分开,并根据活动流图的编号将节点一一对应,得到具有xml标签的xml文件;
将具有xml标签的xml文件进行解析,生成邻接矩阵;
所述对xml文件进行规范化,得到规范化的xml文件的过程包括:
获取xml文件中的节点个数和边个数,检查并发活动图的节点个数以及边个数是否分别和xml文件中的节点个数和边个数相同;
若相同,则该xml文件为规范的xml文件;
若不相同,对xml文件进行修改,使得并发活动图的节点个数以及边个数分别和xml文件中的节点个数和边个数相同。
5.根据权利要求4所述的基于关键程度划分的并发活动图测试场景生成方法,其特征在于,对规范的xml文件中多余的信息进行清除,保留节点信息和边信息,之后对规范的xml文件添加xml标签。
6.根据权利要求1所述的基于关键程度划分的并发活动图测试场景生成方法,其特征在于,根据邻接矩阵对活动图对应的节点进行关键程度划分,得到具有层次关系的节点集合的过程包括:
根据邻接矩阵包含的节点信息,使用拓扑排序对节点进行排序,得到排序后的节点集合;
计算排序后的节点集合中各节点的关键程度值,按照关键程度值对各节点进行层次划分,得到具有层次关系的节点集合。
8.基于关键程度划分的并发活动图测试场景生成系统,其特征在于,包括:
建模模块:用于对项目中含有并发结构的模块建模,得到含有并发结构的模块对应的并发活动图;
转换模块:用于将并发活动图转换为xml文件;
解析模块:用于对xml文件进行解析,得到量化后的有向图的邻接矩阵;
关键程度划分模块:用于根据邻接矩阵对活动图对应的节点进行关键程度划分,得到具有层次关系的节点集合;
计算模块:将节点集合输入KeyPermute算法,得到并发活动图测试场景。
9.一种电子设备,其特征在于,包括:
一个或多个处理器;
存储装置,其上存储有一个或多个程序;
当所述一个或多个程序被所述一个或多个处理器执行时,使得所述一个或多个处理器实现如权利要求1至7中任意一项所述的基于关键程度划分的并发活动图测试场景生成方法。
10.一种存储介质,其特征在于,其上存储有计算机程序,其中,所述计算机程序被处理器执行时实现如权利要求1至7中任意一项所述的基于关键程度划分的并发活动图测试场景生成方法。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202110699531.4A CN113448846A (zh) | 2021-06-23 | 2021-06-23 | 基于关键程度划分的并发活动图测试场景生成方法及系统 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202110699531.4A CN113448846A (zh) | 2021-06-23 | 2021-06-23 | 基于关键程度划分的并发活动图测试场景生成方法及系统 |
Publications (1)
Publication Number | Publication Date |
---|---|
CN113448846A true CN113448846A (zh) | 2021-09-28 |
Family
ID=77812309
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN202110699531.4A Pending CN113448846A (zh) | 2021-06-23 | 2021-06-23 | 基于关键程度划分的并发活动图测试场景生成方法及系统 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN113448846A (zh) |
Citations (7)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US20140130006A1 (en) * | 2012-11-06 | 2014-05-08 | Daegu National University Of Education Industry- Academic Cooperation Foundation | Apparatus and method of generating multi-level test case from unified modeling language sequence diagram based on multiple condition control flow graph |
US20150100942A1 (en) * | 2013-10-08 | 2015-04-09 | King Abdulaziz City For Science And Technology | Uml model integration and refactoring method |
US20150261657A1 (en) * | 2014-03-13 | 2015-09-17 | Infosys Limited | Methods for generating test suites and devices thereof |
CN105677563A (zh) * | 2016-01-05 | 2016-06-15 | 南昌航空大学 | 一种基于SysML模块图的集成测试序列生成方法 |
CN106802862A (zh) * | 2016-12-14 | 2017-06-06 | 中国铁路总公司 | 列车运行控制系统安全关键软件自动测试平台 |
US20180248904A1 (en) * | 2017-02-24 | 2018-08-30 | LogRhythm Inc. | Analytics for processing information system data |
CN108629124A (zh) * | 2018-05-09 | 2018-10-09 | 华东师范大学 | 一种基于活动图路径的仿真参数数据自动生成方法 |
-
2021
- 2021-06-23 CN CN202110699531.4A patent/CN113448846A/zh active Pending
Patent Citations (7)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US20140130006A1 (en) * | 2012-11-06 | 2014-05-08 | Daegu National University Of Education Industry- Academic Cooperation Foundation | Apparatus and method of generating multi-level test case from unified modeling language sequence diagram based on multiple condition control flow graph |
US20150100942A1 (en) * | 2013-10-08 | 2015-04-09 | King Abdulaziz City For Science And Technology | Uml model integration and refactoring method |
US20150261657A1 (en) * | 2014-03-13 | 2015-09-17 | Infosys Limited | Methods for generating test suites and devices thereof |
CN105677563A (zh) * | 2016-01-05 | 2016-06-15 | 南昌航空大学 | 一种基于SysML模块图的集成测试序列生成方法 |
CN106802862A (zh) * | 2016-12-14 | 2017-06-06 | 中国铁路总公司 | 列车运行控制系统安全关键软件自动测试平台 |
US20180248904A1 (en) * | 2017-02-24 | 2018-08-30 | LogRhythm Inc. | Analytics for processing information system data |
CN108629124A (zh) * | 2018-05-09 | 2018-10-09 | 华东师范大学 | 一种基于活动图路径的仿真参数数据自动生成方法 |
Non-Patent Citations (3)
Title |
---|
冯婷婷: "基于UML活动图模型测试场景自动生成的优化", 《电子设计工程》 * |
尹建月: "基于UML活动图的测试用例生成方法设计", 《信息化研究》 * |
董俊: "软件网络中关键函数节点的识别方法", 《燕山大学学报》 * |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
EP2801906B1 (en) | Source code flow analysis using information retrieval | |
Hague et al. | Unboundedness and downward closures of higher-order pushdown automata | |
CN114399019A (zh) | 神经网络编译方法、系统、计算机设备及存储介质 | |
TR201809088T4 (tr) | Birçok bileşeni içeren bir sistemin arıza modu ve etkileri analizine yardımcı olunması. | |
CN112765031B (zh) | 一种群智化漏洞挖掘任务的分解方法 | |
CN110780879B (zh) | 一种基于智能编译技术的决策执行方法、装置、设备及介质 | |
Mani et al. | Test case generation for embedded system software using UML interaction diagram | |
CN115511233A (zh) | 一种基于流程挖掘的供应链流程重现方法和系统 | |
US20160300137A1 (en) | System for the computer-aided creation of rules for monitoring and/or diagnosing a technical plant | |
Mrasek et al. | A new verification technique for large processes based on identification of relevant tasks | |
Friedrich et al. | Knowledge engineering for configuration systems | |
CN112416336B (zh) | 一种面向航天嵌入式系统的软件架构设计方法 | |
CN113448846A (zh) | 基于关键程度划分的并发活动图测试场景生成方法及系统 | |
Blanco-Muñoz et al. | Towards higher-order mutant generation for WS-BPEL | |
CN115827234A (zh) | 面向多模型训练任务的算子调度方法与装置 | |
CN114036769B (zh) | 面向航电系统物理架构的功能部署方案生成方法及装置 | |
Tatale et al. | A Survey on Test Case Generation using UML Diagrams and Feasibility Study to Generate Combinatorial Logic Oriented Test Cases. | |
Szpyrka et al. | From process models to concurrent systems in alvis language | |
Syriani et al. | Matters of model transformation | |
CN112015426A (zh) | 一种代码管理方法、装置及设备 | |
Kluza et al. | Proposal of a hierarchical approach to formal verification of BPMN models using Alvis and XTT2 methods | |
CN117827523B (zh) | 一种模型的异常处理方法、装置、电子设备及存储介质 | |
US20220334954A1 (en) | Automated verification of a test model for a plurality of defined bdd test scenarios | |
Gul et al. | Integrated traceability approach for an effective impact analysis | |
Singh et al. | Software Fault Prediction in Service-Oriented Based Systems |
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 |