• DocumentCode
    3156214
  • Title

    Software verification and functional testing with XML documentation

  • Author

    Friedman-Hill, E.J.

  • Author_Institution
    Distributed Syst. Res. Dept., Sandia Nat. Labs., Livermore, CA, USA
  • fYear
    2001
  • fDate
    6-6 Jan. 2001
  • Abstract
    Continuous testing is an important aspect of achieving quality during rapid software development. By making the user documentation for a software product into part of its testing machinery, we can leverage each to benefit the other. The documentation itself can be automatically tested and kept in a state of synchronization with the software. Conversely, if the documentation can be machine interpreted, evaluation of the software´s adherence to this description simultaneously verifies the documentation and serves as a functional test of the software. This paper presents an application of these ideas to a real project, the manual for Jess, the Java Expert System Shell. The Jess manual is rich in machine-interpretable information and is used in several distinct modes within Jess´ extensive functional and unit test suites. The effort to maintain the accuracy and completeness of Jess´s documentation has dropped significantly since this method was put in place.
  • Keywords
    expert system shells; hypermedia markup languages; program testing; program verification; system documentation; user manuals; Java Expert System Shell; Jess; XML documentation; functional testing; machine-interpretable information; software development; software quality; software testing; software verification; user documentation; user manual; Automatic testing; Documentation; Feedback; Laboratories; Open source software; Programming profession; Software testing; System testing; Writing; XML;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    System Sciences, 2001. Proceedings of the 34th Annual Hawaii International Conference on
  • Conference_Location
    Maui, HI, USA
  • Print_ISBN
    0-7695-0981-9
  • Type

    conf

  • DOI
    10.1109/HICSS.2001.927263
  • Filename
    927263