ユースケースモデルに基づくソースコード検証のためのリバースエンジニアリング手法の検討 : ASP.NETアプリケーションを事例として (知能ソフトウェア工学)  [in Japanese] An Investigation of a Reverse Engineering Method for Verifying Source Code with a Use Case Model : A Case of an ASP.NET Application  [in Japanese]

Search this Article

Author(s)

Abstract

ソフトウェア開発において,要求仕様書とソースコードの対応関係を保持することは容易ではなく,最終的にソースコードが要求仕様を満たしていることの検証は困難である.本研究では,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.

Journal

  • Technical report of IEICE. KBSE

    Technical report of IEICE. KBSE 114(420), 19-24, 2015-01-26

    The Institute of Electronics, Information and Communication Engineers

Codes

  • NII Article ID (NAID)
    110010008617
  • NII NACSIS-CAT ID (NCID)
    AN10386841
  • Text Lang
    JPN
  • ISSN
    0913-5685
  • NDL Article ID
    026149593
  • NDL Call No.
    Z16-940
  • Data Source
    NDL  NII-ELS 
Page Top