CR

PopovStriginiMayKuball03

Peter Popov & Lorenzo Strigini & John May & Silke Kuball
Estimating Bonds on the reliability of Diverse systems
IEEE Trans Software Engineering V29n4(Apr 2003)pp345-359
=THEORY RELIABILITY MULTI-VERSION REDUNDANT CONTROL SYSTEM
If a piece of software is deterministic it either fails or works on each different input data -- with fixed 1 or zero probability.
However can work with the probability of a data set occurring that leads to failure,
Hence probability joint failure depends on the correlation of the failure probabilities of failure of the components.
Much statistics and some small testing.

Sun-Jen Huang & Richard Lai
Measuring the maintainability of a communication protocol based on its formal specification
IEEE Trans Software Engineering V29n4(Apr 2003)pp327-344
=STATISTICS SPECIFICATION CODE MAINTENANCE METRICS ESTELLE PSAMS C++ CCCC IEEE 1061-1992
Constructs a complex measure of the maintainability of software from the ESTELLE formal specification.
Shows that it correlates (ranking) with C++ maintenance metric.
Conclusion: can predict maintainability of a module from its formal specification.

Ramanath Subramanyam & M S Krishnan
Empirical Analysis of CK metrics for Object-oriented Design Complexity: implications for software defects
IEEE Trans Software Engineering V29n4(Apr 2003)pp297-310
=EMPIRICAL EXPERIENCE STATISTICS Object-Oriented metrics defects SIZE COUPLING INHERITANCE METHODs C++ JAVA ecommerce B2C
Testing and validating some metrics developed by [ChidamberKemerer94]
Correlations 0.20
Size matters: large classes have more defects. Number of methods is less significant than LoC.
Coupling and depth in the inheritance tree interact in their effect on defects.
Language makes a difference: metrics differ, relations between metrics and defects differ.
Java: shallower inheritance tree and more methods per class. Higher coupling had fewer defects. Lower in the inheritance tree had higher defects.
C++: tree higher, fewer methods but more LOC per class. More methods -> more defects. coupling and depth in tree increased number of defects.