開發者 bptesting.sf.net

BPEL 參與者測試專案BPTesting 專案提出了一種測試派生和執行方法，以突出顯示 BPEL 業務流程中可能的互操作性不匹配。參與者測試由模型檢查技術派生的"臨時"測試套件執行。測試的數據生成以遺傳演演算法為指導。介紹面向服務的計算是一門新興學科，可促進和更輕鬆地實現軟體系統的組織間集成。在這種上下文中，互操作性問題被認為是正確集成的主要威脅。在此設置中，服務業務流程是指預見到許多獨立參與者服務之間存在中心控制點和執行點（業務