Bruno P. de Souza
ABSTRACT
Context: Software inspection is a static and formal verification technique that aims to detect defects in the earlier stage of software development. Both academic and industrial professionals have widely applied software inspections since they reduce by up to 60% the number of defects in artifacts produced in the software development cycle, being a way to assure the quality. Goal: This paper proposes the SCENARIOTCHECK technique, a new approach to supporting the quality of IoT scenarios-based description by performing inspections. Method: We carried out two experimental studies to evaluate the feasibility and observe the use of the technique. Results: In both studies, the technique presented adequate performance and acceptance by the participants when compared with an ad-hoc technique. Besides, the subjects' feedback supported us on improving the SCENARIOTCHECK. Conclusions: SCENARIOTCHECK is a feasible inspection technique that supports the identification of defects in IoT scenarios artifacts.
- G. S. Walia and J. C. Carver, "A systematic literature review to identify and classify software requirement errors," Inf. Softw. Technol., vol. 51, no. 7, pp. 1087--1109, 2009.Google Scholar
Digital Library
- A. Aurum, H. Petersson, and C. Wohlin, "State-of-the-art: Software inspections after 25 years," Softw. Test. Verif. Reliab., vol. 12, no. 3, pp. 133--154, 2002.Google ScholarCross Ref
- T. Thelin et al., "Past, present and future of Industry 4.0 - a systematic literature review and research agenda proposal," IEEE Trans. Softw. Eng., vol. 34, no. 1, pp. 46--55, 1992.Google Scholar
- F. Zambonelli, "Key Abstractions for IoT-Oriented Software Engineering," IEEE Softw., vol. 34, no. 1, pp. 38--45, 2017.Google ScholarDigital Library
- R. C. Motta, K. M. de Oliveira, and G. H. Travassos, "On challenges in engineering IoT software systems," in Proceedings of the XXXII Brazilian Symposium on Software Engineering, Sao Carlos, Brazil, 2018, pp. 42--51.Google Scholar
- V. M. Silva, "SCENARIOT Support for Scenario Specification of Internet of Things-based Software Systems," pp. 1--19, 2019.Google Scholar
- F. Shull and J. Carver, "An Empirical Methodology for Introducing Software Processes," Methodology, p. 9, 2001.Google Scholar
- D. Giusto, A. Iera, and L. Atzori, The internet of things: 20th Tyrrhenian workshop on digital communications.Google Scholar
- M. E. Fagan, "Advances in Software Inspections," IEEE Trans. Softw. Eng., vol. SE-12, no. 7, pp. 744--751, 1986.Google ScholarDigital Library
- M. E. Fagan, "Design and code inspections to reduce errors in program development," IBM Syst. J. vol. 15, no. 3, pp. 182--211, 2010.Google ScholarDigital Library
- E. Trumm and C. Wegmann, "Software Defect Reduction Top 10 List," pp. 3--5.Google Scholar
- V. R. Basili et al., "The empirical investigation of perspective-based reading," Empir. Softw. Eng., vol. 1, no. 2, pp. 133--164, 1996.Google ScholarCross Ref
- M. E. Fagan, "Design and Code Inspections to Reduce Errors in Program Development," IBM Syst. J. vol. 38, pp. 258--287, 1999.Google ScholarDigital Library
- G. Travassos, F. Shull, M. Fredericks, and V. R. Basili, "Detecting defects in object-oriented designs: using reading techniques to increase software quality," ACM Sigplan Not., vol. 34, no. 10, pp. 47--56, 1999.Google ScholarDigital Library
- E. Montoro Hernandes, A. Belgamo, and S. Fabbri, "Experimental Studies in Software Inspection Process - A Systematic Mapping," Proc. 15th Int. Conf. Enterp. Inf. Syst., pp. 66--76, 2013.Google Scholar
- S. A. Ebad, "Inspection reading techniques applied to software artifacts - A systematic review," Comput. Syst. Sci. Eng., vol. 32, no. 3, pp. 213--226, 2017.Google Scholar
- A. A. Alshazly, A. M. Elfatatry, and M. S. Abougabal, "Detecting defects in software requirements specification," Alexandria Eng. J. vol. 53, no. 3, pp. 513--527, 2014.Google ScholarCross Ref
- J. C. S. do P. Leite, J. H. Doorn, G. D. S. Hadad, and G. N. Kaplan, "Scenario inspections," Requir. Eng., vol. 10, no. 1, pp. 1--21, 2005.Google ScholarDigital Library
- B. P. De Souza, R. C. Motta, and G. H. Travassos, "The first version of SCENARIOTCHECK A Checklist for IoT based Scenarios," in XXXIII Brazilian Symposium on Software Engineering, 2019, no. September. (to appear)Google Scholar
- V. R. Basili, G. Caldiera, and H. D. Rombach, "The goal question metric approach," Encycl. Softw. Eng., vol. 2, pp. 528--532., 1994.Google Scholar
- M. Kalinowski and G. H. Travassos, "A computational framework for supporting software inspections," in Proceedings - 19th International Conference on Automated Software Engineering, ASE 2004, 2004, pp. 46--55.Google Scholar
- C. Sauer, D. Ross Jeffery, L. Land, and P. Yetton, "The effectiveness of software development technical reviews: A behaviorally motivated program of research," IEEE Trans. Softw. Eng., vol. 26, no. 1, pp. 1--14, 2000.Google ScholarDigital Library
- F. J. Shull, "Developing Techniques for Using Software Documents: A Series of Empirical Studies," in Dissertation Abstracts International, B: Sciences and Engineering, 1999.Google Scholar
- J. Carver, L. Jaccheri, S. Morasca, and F. Shull, "Issues in using students in empirical studies in software engineering education," in Proceedings -International Software Metrics Symposium, 2003, vol. 2003-Janua, pp. 239--249.Google Scholar
- T. Conte, J. Massollar, E. Mendes, and G. H. Travassos, "Usability Evaluation Based on Web Design Perspectives," in First International Symposium on Empirical Software Engineering and Measurement (ESEM 2007), 2007, pp. 146--155.Google Scholar
Index Terms
- An IoT-based Scenario Description Inspection Technique
Recommendations
The first version of SCENARIotCHECK: A Checklist for IoT based Scenarios
SBES '19: Proceedings of the XXXIII Brazilian Symposium on Software EngineeringContemporary Software Systems, such as Ubiquitous Systems, Context-Aware Systems, and Internet of Things (IoT) led to a new technological revolution, with characteristics like autonomy, seamless connectivity and interaction. The engineering of such ...
Towards the Description and Representation of Smartness in IoT Scenarios Specification
SBES '19: Proceedings of the XXXIII Brazilian Symposium on Software EngineeringContemporary Software Systems (CSS) embraces the Internet of Things (IoT) paradigm. Such a paradigm has allowed new technologies, and it is leading to more autonomous and smarter software systems in the fourth industrial revolution. The demand for CSS ...
Checklist-Based Inspection Technique for Feature Models Review
SBCARS '12: Proceedings of the 2012 Sixth Brazilian Symposium on Software Components, Architectures and ReuseAbstract -- Software Product Line Engineering aims to ensure the correctness, completeness and consistency among its artifacts and the specified domain, in order to prevent the spread of defects for the products derived from this domain. Among initial ...
Comments