A Model for Estimating the Size of a Formal Communication Protocol Specification and Its Implementation
Issue No. 01 - January (2003 vol. 29)
<p><b>Abstract</b>—Good project management is key when developing a software system successfully. To manage a project well, it is important to have the optimal resource allocation which is affected by the size of an implementation. Early software size estimation is essential for good project management. Existing software size models estimate the size of an implementation usually in terms of the number of lines of code. The main drawback of these models is that there is a wide margin of uncertainty as the actual size depends on the type of application and the software development method adopted. To address this drawback, we focus our work on communication protocol, and propose that the size of a formal specification needs to be estimated from an informal specification. This paper presents a two-stage size model for estimating the sizes of a formal communication protocol specification and its implementation, with the model validated using a test data set. The main benefit of this work is that it can give an indication of the likely sizes of both a formal specification and its implementation early at the development stage, giving developers a technique for managing communication software project better.</p>
Size model, regression analysis, formal description techniques, Estelle, EDT.
Richard Lai, Sun-Jen Huang, "A Model for Estimating the Size of a Formal Communication Protocol Specification and Its Implementation", IEEE Transactions on Software Engineering, vol. 29, no. , pp. 46-62, January 2003, doi:10.1109/TSE.2003.1166588