业务流程建模与测试方法研究
【作者】
丁明
张书玲
张琛
西北大学信息科学与技术学院
西安710127
中航工业西安航空计算技术研究所
西安710119
西安电子科技大学计算机学院
西安710071
【关键词】
业务流程
接口自动机
覆盖准则
测试用例
【摘要】针对复杂业务流程设计测试效率低、自动化程度不高、测试用例正确性难以保证的问题,在研究接口自动机模型的基础上,提出了一种基于模型的业务流程测试方法。该方法首先采用扩展带约束的接口自动机对业务流程设计进行形式化描述,并给出了从业务流程设计模型到带约束的接口自动机模型的转换算法;然后基于模型完成了对业务流程设计与需求的一致性验证,将验证后的接口自动机模型作为业务流程的测试模型,通过其特有的“乐观方法”和博弈思想实现了流程间的嵌套调用组合;最后定义了业务流程的测试覆盖准则,并在满足活动约束条件组合覆盖准则的前提下,设计了相应的测试用例生成算法。实例分析表明:该方法能够简化测试过程,可用于业务流程设计的测试用例自动化生成,有效保证了测试用例的正确性,提高了测试效率。
上一篇:计算气动声学中的伽辽金玻尔兹曼方法研究
下一篇:一种Android平台下高性能透明文件加密机制