Checklist-based Inspection of SMarty Variability Models - Proposal and Empirical Feasibility Study

Ricardo T. Geraldi, Edson Oliveira Jr., Tayana Conte, Igor Steinmacher

Abstract

Software inspection is a particular type of software review applied to all life-cycle artifacts and follows a rigorous and well-defined defect detection process. Existing literature defines several inspection techniques for different domains. However, they are not for inspecting product-line UML variability models. This paper proposes SMartyCheck, a checklist-based software inspection technique for product-line use case and class variability models according to the SMarty approach. In addition, it presents and discusses the empirical feasibility of SMartyCheck based on the feedback from several experts. It provides evidence of the SMartyCheck feasibility, as well as to improve it, forming a body of knowledge for planning prospective empirical studies and automation of SMartyCheck.

References

  1. Alshazly, A. a., Elfatatry, A. M., and Abougabal, M. S. (2014). Detecting defects in software requirements specification. Alexandria Engineering Journal.
  2. Anda, B. and Sjøberg, D. I. K. (2002). Towards an inspection technique for use case models. In Proc. Int. Conf. on Software Engineering and Knowledge Engineering (SEKE), pages 127-134, New York, NY, USA. ACM.
  3. Belgamo, A., Fabbri, S., and Maldonado, J. C. (2005). TUCCA: Improving the Effectiveness of Use Case Construction and Requirement Analysis. In Proc. Int. Symposium on Empirical Software Engineering (ESEM), pages 257-266. IEEE.
  4. Boehm, B. and Basili, V. R. (2001). Software Defect Reduction Top 10 List. IEEE Computer, pages 135-137.
  5. Capilla, R., Bosch, J., and Kang, K.-C. (2013). Systems and Software Variability Management: Concepts, Tools and Experiences. Springer Berlin Heidelberg.
  6. Ciolkowski, M., Laitenberger, O., and Biffl, S. (2003). Software Reviews: The State of the Practice. IEEE Software, 20(6):46-51.
  7. Corbin, J. M. and Strauss, A. L. (2008). Basics of Qualitative Research: Techniques and Procedures for Developing Grounded Theory. Sage Publications, 3 edition.
  8. Cunha, R., Conte, T. U., de Almeida, E. S., and Maldonado, J. C. (2012). A Set of Inspection Technique on Software Product Line Models. In Proc. Int. Conf. on Software Engineering and Knowledge Engineering (SEKE), pages 657-662.
  9. Fagan, M. (2002). A History of Software Inspections. Springer Berlin Heidelberg.
  10. Fagan, M. E. (1986). Advances in Software Inspections. IEEE Transactions on Software Engineering (TSE), pages 744-751.
  11. Hayes, J., Raphael, I., Holbrook, E., and Pruett, D. (2006). A Case History of International Space Station Requirement Faults. In Proc. Int. Conf. on IEEE Engineering of Complex Computer Systems (ICECCS), page 10. IEEE Computer Society.
  12. IEEE (1998a). Recommended Practice for Software Requirements Specifications, Standard 830-1998.
  13. IEEE (1998b). Software Reviews, Standard 1028-1997.
  14. IEEE (2012). System and Software Verification and Validation, Standard 1012-2012.
  15. Lamsweerde, A. (2009). Requirements Engineering: From System Goals to UML Models to Software Specifications. John Wiley & Sons.
  16. Linden, F., Schmid, K., and Rommes, E. (2007). Software Product Lines in Action: The Best Industrial Practice in Product Line Engineering. Springer.
  17. Marcolino, A., OliveiraJr, E., Gimenes, I., and Barbosa, E. (2014). Empirically Based Evolution of a Variability Management Approach at UML Class Level. In Proc. Int. Conf. Computers, Software & Applications (COMPSAC), pages 354-363, Vasteras, Sweden.
  18. Mello, R. M., Teixeira, E. N., Schots, M., and Werner, C. M. L. (2014). Verification of Software Product Line Artefacts: A Checklist to Support Feature Model Inspections. Journal of Universal Computer Science (JUCS), 20(5):720-745.
  19. OliveiraJr, E., Gimenes, I., and Maldonado, J. (2010). Systematic Management of Variability in UML-based Software Product Lines. Journal of Universal Computer Science (JUCS), 16(17):2374-2393.
  20. Rombach, D., Ciolkowski, M., Jeffery, R., Laitenberger, O., McGarry, F., and Shull, F. (2008). Impact of research on practice in the field of inspections, reviews and walkthroughs. ACM SIGSOFT Software Engineering Notes, 33(6):26.
  21. SEI (2009). Software Engineering Institute Arcade Game Maker (AGM) Pedagogical Product Line. Carnegie Mellon University.
  22. Travassos, G. H., Shull, F. J., Fredericks, M., and Basili, V. R. (1999). Detecting Defects in Object-Oriented Designs: Using Reading Techniques to Increase Software Quality. In Proc. Int. Conf. (ACM SIGPLAN) on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), pages 47-56, New York, USA. ACM Press.
Download


Paper Citation


in Harvard Style

T. Geraldi R., Oliveira Jr. E., Conte T. and Steinmacher I. (2015). Checklist-based Inspection of SMarty Variability Models - Proposal and Empirical Feasibility Study . In Proceedings of the 17th International Conference on Enterprise Information Systems - Volume 2: ICEIS, ISBN 978-989-758-097-0, pages 268-276. DOI: 10.5220/0005350102680276


in Bibtex Style

@conference{iceis15,
author={Ricardo T. Geraldi and Edson Oliveira Jr. and Tayana Conte and Igor Steinmacher},
title={Checklist-based Inspection of SMarty Variability Models - Proposal and Empirical Feasibility Study},
booktitle={Proceedings of the 17th International Conference on Enterprise Information Systems - Volume 2: ICEIS,},
year={2015},
pages={268-276},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005350102680276},
isbn={978-989-758-097-0},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 17th International Conference on Enterprise Information Systems - Volume 2: ICEIS,
TI - Checklist-based Inspection of SMarty Variability Models - Proposal and Empirical Feasibility Study
SN - 978-989-758-097-0
AU - T. Geraldi R.
AU - Oliveira Jr. E.
AU - Conte T.
AU - Steinmacher I.
PY - 2015
SP - 268
EP - 276
DO - 10.5220/0005350102680276