将工作流模型转换为自动化的端到端验收测试用例

M. Boucher, G. Mussbacher
{"title":"将工作流模型转换为自动化的端到端验收测试用例","authors":"M. Boucher, G. Mussbacher","doi":"10.1109/MiSE.2017.5","DOIUrl":null,"url":null,"abstract":"The User Requirements Notation is a standard published by the International Telecommunication Union that contains two complementary notations for goal and scenario/workflow modeling. Use Case Maps (UCM) – the workflow notation – focuses on the causal relationships of the steps in a workflow without requiring the specification of detailed message exchanges and data. A UCM model captures the interactions between actors and the system and typically integrates several use cases into a combined system view. This results in a high-level description of the system and its end-to-end usage scenarios. At the UCM level, scenario definitions create a regression test suite for the UCM model. This paper investigates the transformation of such workflow models into end-to-end acceptance test cases that can be automated with the JUnit testing framework. For that purpose, the UCM model is enriched with (i) input data types and expected results, (ii) a code-level description of system behavior as needed for the workflow, and (iii) testing logic including assertions. Based on this specification, the proposed approach uses boundary value analysis of the input data and Myer's test selection heuristics to determine a set of test cases for the described workflow. Coverage criteria may be specified at the UCM model level. Results from a case study of a small data management system indicate a reduction of the number of lines of code that need to be specified in the workflow model vs. the test implementation by an order of magnitude.","PeriodicalId":321225,"journal":{"name":"2017 IEEE/ACM 9th International Workshop on Modelling in Software Engineering (MiSE)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2017-05-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"7","resultStr":"{\"title\":\"Transforming Workflow Models into Automated End-to-End Acceptance Test Cases\",\"authors\":\"M. Boucher, G. Mussbacher\",\"doi\":\"10.1109/MiSE.2017.5\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The User Requirements Notation is a standard published by the International Telecommunication Union that contains two complementary notations for goal and scenario/workflow modeling. Use Case Maps (UCM) – the workflow notation – focuses on the causal relationships of the steps in a workflow without requiring the specification of detailed message exchanges and data. A UCM model captures the interactions between actors and the system and typically integrates several use cases into a combined system view. This results in a high-level description of the system and its end-to-end usage scenarios. At the UCM level, scenario definitions create a regression test suite for the UCM model. This paper investigates the transformation of such workflow models into end-to-end acceptance test cases that can be automated with the JUnit testing framework. For that purpose, the UCM model is enriched with (i) input data types and expected results, (ii) a code-level description of system behavior as needed for the workflow, and (iii) testing logic including assertions. Based on this specification, the proposed approach uses boundary value analysis of the input data and Myer's test selection heuristics to determine a set of test cases for the described workflow. Coverage criteria may be specified at the UCM model level. Results from a case study of a small data management system indicate a reduction of the number of lines of code that need to be specified in the workflow model vs. the test implementation by an order of magnitude.\",\"PeriodicalId\":321225,\"journal\":{\"name\":\"2017 IEEE/ACM 9th International Workshop on Modelling in Software Engineering (MiSE)\",\"volume\":\"1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2017-05-20\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"7\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2017 IEEE/ACM 9th International Workshop on Modelling in Software Engineering (MiSE)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/MiSE.2017.5\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2017 IEEE/ACM 9th International Workshop on Modelling in Software Engineering (MiSE)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/MiSE.2017.5","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 7

摘要

用户需求表示法是由国际电信联盟发布的一个标准,它包含两个用于目标和场景/工作流建模的补充表示法。用例图(UCM)——工作流符号——关注工作流中步骤之间的因果关系,而不需要详细的消息交换和数据规范。UCM模型捕获参与者和系统之间的交互,并且通常将几个用例集成到一个组合的系统视图中。这将产生对系统及其端到端使用场景的高级描述。在UCM级别,场景定义为UCM模型创建一个回归测试套件。本文研究了这种工作流模型到端到端的验收测试用例的转换,这些用例可以用JUnit测试框架自动化。为了这个目的,UCM模型丰富了(i)输入数据类型和预期结果,(ii)工作流所需的系统行为的代码级描述,以及(iii)包括断言的测试逻辑。基于此规范,所提出的方法使用输入数据的边界值分析和Myer的测试选择启发式来确定所描述工作流的一组测试用例。覆盖标准可以在UCM模型级别指定。来自一个小型数据管理系统的案例研究的结果表明,与测试实现相比,工作流模型中需要指定的代码行数减少了一个数量级。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
Transforming Workflow Models into Automated End-to-End Acceptance Test Cases
The User Requirements Notation is a standard published by the International Telecommunication Union that contains two complementary notations for goal and scenario/workflow modeling. Use Case Maps (UCM) – the workflow notation – focuses on the causal relationships of the steps in a workflow without requiring the specification of detailed message exchanges and data. A UCM model captures the interactions between actors and the system and typically integrates several use cases into a combined system view. This results in a high-level description of the system and its end-to-end usage scenarios. At the UCM level, scenario definitions create a regression test suite for the UCM model. This paper investigates the transformation of such workflow models into end-to-end acceptance test cases that can be automated with the JUnit testing framework. For that purpose, the UCM model is enriched with (i) input data types and expected results, (ii) a code-level description of system behavior as needed for the workflow, and (iii) testing logic including assertions. Based on this specification, the proposed approach uses boundary value analysis of the input data and Myer's test selection heuristics to determine a set of test cases for the described workflow. Coverage criteria may be specified at the UCM model level. Results from a case study of a small data management system indicate a reduction of the number of lines of code that need to be specified in the workflow model vs. the test implementation by an order of magnitude.
求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信