开发者 bptesting.sf.net

BPEL 参与者测试项目BPTesting 项目提出了一种测试派生和执行方法，以突出显示 BPEL 业务流程中可能的互操作性不匹配。参与者测试由模型检查技术派生的"临时"测试套件执行。测试的数据生成以遗传算法为指导。介绍面向服务的计算是一门新兴学科，可促进和更轻松地实现软件系统的组织间集成。在这种上下文中，互操作性问题被认为是正确集成的主要威胁。在此设置中，服务业务流程是指预见到许多独立参与者服务之间存在中心控制点和执行点（业务流程