Modeling and Testing Methods of Business Process

doi:10.7652/xjtuxb201603020

您当前的位置：

首页 >

文章列表页 >

Modeling and Testing Methods of Business Process

更新时间：2025-07-09

- Modeling and Testing Methods of Business Process
- Vol. 50, Issue 3, Pages: 127-133(2016)
- 作者机构：
  
  1. 西北大学信息科学与技术学院,西安,710127
  2. 中航工业西安航空计算技术研究所,西安,710119
- 作者简介：
- 基金信息：
- DOI：10.7652/xjtuxb201603020
  CLC： TP311
- Online First：10 March 2016，
  
  Published：2016
- 稿件说明：
移动端阅览
Modeling and Testing Methods of Business Process[J]. 2016, 50(3): 127-133.
DOI：

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.

Views

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Test Case Generation Based on UML2.0 Models

UML Based Hybrid Model for Generation of Software Reliability Test Cases

Research on Test Cases Distribution for Performance Evaluation of 5G Communication Base Station Management System

I/O Performance Modeling and Prediction Method for Large-Scale Parallel Applications Using Machine Learning

Electrothermal Coupling Research on the Evolutionary Law of Anti-Corona Performance for High-Altitude Air-Cooled Generators

Related Author

张琛 1

段振华 1

王昕

覃征

韩峰岩

LI Yizhen

SUN Yiding

Related Institution

Institute of Computing Theory and Technology, Xidian University

State Key Laboratory of Integrated Service Networks, Xidian University

School of Electronics and Information Engineering, Xi'an Jiaotong University

MOE Key Lab for Intelligent and Network Security, Xi'an Jiaotong University

Xi'an Research Institute of Huawei Technology Co., Ltd.

⁰