丁明,张书玲,张琛

(1.西北大学信息科学与技术学院,710127,西安;2.中航工业西安航空计算技术研究所,710119,西安;3.西安电子科技大学计算机学院,710071,西安)



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

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

(1.西北大学信息科学与技术学院,710127,西安;2.中航工业西安航空计算技术研究所,710119,西安;3.西安电子科技大学计算机学院,710071,西安)

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

业务流程;接口自动机;覆盖准则;测试用例

复杂业务流程节点数量多、活动及关系复杂,且流程之间相互嵌套调用,从而导致测试复杂度较高。通过对业务流程的节点、活动、约束、迁移关系等构成元素进行抽象,并采用形式化方法进行描述,可实现对业务流程设计与需求的一致性以及流程的死锁、可达性等验证[1-4]。……