Software engineering metrics and models
Software engineering metrics and models
An introduction to Estelle: a specification language for distributed systems
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Semi-automatic implementation of OSI protocols
Computer Networks and ISDN Systems - Special issue application of formal techniques to the OSI protocols
Estelle development toolset (EDT)
Computer Networks and ISDN Systems
Software metrics (2nd ed.): a rigorous and practical approach
Software metrics (2nd ed.): a rigorous and practical approach
On measuring the complexity of an Estelle specification
Journal of Systems and Software
Deriving complexity information from a formal communication protocol specification
Software—Practice & Experience
Estimating the size of an Estelle specification for a communication protocol
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Some Maintainability Metrics for a Communication Protocol Specified in Estell
COMPSAC '98 Proceedings of the 22nd International Computer Software and Applications Conference
A New User's Experiences and Impressions with Estelle
FORTE '89 Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols
Hi-index | 0.00 |
An obstacle to the uses of software metrics and size models, which we have developed for measuring the complexity and maintainability of a communication protocol specified in Estelle and for estimating the size of its specification and implementation, is the time-consuming effort in collecting the metrics. To address this problem, a software system called PSAMS (protocol specification assessment and measurement system) for automatically calculating the metrics and sizes of specification and implementation has been developed. This paper describes the design of PSAMS, which provides five functionalities for a communication protocol Estelle specification: exploring its specification, measuring its complexity, assessing its maintainability, estimating its specification size and estimating its implementation size. To demonstrate the usefulness of PSAMS, we have applied it to measure the complexity and maintainability of 10 communication protocol Estelle specifications; the measurement results and decision support information provided by each functionality are presented in this paper. With PSAMS, communication protocol designers and developers are able to assess the complexity of a communication protocol early in the specification stage and have information which helps them manage a communication software project better.