ソースコードからSOFL形式仕様への生成手法と支援ツールの提案

DOI 機関リポジトリ (HANDLE)

書誌事項

タイトル別名
  • A Method and Tool Support for Generating SOFL Formal Specifications from Programs

この論文をさがす

説明

Software systems developed in practice often lack an appropriate specification defining their functionality. This is also true in legacy software systems and many realistic software projects. Moreover, software review detects bugs, but the result of review depends on the reviewer. To deal with this problem, we put forward an approach to automatically generating formal specifications from source code as a step of reverse engineering. This includes transformations at two levels. One is to transform source code into Condition Data Flow Diagrams (CDFD) used in the Structured Object-Oriented Formal Language (SOFL) specification language, which includes mainly dealing with sequence, selection, and repetition. The other is to support the formation of formal specifications for operations involved in the CDFD and SOFL specification. SOFL is a formal engineering method. It provides a formal language which integrates structured method and object oriented language. By providing a tool support for generating SOFL specifications, we could provide a useful support for the construction of specifications in SOFL and help detect bugs in the source code. The tool can also help visualize the relations between operations for confirmation.

収録刊行物

詳細情報 詳細情報について

  • CRID
    1390009224824865536
  • NII論文ID
    120006714908
  • NII書誌ID
    AA12746425
  • DOI
    10.15002/00021932
  • HANDLE
    10114/00021932
  • ISSN
    24321192
  • 本文言語コード
    ja
  • 資料種別
    departmental bulletin paper
  • データソース種別
    • JaLC
    • IRDB
    • CiNii Articles
  • 抄録ライセンスフラグ
    使用可

問題の指摘

ページトップへ