| 講演名 | 2015-01-26 ユースケースモデルに基づくソースコード検証のためのリバースエンジニアリング手法の検討 : ASP.NETアプリケーションを事例として 小形 真平, 青木 善貴, 谷沢 智史, 松浦 佐江子, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | ソフトウェア開発において,要求仕様書とソースコードの対応関係を保持することは容易ではなく,最終的にソースコードが要求仕様を満たしていることの検証は困難である.本研究では,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 |
| 資料番号 | KBSE2014-42 |
| 発行日 |
| 研究会情報 | |
| 研究会 | KBSE |
|---|---|
| 開催期間 | 2015/1/19(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Knowledge-Based Software Engineering (KBSE) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | ユースケースモデルに基づくソースコード検証のためのリバースエンジニアリング手法の検討 : 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 |
| 第 1 著者 氏名（和/英） | 小形 真平 / Shinpei OGATA |
| 第 1 著者 所属（和/英） | 信州大学大学院理工学系研究科 Graduate School of Science and Technology, Shinshu University |
| 第 2 著者 氏名（和/英） | 青木 善貴 / Yoshitaka AOKI |
| 第 2 著者 所属（和/英） | 芝浦工業大学大学院理工学研究科 Graduate School of Engineering and Science, Shibaura Institute of Technology |
| 第 3 著者 氏名（和/英） | 谷沢 智史 / Satoshi YAZAWA |
| 第 3 著者 所属（和/英） | 株式会社ボイスリサーチ Voice Research, Inc. |
| 第 4 著者 氏名（和/英） | 松浦 佐江子 / Saeko MATSUURA |
| 第 4 著者 所属（和/英） | 芝浦工業大学大学院理工学研究科 Graduate School of Engineering and Science, Shibaura Institute of Technology |
| 発表年月日 | 2015-01-26 |
| 資料番号 | KBSE2014-42 |
| 巻番号（vol） | vol.114 |
| 号番号（no） | 420 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |