Browse Prior Art Database

Verification of specification Disclosure Number: IPCOM000012737D
Original Publication Date: 2003-May-23
Included in the Prior Art Database: 2003-May-23
Document File: 1 page(s) / 39K

Publishing Venue



Disclosed is a method of aiding in the maintenance of the specification and implementation of software.

This text was extracted from a PDF file.
This is the abbreviated version, containing approximately 55% of the total text.

Page 1 of 1

Verification of specification

   This invention aids in the maintenance of the specification and implementation of software. Current tools implement a top-down model of software development. Higher-level specifications such as modeling tools are used to generate skeleton implementation of code. Developers then implement the logic. Changes to the higher-level specification are not automatically propagated to the implementation. Implementations may diverge from specification because of need or bugs. If a spiral style of coding is used then a large burden is placed on developers to ensure that the specification is updated as well as the implementation. Current tools provide no mechanism to verify that the implementation and specification match. This invention automatically generates unit testing to monitor the output of the implementation for conformance. Differences between the specification and implementation are automatically noted. Providing for both generation of code and unit testing reduces errors and increases the usefulness of specifications.

     This invention uses a common extensible markup language (XML) file for specification, code generation, unit testing. The common file contains information such as function names and signatures, localization strings, display hints and the current state of development. Much of this information is common between the specification, implementation and testing. Others, such as the current development state, is limited to testing...