Internal design of modules specified in the trace assertion method
A software module may be described precisely and completely by a set of related documents: interface specification of the module providing a “black-box” description of its behavior, internal design of the module containing its “clear-box” description, and the code itself. A special formalism is need...
Gespeichert in:
Veröffentlicht in: | Science of computer programming 1997, Vol.28 (2), p.139-170 |
---|---|
Hauptverfasser: | , |
Format: | Artikel |
Sprache: | eng |
Schlagworte: | |
Online-Zugang: | Volltext |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Zusammenfassung: | A software module may be described precisely and completely by a set of related documents: interface specification of the module providing a “black-box” description of its behavior, internal design of the module containing its “clear-box” description, and the code itself. A special formalism is needed in each of these documents. We use the trace assertion method for specification of module interfaces, and LD-relations to specify behavior of individual programs within a module.
The main purpose of our research was to formulate rules and clarify issues relating to the internal design of modules specified using the trace assertion method. Our interests emerged from participation in a broader project aimed at implementation of an integrated set of syntax-driven editors supporting the system documentation process. Many practical problems of the documentation methodology involved were recognized, and solutions were proposed and verified. In this paper we summarize our experience. Appendices contain the complete set of documents for sample modules. |
---|---|
ISSN: | 0167-6423 1872-7964 |
DOI: | 10.1016/S0167-6423(96)00022-6 |