An evaluation of integration of the Trace Assertion Method with the Box Structure Method for coding in C++

Author

Alex L. Bangs

Date of Award

8-1993

Degree Type

Thesis

Degree Name

Master of Science

Major

Computer Science

Major Professor

J. H. Poore

Committee Members

Bradley Vander Zanden, Reinhold Mann

Abstract

The Trace Assertion Method, originated by David Parnas, is a method for developing specifications for software modules. The nature of the method allows verification of consistency and completeness of the specification, and provides a rigid structure to the designer. This method is extended to work with object-oriented designs for a C++ system involving a user interface. A number of object-oriented concepts which are not present in the original Trace Assertion Method are incorporated into the method and demonstrated on two completely specified increments of the system being developed. In addition, the method is incorporated into a system wide view beyond the original modular scope of the method. Advantages of the adapted method and its problems are discussed.

Recommended Citation

Bangs, Alex L., "An evaluation of integration of the Trace Assertion Method with the Box Structure Method for coding in C++. " Master's Thesis, University of Tennessee, 1993.
https://trace.tennessee.edu/utk_gradthes/11848