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

• 作者: 丁明 张书玲 张琛
• 来源期刊: 西安交通大学学报
• 关键词: 业务流程 接口自动机 覆盖准则 测试用例
• 年，卷（期）: 2016,（3）
• 页码范围: 127-133
• 页数: 7页
• 分类号: TP311
• 语种: 中文
• DOI: 10.7652/xjtuxb201603020

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张琛	西安电子科技大学计算机学院	10	41	4.0	6.0
2	张书玲	西北大学信息科学与技术学院	37	293	9.0	15.0
3	丁明	西北大学信息科学与技术学院	5	11	2.0	3.0