競合検出システムの試作と評価

摘要

複数のサービスを同時に提供したときに生じるサービス仕様間の不整合のことをサービス競合と呼ぶ．本論文は，筆者らが提案した競合検出アルゴリズムに基づいて試作した競合検出システムと，試作システムによる競合検出実験結果に基づく提案アルゴリズムの評価について述べる．評価は最新のベンチマークを用いて行った．その結果，カバー率100％，冗長性なし，許容範囲内の計算時間であった．更に，ベンチマークには記載されていない新たな競合2,339件を検出した．これにより，提案アルゴリズムの正当性を確認した．