シーケンス図のメーセージ順序の適正な修正手法

摘要

ソフトウェア開発において，品質を保証するための手法として設計の欠陥の検出，修正に関する多くの提案がされている．仕様設計の段階で生じる欠陥が実装段階で初めて発覚した場合，開発者は仕様設計の段階まで遡り修正し，再度実装を行わなければならない可能性がある．本報告では，仕様設計の段階で使用されるシーケンス図にぉけるメッセージ順序に関する欠陥を検出/修正する手法を提案する．対象となる欠陥は，シーケンス図において行ゎれるメッセージの送受信の順序の逆転とする．提案手法では，記述されたシーケンス図から変更できないライフラィンを指定した上で上記欠陥をモデル検査を用いて検出するために必要なモデル記述と検査式を生成する．モデル記述が検査式の性質を満たさない場合，その曖昧性のある箇所と修正方法を開発者に提示する．提案手法ではUML2.0に対応することでシーケンス図の一部の複合フラグメントが利用可能になる．提案手法に対して評価を行った結果，手法の優位性を確認をした．