Some maintainability metrics for a communication protocol specified in Estelle

Author

Huang, Sun-Jen ; Lai, Richard

Author_Institution

Dept. of Comput. Sci. & Eng., La Trobe Univ., Bundoora, Vic., Australia

fYear

1998

fDate

19-21 Aug 1998

Firstpage

218

Lastpage

223

Abstract

With the application of formal description techniques (FDTs) in the communication protocol area since the mid 1980s, avenues have been opened up to allow a system to be analyzed early in the specification phase. Quantitative measures on its maintainability can then be extracted from such a formal specification, so that we can develop easily maintainable communication software systems and further reduce the increasingly high cost of software maintenance. This paper describes some maintainability metrics for a communication protocol specified in Estelle

Keywords

computer communications software; formal specification; software maintenance; software metrics; transport protocols; Estelle; communication protocol; communication software systems; early specification phase; formal description techniques; formal specification; maintainability metrics; software maintenance; Costs; Electronic mail; Phase measurement; Protocols; Software maintenance; Software measurement; Software metrics; Software quality; Software standards; Software systems;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Software and Applications Conference, 1998. COMPSAC '98. Proceedings. The Twenty-Second Annual International

Conference_Location

Vienna

ISSN

0730-3157

Print_ISBN

0-8186-8585-9

Type

conf

DOI

10.1109/CMPSAC.1998.716659

Filename

716659