Assessment of maintainability in object-oriented software

Author

Alagar, V.S. ; Li, Qiaoyun ; Ormandjieva, Olga S.

Author_Institution

Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada

fYear

2001

fDate

2001

Firstpage

194

Lastpage

205

Abstract

In software industrial practice, the high cost of the maintenance process for large-scale software has placed emphasis on the need to manage the maintainability in earlier phases of the software life-cycle. This paper discusses the applicability of architectural complexity measures to managing the complexity in the software maintenance phase and the reliability of the maintenance process. It also discusses the theoretical validity of the architectural complexity measures, as has been established using PVS, a formal verification system

Keywords

information theory; object-oriented programming; program verification; reliability; software architecture; software maintenance; software metrics; PVS; cost; formal verification system; information theory; large-scale software; object-oriented software maintainability assessment; reliability; software architectural complexity measures; software design complexity measurement; software industrial practice; software life-cycle; software maintenance process; Computer industry; Computer science; Costs; Formal verification; Information theory; Laboratories; Phase measurement; Software maintenance; Software measurement; Software systems;

fLanguage

English

Publisher

ieee

Conference_Titel

Technology of Object-Oriented Languages and Systems, 2001. TOOLS 39. 39th International Conference and Exhibition on

Conference_Location

Santa Barbara, CA

ISSN

1530-2067

Print_ISBN

0-7695-1251-8

Type

conf

DOI

10.1109/TOOLS.2001.941673

Filename

941673