• DocumentCode
    2399784
  • Title

    Experiments in the use of XML to enhance traceability between object-oriented design specifications and source code

  • Author

    Alves-Foss, Jim ; De Leon, Daniel Conte ; Oman, Paul

  • Author_Institution
    Center for Secure & Dependable Software, Idaho Univ., Moscow, ID, USA
  • fYear
    2002
  • fDate
    7-10 Jan. 2002
  • Firstpage
    3959
  • Lastpage
    3966
  • Abstract
    In this paper we explain how we implemented traceability between a UML design specification and its implementing source code using XML technologies. In our linking framework an XMI file represents a detailed-design specification and a JavaML file represents its source code. These XML-derivative representations were linked using another XML file, an Xlink link-base, containing our linking information. This link-base states which portions of the source code implement which portions of a design specification and vice-versa. We also rendered those links to an HTML file using XSL and traversed from our design specification to its implementing source code. This is the first step in our traceability endeavors where we aim to achieve total traceability among software life-cycle deliverables form requirements to source code.
  • Keywords
    formal specification; formal verification; hypermedia markup languages; object-oriented methods; software engineering; UML design specification; XML; object-oriented design; software life-cycle; source code; traceability; Computer languages; Formal verification; Java; Joining processes; Life testing; Software engineering; Software testing; System testing; Unified modeling language; XML;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    System Sciences, 2002. HICSS. Proceedings of the 35th Annual Hawaii International Conference on
  • Print_ISBN
    0-7695-1435-9
  • Type

    conf

  • DOI
    10.1109/HICSS.2002.994466
  • Filename
    994466