Predictive software metrics based on a formal specification

Samson, W. B.; Nevill, Denis; Dugard, Pat

doi:10.1016/0950-5849(87)90344-2

Cited by 19 publications

(10 citation statements)

References 4 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Such techniques formed the core of the approaches adopted by Kitchenham and Pickard (1987) and Pickard (1987), although the authors quite rightly came to the conclusion that their use was far from satisfactory, and proposed possible non-parametric alternatives. The classical approach also was used in the report on the Alvey project based at Dundee (Sampson et al, 1987).…”

Section: Mayer and Sykesmentioning

confidence: 99%

See 1 more Smart Citation

Statistical methods for the analysis of software metrics data

Mayer

Sykes

1992

Software Qual J

View full text Add to dashboard Cite

The authors present case study applications of statistical methods for the analysis of software metrics data which recognize the discrete nature of such data. A procedure is also described which allows a component of complexity independent of size to be extracted from the usual Halstead's metrics and McCabe's cyclomatic number. The methods described are different from the usual regression and non-parametric methods previously applied to software metrics. With the software quality practitioner in mind, the paper explores how these new methods are helpful in understanding the relationships between software metrics.

show abstract

Section: Mayer and Sykesmentioning

confidence: 99%

“…As a further example consider the Ada data on 81 modules constituting the 'GT data set' of Sampson et aL (1987). Figure 4 shows a scatterplot of Sampson's first cyclomatic complexity metric (cl) against Halstead's volume.…”

Section: A Further Examplementioning

confidence: 99%

Statistical methods for the analysis of software metrics data

Mayer

Sykes

1992

Software Qual J

View full text Add to dashboard Cite

show abstract

“…Samson et al [13] and Vessey [14] also comment that the measures are only derivable after coding is complete.…”

Section: B Halstead's Metricsmentioning

confidence: 99%

Reliance on correlation data for complexity metric use and validation

MacDonell

1991

SIGPLAN Not.

View full text Add to dashboard Cite

show abstract

“…To the best of our knowledge, the only publicly available case study that took a closer look at correlations between specifications and implementations was conducted by Samson, Nevill and Dugard in 1987 [17]. The authors used Modula-2 modules and a HOPE specification to show that there is a correlation between the number of equations in HOPE and the number of lines of source code and cyclomatic complexity in the Modula-2 modules.…”

Section: Introductionmentioning

confidence: 99%

Predictive Software Measures based on Z Specifications - A Case Study

Bollin

Tabareh

2012

Electron. Proc. Theor. Comput. Sci.

View full text Add to dashboard Cite

Estimating the effort and quality of a system is a critical step at the beginning of every software project. It is necessary to have reliable ways of calculating these measures, and, it is even better when the calculation can be done as early as possible in the development life-cycle. Having this in mind, metrics for formal specifications are examined with a view to correlations to complexity and quality-based code measures. A case study, based on a Z specification and its implementation in ADA, analyzes the practicability of these metrics as predictors

show abstract

Predictive software metrics based on a formal specification

Cited by 19 publications

References 4 publications

Statistical methods for the analysis of software metrics data

Statistical methods for the analysis of software metrics data

Reliance on correlation data for complexity metric use and validation

Predictive Software Measures based on Z Specifications - A Case Study

Contact Info

Product

Resources

About