ユースケースモデルに基づくソースコード検証のためのリバースエンジニアリング手法の検討－ASP.NETアプリケーションを事例として

摘要

ソフトウェア開発において，要求仕様書とソースコードの対応関係を保持することは容易ではなく，最終的にソースコードが要求仕様を満たしていることの検証は困難である．本研究では，UMLによるユースケースモデルに沿って，モデル検査技術によるソースコード検証を行いやすいように，ソースコードから検証に必要な情報を抽出する手法の実現を目指す．本論文では，業務系ソフトウェアを対象にCommon Criteriaによるセキュリティ要求の検証支援を目標として，大学で実稼動する授業支援ASRNETアプリケーションを事例に，静的解析によるソースコードのリバースエンジニアリング手法を検討し，その実現の可能性と課題について考察する．