| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2015-01-26 14:40 ユースケースモデルに基づくソースコード検証のためのリバースエンジニアリング手法の検討 ～ ASP.NETアプリケーションを事例として ～ ○小形真平（信州大）・青木善貴（芝浦工大）・谷沢智史（ボイスリサーチ）・松浦佐江子（芝浦工大）  KBSE2014-42 |
|
| 抄録 | （和） | ソフトウェア開発において，要求仕様書とソースコードの対応関係を保持することは容易ではなく，最終的にソースコードが要求仕様を満たしていることの検証は困難である．本研究では，UMLによるユースケースモデルに沿って，モデル検査技術によるソースコード検証を行いやすいように，ソースコードから検証に必要な情報を抽出する手法の実現を目指す．本論文では，業務系ソフトウェアを対象にCommon Criteriaによるセキュリティ要求の検証支援を目標として，大学で実稼動する授業支援ASP.NETアプリケーションを事例に，静的解析によるソースコードのリバースエンジニアリング手法を検討し，その実現の可能性と課題について考察する． |
| （英） | Traceability between a requirements specification and source code should be kept but it’s difficult. Verifying that the code satisfies the specification is also difficult. We therefore aim for actualizing a method of extracting information, which is needed for the verification, from the code so that developers can easily achieve the verification with a model checking technique on the basis of a use case model in UML. In this paper, a reverse engineering method of analyzing source code statically for verifying that an enterprise application satisfies security requirements defined in Common Criteria is investigated using an ASP.NET application example which is used as a learning management system in a university. Feasibility and issues of the method then are discussed. | |
| キーワード | （和） | ASP.NET / モデル検査 / リバースエンジニアリング / 静的解析 / UML / セキュリティ要求 / / |
| （英） | ASP.NET / Model Checking / Reverse Engineering / Static Analysis / UML / Security Requirements / / | |
| 文献情報 | 信学技報, vol. 114, no. 420, KBSE2014-42, pp. 19-24, 2015年1月. | |
| 資料番号 | KBSE2014-42 | |
| 発行日 | 2015-01-19 (KBSE) | |
| ISSN | Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | KBSE2014-42 |
|
| 研究会情報 | |
| 研究会 | KBSE |
| 開催期間 | 2015-01-26 - 2015-01-27 |
| 開催地（和） | 機械振興会館 B3F-2 |
| 開催地（英） | Kikai-Shinko-Kaikan Bldg. |
| テーマ（和） | 一般 |
| テーマ（英） | General session |
| 講演論文情報の詳細 | |
| 申込み研究会 | KBSE |
| 会議コード | 2015-01-KBSE |
| 本文の言語 | 日本語 |
| タイトル（和） | ユースケースモデルに基づくソースコード検証のためのリバースエンジニアリング手法の検討 |
| サブタイトル（和） | ASP.NETアプリケーションを事例として |
| タイトル（英） | An Investigation of a Reverse Engineering Method for Verifying Source Code with a Use Case Model |
| サブタイトル（英） | A Case of an ASP.NET Application |
| キーワード(1)（和/英） | ASP.NET / ASP.NET |
| キーワード(2)（和/英） | モデル検査 / Model Checking |
| キーワード(3)（和/英） | リバースエンジニアリング / Reverse Engineering |
| キーワード(4)（和/英） | 静的解析 / Static Analysis |
| キーワード(5)（和/英） | UML / UML |
| キーワード(6)（和/英） | セキュリティ要求 / Security Requirements |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 小形 真平 / Shinpei Ogata / オガタ シンペイ |
| 第1著者 所属（和/英） | 信州大学 (略称： 信州大) Shinshu University (略称： Shinshu Univ.) |
| 第2著者 氏名（和/英/ヨミ） | 青木 善貴 / Yoshitaka Aoki / アオキ ヨシタカ |
| 第2著者 所属（和/英） | 芝浦工業大学 (略称： 芝浦工大) Shibaura Institute of Technology (略称： SIT) |
| 第3著者 氏名（和/英/ヨミ） | 谷沢 智史 / Satoshi Yazawa / ヤザワ サトシ |
| 第3著者 所属（和/英） | 株式会社ボイスリサーチ (略称： ボイスリサーチ) Voice Research, Inc. (略称： VR) |
| 第4著者 氏名（和/英/ヨミ） | 松浦 佐江子 / Saeko Matsuura / マツウラ サエコ |
| 第4著者 所属（和/英） | 芝浦工業大学 (略称： 芝浦工大) Shibaura Institute of Technology (略称： SIT) |
| 第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著者 所属（和/英） | (略称： ) (略称： ) |
| 講演者 | 第1著者 |
| 発表日時 | 2015-01-26 14:40:00 |
| 発表時間 | 45分 |
| 申込先研究会 | KBSE |
| 資料番号 | KBSE2014-42 |
| 巻番号（vol） | vol.114 |
| 号番号（no） | no.420 |
| ページ範囲 | pp.19-24 |
| ページ数 | 6 |
| 発行日 | 2015-01-19 (KBSE) |
[研究会発表申込システムのトップページに戻る]