Abstract
A well structured design is an essential feature in the development of a software system. Assessment of the design throughout the development process is therefore an important task. However, it can be a difficult and highly subjective process. We present tools to assist in the evaluation of designs of Ada systems. These tools furnish two different abstract views of the system structure, one focusing on control flow and the other on data coupling. We identify the effect of three classes of design methodologies on these views, and discuss how to use the views to facilitate design assessment.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
V. R. Basili and G. Caldiera. Reusing Existing Software. Technical report, Dept. of Computer Science, Un. of Maryland-CP, October 1988.
G. Booch. Object-Oriented Development. IEEE Transactions on Software Engineering, 12(2), February 1986.
V. R. Basili and H. D. Rombach. The TAME Project:Towards Improvement-Oriented Software Environments. IEEE Transactions on Software Engineering, 14(6), June 1988.
V. R. Basili and A. Turner. Iterative enchancement: A practical technique for software development. IEEE Transactions on Software Engineering, 1(1):390–196, December 1975.
J. Cameron. JSP & JSD: The Jackson Approach to Software Development. IEEE Computer Society Press, 1989.
G. Cormack. An Algorithm for the selection of overloaded functions in Ada. SIGPLAN Notices, 16(2):48–52, 1981.
A. Delis and V. Basili. Data binding tool: a tool for measurement based ada source reusability and design assessment. Technical report, University of Maryland, Computer Science Dept. CS-TR-2470, May 1990.
D. Hutchens and V. R. Basili. System Structure Analysis: Clustering with Data Bindings. IEEE Transactions on Soft. Engineering, 11(8), August 1985.
C. Hammons and P. Dobbs. Coupling, Cohesion, and Package unity in Ada. ACM Ada Letters, IV(6):49–59, 1984.
S. Johnson. Yacc-yet another compiler compiler. Technical report, AT&T Bell Laboratories, 1975.
R. W. Jensen and C. C. Tonies. Software Engineering. Prentice-Hall, Inc., 1979.
T. Korson and J. McGregor. Understanding object-oriented: A unifying paradigm. Communications of ACM, 33(9), September 1990.
M. Lesk. Lex-a lexical analyzer generator. Technical report, AT&T Bell Laboratories, 1975.
R. C. Linger, H. D. Mills, and B. I. Witt. Structured Programming: Theory and Practice. Addison-Wesley, 1979.
G. Myers. Composite-Structured Design. Van Nostrand Reinhold Company, 1978.
M. L. Shooman. Software Engineering: Design, Reliability, and Management. McGraw-Hill, 1983.
E. Yourdon and L. Constantine. Structured Design. Prentice-Hall, first edition, 1979.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Delis, A., Thomas, W.M. (1991). Design assessment of Ada systems using static analysis. In: Christodoulakis, D. (eds) Ada: The Choice for '92. Ada-Europe 1991. Lecture Notes in Computer Science, vol 499. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0018499
Download citation
DOI: https://doi.org/10.1007/BFb0018499
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54092-2
Online ISBN: 978-3-540-47396-1
eBook Packages: Springer Book Archive