Using Models to Assess Impact of Defective Software

Juan C. Augusto, George Wilkie, Hui Wang, Jun Liu, Chunping Li

Abstract

We explain a new strategy to model a set of java classes and to abstract a model from them that can be use to study the impact that defects affecting specific classes can have on the whole system. We use the models of the software implementation as an abstraction of the software that can be used for experimentation We used simulation and verification in SPIN but the idea can be applied to implementations in other languages than java and the analysis of defects impact can be done with other verification tools as well.

References

  1. Gaffney, J. R. Estimating the Number of Faults in Code, IEEE Trans. Software Eng., 10(4), 1984.
  2. Khoshgoftaar, T. M. and Seliya, N. The Necessity of Assuring Quality in Software Measurement Data, Proc. 10th Int'l Symp. Software Metrics, IEEE Press, 2004.
  3. Subramanyam, R. and Krishnan, M. S. Empirical Analysis of CK Metrics for ObjectOriented Design Complexity: Implications for Software Defects, IEEE Trans. Software Eng., 29(4), 2003.
  4. Chidamber, S. R. and Kemerer, C. F. A Metrics Suite for Object-Oriented Design, IEEE Trans. Software Eng., 20, 1994.
  5. Menzies, T. DiStefano, J. Orrego, A. and Chapman, R. Assessing Predictors of Software Defects, Proc. Workshop Predictive Software Models, 2004.
  6. Wilkie, F. G. and Hylands. B. Measuring Complexity in C++ Applications. Software Practice & Experience, 28(5), 1998.
  7. Berard, B., Bidoit, M., Finkel, A., Laroussinie, F., Petit, A., Petrucci, L., Schnoebelen, P. Systems and Software Verification: Model-Checking Techniques and Tools, Springer Verlag, 2001.
  8. Holzmann, G. J. The Spin Model Checker Primer and Reference Manual, Addison-Wesley, Reading, Massachusetts. 2003.
Download


Paper Citation


in Harvard Style

Augusto J., Wilkie G., Wang H., Liu J. and Li C. (2011). Using Models to Assess Impact of Defective Software . In Proceedings of the International Joint Workshop on Information Value Management, Future Trends of Model-Driven Development, Recent Trends in SOA Based Information Systems and Modelling and Simulation, Verification and Validation - Volume 1: MSVVEIS, (ICEIS 2011) ISBN 978-989-8425-60-7, pages 71-77. DOI: 10.5220/0003596000710077


in Bibtex Style

@conference{msvveis11,
author={Juan C. Augusto and George Wilkie and Hui Wang and Jun Liu and Chunping Li},
title={Using Models to Assess Impact of Defective Software},
booktitle={Proceedings of the International Joint Workshop on Information Value Management, Future Trends of Model-Driven Development, Recent Trends in SOA Based Information Systems and Modelling and Simulation, Verification and Validation - Volume 1: MSVVEIS, (ICEIS 2011)},
year={2011},
pages={71-77},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003596000710077},
isbn={978-989-8425-60-7},
}


in EndNote Style

TY - CONF
JO - Proceedings of the International Joint Workshop on Information Value Management, Future Trends of Model-Driven Development, Recent Trends in SOA Based Information Systems and Modelling and Simulation, Verification and Validation - Volume 1: MSVVEIS, (ICEIS 2011)
TI - Using Models to Assess Impact of Defective Software
SN - 978-989-8425-60-7
AU - Augusto J.
AU - Wilkie G.
AU - Wang H.
AU - Liu J.
AU - Li C.
PY - 2011
SP - 71
EP - 77
DO - 10.5220/0003596000710077