Towards A Measurement Of ADT's Design Complexity
Johnson Kuo, David Morris · WIT transactions on information and communication technologies · 1970
As software system have become more complex, the need for better abstraction mechanisms has led to the widespread use of abstract data types (ADT's). A measure of ADT design complexity is an important factor in describing, explaining, evaluating, and predicting key aspects of the development and maintenance of software systems that use them. This paper discusses a novel method for measuring the design complexity of an ADT through the process of proving its correctness. Then, the relative design complexity of ADT's is expressed in terms of the relative complexity of abstract-to-concrete representation mappings. Comparisons among the results of the developed complexity measure and the results of an experimental study conducted to investigate this issue are given.