业务流程建模与测试方法研究

丁明 1; 2; 张书玲 1; 张琛 3

doi:10.7652/xjtuxb201603020

您当前的位置：

首页 >

文章列表页 >

业务流程建模与测试方法研究

更新时间：2025-07-09

- 业务流程建模与测试方法研究
- Modeling and Testing Methods of Business Process
- 西安交通大学学报 2016年50卷第3期页码：127-133
- 作者机构：
  
  1. 西北大学信息科学与技术学院,西安,710127
  2. 中航工业西安航空计算技术研究所,西安,710119
- 作者简介：
- 基金信息：
  
  : 2015-07-08。作者简介: 丁明(1982—),男,博士生;张书玲(通信作者),男,教授,博士生导师。基金项目: 国家自然科学基金资助项目(61502365)
- DOI：10.7652/xjtuxb201603020
  中图分类号： TP311
- 网络首发：2016-03-10，
  
  纸质出版：2016
- 稿件说明：
移动端阅览
丁明 1, 2, 张书玲 1, 等. 业务流程建模与测试方法研究[J]. 西安交通大学学报, 2016,50(3):127-133.

Modeling and Testing Methods of Business Process[J]. 2016, 50(3): 127-133.
丁明 1, 2, 张书玲 1, 等. 业务流程建模与测试方法研究[J]. 西安交通大学学报, 2016,50(3):127-133. DOI： 10.7652/xjtuxb201603020.

Modeling and Testing Methods of Business Process[J]. 2016, 50(3): 127-133. DOI： 10.7652/xjtuxb201603020.

摘要

针对复杂业务流程设计测试效率低、自动化程度不高、测试用例正确性难以保证的问题

在研究接口自动机模型的基础上

提出了一种基于模型的业务流程测试方法。该方法首先采用扩展带约束的接口自动机对业务流程设计进行形式化描述

并给出了从业务流程设计模型到带约束的接口自动机模型的转换算法; 然后基于模型完成了对业务流程设计与需求的一致性验证

将验证后的接口自动机模型作为业务流程的测试模型

通过其特有的“乐观方法”和博弈思想实现了流程间的嵌套调用组合; 最后定义了业务流程的测试覆盖准则

并在满足活动约束条件组合覆盖准则的前提下

设计了相应的测试用例生成算法。实例分析表明:该方法能够简化测试过程

可用于业务流程设计的测试用例自动化生成

有效保证了测试用例的正确性

提高了测试效率。

Abstract

To improve the automation level as well as the efficiency and accuracy of complex business process

and on the basis of studying interface automata models

a novel model-based testing approach for business processes is proposed. First

the extended constraint interface automata are used to describe the business process design. The algorithm for transforming the design models into constraint interface automata is presented. Furthermore

the consistency of business process design with requirements is verified. The verified interface automata are regarded as the test models of business processes. Optimistic approach and game theory are used to model the nested calls among business processes. Finally

the coverage criteria of business process test are defined. And the algorithm for test cases generating is given to satisfy the constraint combinations. Case studies show that this approach can be used for automatic generation of test cases for business process design and reduce the complexity of test cases generation and hence ensuring the correctness of test cases.

关键词

Keywords

references

雷丽晖, 段振华. 一种基于扩展有限自动机验证组合Web服务的方法 [J]. 软件学报, 2007, 18(12): 2980-2990.

LEI Lihui, DUAN Zhenhua. An extended deterministic finite automata based method for the verification of composite web services [J]. Journal of Software, 2007, 18(12): 2980-2990.

张广泉, 狄浩军, 石慧娟, 等. 基于扩展自动机的服务组合静态与动态验证方法 [J]. 通信学报, 2012, 33(s1): 1-8.

ZHANG Guangquan, DI Haojun, SHI Huijuan, et al. Static and dynamic verifying method based on extended finite automata for service compositions [J]. Journal on Communications, 2012, 33(s1): 1-8.

骆翔宇, 轩爱成, 沙宗鲁. 基于时间自动机的Web服务模型检测 [J]. 计算机科学, 2010, 37(8): 139-144.

LUO Xiangyu, XUAN Aicheng, SHA Zonglu. Model checking web services based on timed automata [J]. Computer Science, 2010, 37(8): 139-144.

CAMBRONERO M E, DÍAZ G, VALERO V, et al. Validation and verification of Web services choreographies by using timed automata [J]. The Journal of Logic and Algebraic Programming, 2011, 80(1): 25-49.

LIU S, NAKAJIMA S. A decompositional approach to automatic test case generation based on formal specifications [C]∥Proceedings of the 4th International Conference on Secure Software Integration and Reliability Improvement. Piscataway, NJ, USA: IEEE, 2010: 147-155.

DE MASELLIS R, MAGGI F M, MONTALI M. Monitoring data-aware business constraints with finite state automata [C]∥Proceedings of International Conference on Software and System. New York, USA: ACM, 2014: 134-143.

CLEMPNER J. Verifying soundness of business processes: a decision process Petri nets approach [J]. Expert Systems with Applications, 2014, 41(11): 5030-5040.

YUAN M, HUANG Z, LI X, et al. Towards a formal verification approach for business process coordination [C]∥Proceedings of 2010 IEEE 8th International Conference on Web Services. Piscataway, NJ, USA: IEEE, 2010: 362-368.

DE ALFARO L, HENZINGER T A. Interface automata [C]∥Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on the Foundations of Software Engineering. New York, USA: ACM, 2001: 109-120.

HAMMER M, CHAMPY J. Reengineering the corporation: a manifesto for business revolution(Collins business essentials)[M]. New York, USA: HarperCollins, 2009.

浏览量

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

应用UML2.0模型的测试用例生成方法

基于UML的软件可靠性测试用例生成的混合模型

面向5G通信基站管理系统性能评估的测试用例分布规律研究

EBSILON软件在热电联产系统优化中的应用综述

扇贝仿生密封腔室内超临界二氧化碳泄漏流湍动能耗散机理研究