講演抄録/キーワード |
講演名 |
2016-07-13 10:20
シーケンス図のメーセージ順序の適正な修正手法 ○岡野浩三(信州大)・原内 聡(三菱電機)・田島洋介・小形真平(信州大) SS2016-2 KBSE2016-8 |
抄録 |
(和) |
ソフトウェア開発において,品質を保証するための手法として設計の欠陥の検出,修正に関する多くの提案がされている.仕様設計の段階で生じる欠陥が実装段階で初めて発覚した場合,開発者は仕様設計の段階まで遡り修正し,再度実装を行わなければならない可能性がある.本報告では,仕様設計の段階で使用されるシーケンス図におけるメッセージ順序に関する欠陥を検出/修正する手法を提案する.対象となる欠陥は,シーケンス図において行われるメッセージの送受信の順序の逆転とする.提案手法では,記述されたシーケンス図から変更できないライフラ
インを指定した上で上記欠陥をモデル検査を用いて検出するために必要なモデル記述と検査式を生成する.モデル記述が検査式の性質を満たさない場合,その曖昧性のある箇所と修正方法を開発者に提示する.提案手法ではUML2.0に対応することでシーケンス図の一部の複合フラグメントが利用可能になる.提案手法に対して評価を行った結果,手法の優位性を確認をした. |
(英) |
For software specification, a lot of methods have been proposed in order to localize defects and to fix
defects automatically. Fast identification of such a defect is strongly desired. This report proposes a method to
identify ambiguousness of message ordering in a sequence diagram which is frequently used in specification of a target system to development. The proposed method detects such ambiguousness and proposes fixed diagrams for a given sequence diagram with designated objects which are not changed their design specification. In order to search exhaustively ambiguousness, we use model checking techniques. The behavior of a given sequence diagram is translated into a model and ambiguousness is represented in logic expressions to be checked. The proposed system also gives the location and fixed diagrams to a user. The system comprises part of UML 2.0. Thus we can express some of interaction operators. Experiment results show usefulness of our approach. |
キーワード |
(和) |
シーケンス図 / 設計検証 / モデル検査 / / / / / |
(英) |
Sequence Diagram / Design Verification / Model Checking / / / / / |
文献情報 |
信学技報, vol. 116, no. 127, SS2016-2, pp. 7-12, 2016年7月. |
資料番号 |
SS2016-2 |
発行日 |
2016-07-06 (SS, KBSE) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
SS2016-2 KBSE2016-8 |