お知らせ 2023年度・2024年度 学生員 会費割引キャンペーン実施中です
お知らせ 技術研究報告と和文論文誌Cの同時投稿施策(掲載料1割引き)について
お知らせ 電子情報通信学会における研究会開催について
お知らせ NEW 参加費の返金について
電子情報通信学会 研究会発表申込システム
講演論文 詳細
技報閲覧サービス
[ログイン]
技報アーカイブ
 トップに戻る 前のページに戻る   [Japanese] / [English] 

講演抄録/キーワード
講演名 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

研究会情報
研究会 KBSE SS IPSJ-SE  
開催期間 2016-07-13 - 2016-07-15 
開催地(和) 北海道立道民活動センター 
開催地(英)  
テーマ(和)  
テーマ(英)  
講演論文情報の詳細
申込み研究会 SS 
会議コード 2016-07-KBSE-SS-SE 
本文の言語 日本語 
タイトル(和) シーケンス図のメーセージ順序の適正な修正手法 
サブタイトル(和)  
タイトル(英) A Method to Revise Message Ordering in Sequence Diagram 
サブタイトル(英)  
キーワード(1)(和/英) シーケンス図 / Sequence Diagram  
キーワード(2)(和/英) 設計検証 / Design Verification  
キーワード(3)(和/英) モデル検査 / Model Checking  
キーワード(4)(和/英) /  
キーワード(5)(和/英) /  
キーワード(6)(和/英) /  
キーワード(7)(和/英) /  
キーワード(8)(和/英) /  
第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.)
第5著者 氏名(和/英/ヨミ) / /
第5著者 所属(和/英) (略称: )
(略称: )
第6著者 氏名(和/英/ヨミ) / /
第6著者 所属(和/英) (略称: )
(略称: )
第7著者 氏名(和/英/ヨミ) / /
第7著者 所属(和/英) (略称: )
(略称: )
第8著者 氏名(和/英/ヨミ) / /
第8著者 所属(和/英) (略称: )
(略称: )
第9著者 氏名(和/英/ヨミ) / /
第9著者 所属(和/英) (略称: )
(略称: )
第10著者 氏名(和/英/ヨミ) / /
第10著者 所属(和/英) (略称: )
(略称: )
第11著者 氏名(和/英/ヨミ) / /
第11著者 所属(和/英) (略称: )
(略称: )
第12著者 氏名(和/英/ヨミ) / /
第12著者 所属(和/英) (略称: )
(略称: )
第13著者 氏名(和/英/ヨミ) / /
第13著者 所属(和/英) (略称: )
(略称: )
第14著者 氏名(和/英/ヨミ) / /
第14著者 所属(和/英) (略称: )
(略称: )
第15著者 氏名(和/英/ヨミ) / /
第15著者 所属(和/英) (略称: )
(略称: )
第16著者 氏名(和/英/ヨミ) / /
第16著者 所属(和/英) (略称: )
(略称: )
第17著者 氏名(和/英/ヨミ) / /
第17著者 所属(和/英) (略称: )
(略称: )
第18著者 氏名(和/英/ヨミ) / /
第18著者 所属(和/英) (略称: )
(略称: )
第19著者 氏名(和/英/ヨミ) / /
第19著者 所属(和/英) (略称: )
(略称: )
第20著者 氏名(和/英/ヨミ) / /
第20著者 所属(和/英) (略称: )
(略称: )
講演者 第1著者 
発表日時 2016-07-13 10:20:00 
発表時間 30分 
申込先研究会 SS 
資料番号 SS2016-2, KBSE2016-8 
巻番号(vol) vol.116 
号番号(no) no.127(SS), no.128(KBSE) 
ページ範囲 pp.7-12 
ページ数
発行日 2016-07-06 (SS, KBSE) 


[研究会発表申込システムのトップページに戻る]

[電子情報通信学会ホームページ]


IEICE / 電子情報通信学会