講演抄録/キーワード |
講演名 |
2015-03-09 13:50
シーケンス図が持つメッセージ順序の曖昧性除去手法の提案 ○楠 野明・岡野浩三・楠本真二(阪大) SS2014-62 |
抄録 |
(和) |
本稿は,仕様設計の段階で使用されるシーケンス図においてメッセージ順に関する欠陥を検出,および修正する手法を提案する.提案手法はシーケンス図に含まれる全てのメッセージに対して,メッセージ送受信の順序が逆転してしまう可能性 (メッセージ順序の曖昧性) が存在するかをモデル検査の手法に基づき検査し,検出した場合はその可能性を除去する修正候補を開発者に提案する.評価の結果,妥当な時間で使用者にメッセージ順序の曖昧性を持つ箇所を,40%近い割合で示すことがわかった. |
(英) |
This report proposes a method to detect and repair software faults in sequence diagrams which are used for software design. Our proposed method checks possibility of ambiguous message ordering in sequence diagram using a model checker. If it finds the possibility, a developer is proposed modification which remove this possibility by the tool. Experimental evaluation finds that the tool can point out a user where to modify in reasonable time. |
キーワード |
(和) |
シーケンス図 / モデル検査 / LTL式 / XML / / / / |
(英) |
Sequence Diagram / Model Checking / Linear Temporal Logic / XML / / / / |
文献情報 |
信学技報, vol. 114, no. 510, SS2014-62, pp. 43-48, 2015年3月. |
資料番号 |
SS2014-62 |
発行日 |
2015-03-02 (SS) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
SS2014-62 |