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