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

Modeling and Testing Methods of Business Process

作　　者：丁明[1,2] 张书玲[1] 张琛[3] 

机构地区：[1]西北大学信息科学与技术学院,西安710127 [2]中航工业西安航空计算技术研究所,西安710119 [3]西安电子科技大学计算机学院,西安710071

出　　处：《西安交通大学学报》2016年第3期127-133,共7页Journal of Xi'an Jiaotong University

基　　金：国家自然科学基金资助项目(61502365)

摘　　要：针对复杂业务流程设计测试效率低、自动化程度不高、测试用例正确性难以保证的问题,在研究接口自动机模型的基础上,提出了一种基于模型的业务流程测试方法。该方法首先采用扩展带约束的接口自动机对业务流程设计进行形式化描述,并给出了从业务流程设计模型到带约束的接口自动机模型的转换算法;然后基于模型完成了对业务流程设计与需求的一致性验证,将验证后的接口自动机模型作为业务流程的测试模型,通过其特有的"乐观方法"和博弈思想实现了流程间的嵌套调用组合;最后定义了业务流程的测试覆盖准则,并在满足活动约束条件组合覆盖准则的前提下,设计了相应的测试用例生成算法。实例分析表明:该方法能够简化测试过程,可用于业务流程设计的测试用例自动化生成,有效保证了测试用例的正确性,提高了测试效率。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.

关 键 词：业务流程 接口自动机 覆盖准则 测试用例 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]