講演名 | 1994/4/4 通信ソフトウェアにおけるリバースエンジニアリング 大友 健治, 荒川 則泰, 山中 顕次郎, |
---|---|
PDFダウンロードページ | PDFダウンロードページへ |
抄録(和) | 本稿では状態遷移記述の集合からメッセッジシーケンスチャート(MSC)を抽出する手法について議論する。通信ソフトウェアの分野において図的な表現によりシステムの動作を容易に把握できるMSCによる仕様記述が注目を集めている。そしてこのMSCを扱う技術が盛んに研究されている。これらの技術においては設計の初期段階に形式的なMSCの集合を与え、それを状態遷移記述へと変換する手法が採られる。しかしこれら研究の成果を既存の通信ソウトウェアに直接適用することは出来ない。既存のシステムは状態遷移記述を基に設計されており、形式的なMSCを持たないからである。本稿では最適化された到達可能解析によるMSCの抽出方法を提案する。そして本手法をQ.931プロトコルに適用した結果を示しその実用性を示す。 |
抄録(英) | This paper discusses how to derive message sequence charts(MSCs) from a set of state transition descriptions.Recently,a MSC notation receives much attention in the communications software field because it graphically shows system global behavior,and MSC handling techniques are eagerly studied.These activity recommend to design a system by a set of formal MSC in the early stage and then convert them into state transition descriptions.However,these results can hardly be applied to existing communications software products.This is because these systems are designed based on state transition descriptions and there are no formal MSCs for them. In this paper,we propose a MSC deriving method based on optimized reachability analysis.This method generates MSCs avoiding state explosion.A case study result using Q.931 protocol shows the feasibility of the method. |
キーワード(和) | 通信ソフトウェア / メッセージシーケンスチャート / リバースエンジニアリング / 到達可能解析 / 仕様記述 |
キーワード(英) | Communication Software / Massage Sequence Chart / Reverse Engineering / Reachability Analysis / Specification |
資料番号 | SSE94-20,IN94-20 |
発行日 |
研究会情報 | |
研究会 | SSE |
---|---|
開催期間 | 1994/4/4(から1日開催) |
開催地(和) | |
開催地(英) | |
テーマ(和) | |
テーマ(英) | |
委員長氏名(和) | |
委員長氏名(英) | |
副委員長氏名(和) | |
副委員長氏名(英) | |
幹事氏名(和) | |
幹事氏名(英) | |
幹事補佐氏名(和) | |
幹事補佐氏名(英) |
講演論文情報詳細 | |
申込み研究会 | Switching Systems Engineering (SSE) |
---|---|
本文の言語 | JPN |
タイトル(和) | 通信ソフトウェアにおけるリバースエンジニアリング |
サブタイトル(和) | |
タイトル(英) | Reverse Engineering in Communications Software Design |
サブタイトル(和) | |
キーワード(1)(和/英) | 通信ソフトウェア / Communication Software |
キーワード(2)(和/英) | メッセージシーケンスチャート / Massage Sequence Chart |
キーワード(3)(和/英) | リバースエンジニアリング / Reverse Engineering |
キーワード(4)(和/英) | 到達可能解析 / Reachability Analysis |
キーワード(5)(和/英) | 仕様記述 / Specification |
第 1 著者 氏名(和/英) | 大友 健治 / Kenji Otomo |
第 1 著者 所属(和/英) | NTTソフトウェア研究所 NTT Software Laboratories |
第 2 著者 氏名(和/英) | 荒川 則泰 / Noriyasu Arakawa |
第 2 著者 所属(和/英) | NTTソフトウェア研究所 NTT Software Laboratories |
第 3 著者 氏名(和/英) | 山中 顕次郎 / Kenjiroh Yamanaka |
第 3 著者 所属(和/英) | NTTソフトウェア研究所 NTT Software Laboratories |
発表年月日 | 1994/4/4 |
資料番号 | SSE94-20,IN94-20 |
巻番号(vol) | vol.94 |
号番号(no) | 1 |
ページ範囲 | pp.- |
ページ数 | 6 |
発行日 |