| 講演名 | 2016-07-13 シーケンス図のメーセージ順序の適正な修正手法 岡野 浩三(信州大), 原内 聡(三菱電機), 田島 洋介(信州大), 小形 真平(信州大), |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | ソフトウェア開発において，品質を保証するための手法として設計の欠陥の検出，修正に関する多くの提案がされている．仕様設計の段階で生じる欠陥が実装段階で初めて発覚した場合，開発者は仕様設計の段階まで遡り修正し，再度実装を行わなければならない可能性がある．本報告では，仕様設計の段階で使用されるシーケンス図におけるメッセージ順序に関する欠陥を検出／修正する手法を提案する．対象となる欠陥は，シーケンス図において行われるメッセージの送受信の順序の逆転とする．提案手法では，記述されたシーケンス図から変更できないライフラインを指定した上で上記欠陥をモデル検査を用いて検出するために必要なモデル記述と検査式を生成する．モデル記述が検査式の性質を満たさない場合，その曖昧性のある箇所と修正方法を開発者に提示する．提案手法ではUML2.0に対応することでシーケンス図の一部の複合フラグメントが利用可能になる．提案手法に対して評価を行った結果，手法の優位性を確認をした． |
| 抄録(英) | For software specification, a lot of methods have been proposed in order to localize defects and to fixdefects automatically. Fast identification of such a defect is strongly desired. This report proposes a method toidentify 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 |
| 資料番号 | SS2016-2,KBSE2016-8 |
| 発行日 | 2016-07-06 (SS, KBSE) |
| 研究会情報 | |
| 研究会 | KBSE / SS / IPSJ-SE |
|---|---|
| 開催期間 | 2016/7/13(から3日開催) |
| 開催地（和） | 北海道立道民活動センター |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | 金田 重郎(同志社大) / 緒方 和博(北陸先端大) |
| 委員長氏名（英） | Shigeo Kaneda(Doshisha Univ.) / Kazuhiro Ogata(JAIST) |
| 副委員長氏名（和） | 粂野 文洋(日本工大) / 中田 明夫(広島市大) |
| 副委員長氏名（英） | Fumihiro Kumeno(Nippon Inst. of Tech.) / Akio Nakata(Hiroshima City Univ.) |
| 幹事氏名（和） | 小形 真平(信州大) / 橋浦 弘明(日本工大) / 小林 隆志(東工大) / 肥後 芳樹(阪大) |
| 幹事氏名（英） | Shinpei Ogata(Shinshu Univ.) / Hiroaki Hashiura(Nippon Inst. of Tech.) / Takashi Kobayashi(Tokyo Inst. of Tech.) / Yoshiki Higo(Osaka Univ.) |
| 幹事補佐氏名（和） | 岩田 一(神奈川工科大) / 櫻井 孝平(金沢大) / 島 和之(広島市大) |
| 幹事補佐氏名（英） | Hajime Iwata(Kanagawa Inst. of Tech.) / Kohei Sakurai(Kanazawa Univ.) / Kazuyuki Shima(Hiroshima City Univ.) |
| 講演論文情報詳細 | |
| 申込み研究会 | Technical Committee on Knowledge-Based Software Engineering / Technical Committee on Software Science / Special Interest Group on Software Engineering |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | シーケンス図のメーセージ順序の適正な修正手法 |
| サブタイトル（和） | |
| タイトル（英） | A Method to Revise Message Ordering in Sequence Diagram |
| サブタイトル（和） | |
| キーワード(1)（和/英） | シーケンス図 / Sequence Diagram |
| キーワード(2)（和/英） | 設計検証 / Design Verification |
| キーワード(3)（和/英） | モデル検査 / Model Checking |
| 第 1 著者 氏名（和/英） | 岡野 浩三 / Kozo Okano |
| 第 1 著者 所属（和/英） | 信州大学(略称：信州大) Shinshu University(略称：Shinshu Univ.) |
| 第 2 著者 氏名（和/英） | 原内 聡 / Satoshi Harauchi |
| 第 2 著者 所属（和/英） | 三菱電機株式会社(略称：三菱電機) Mitsubishi Electric Corporation(略称：Mitsubishi Electric Corp.) |
| 第 3 著者 氏名（和/英） | 田島 洋介 / Yosuke Tajima |
| 第 3 著者 所属（和/英） | 信州大学(略称：信州大) Shinshu University(略称：Shinshu Univ.) |
| 第 4 著者 氏名（和/英） | 小形 真平 / Shinpei Ogata |
| 第 4 著者 所属（和/英） | 信州大学(略称：信州大) Shinshu University(略称：Shinshu Univ.) |
| 発表年月日 | 2016-07-13 |
| 資料番号 | SS2016-2,KBSE2016-8 |
| 巻番号（vol） | vol.116 |
| 号番号（no） | SS-127,KBSE-128 |
| ページ範囲 | pp.7-12(SS), pp.7-12(KBSE), |
| ページ数 | 6 |
| 発行日 | 2016-07-06 (SS, KBSE) |