BPEL 参与者测试项目 BPTesting 项目提出了一种测试派生和执行方法，以突出显示 BPEL 业务流程中可能的互操作性不匹配。参与者测试由模型检查技术派生的"临时"测试套件执行。测试的数据生成以遗传算法为指导。 介绍 面向服务的计算是一门新兴学科，可促进和更轻松地实现软件系统的组织间集成。在这种上下文中，互操作性问题被认为是正确集成的主要威胁。在此设置中，服务业务流程是指预见到许多独立参与者服务之间存在中心控制点和执行点（业务流程协调器）的服务组合。 Web 服务-业务流程执行语言（简言之，BPEL）很有可能成为 Web 服务编排的领先标准，从测试的角度来看，这带来了重要的挑战。 我们的方法结合了模型检查和遗传算法技术来派生要使用的测试用例，以便检查将在给定业务流程中发挥作用的服务的行为。特别是遗传算法技术用于处理数据生成和避免状态爆炸相关问题。 实现 从 BPEL 描述和一组相关的 WSDL 文件开始，我们的框架能够构建一个适用于模型检查器 Java 路径查找器的 Java 模型和用于数据生成的基因算法。形成模型执行，我们能够隔离执行跟踪，并派生每个参与者的测试用例。 实施处于开发的早期阶段，但我们正在构建系统的完整基础设施。现在，仅翻译了 BPEL 语言的子集，并且模型需要手动修改才能执行。 我们将不胜感激任何评论，建议或参与的项目。有关联系人，请参阅"人员"部分。
版本历史记录
- 版本 bpt0.9 发布于 2009-10-29
若干修复和更新 - 版本 bpt0.9 发布于 2009-10-29
软件信息
- 软件分类： 网络与互联网 > 其他
- 发布者： bptesting.sf.net
- 许可： 免费
- 价格： N/A
- 版本： 0.9
- 适用平台： windows