Checklist Based Inspection Technique for Defect Identification in Activity Diagrams

• Rafael M. de Mello UFRJ
• Jobson L. Massollar UFRJ
• Guilherme H. Travassos UFRJ

DOI: https://doi.org/10.5753/sbqs.2011.15391

Abstract

The specification of contemporary applications uses to involve a large amount of information to be captured and represented. The using of use cases and activity diagrams represents a promising alternative whether these artifact´s quality can be assured. However, quality assurance is limited by the lack of software technologies that can support defects identification mainly considering the use of activity diagrams. Therefore, in this paper we introduce ActCheck, a configurable inspection technique based on checklist to support the identification of defects in software specifications described by activity diagrams. A feasibility study has indicated that the using of ActCheck allows the identification of different defects when compared with those ones from ad-hoc inspections even considering the need of reorganization of its checklists’ items aiming at to reduce the inspection time.

Keywords: Activity Diagrams, Defect Identification

References

Almendros-Jimenes, J. e Iribarne, L. (2005) “Describing Use Cases with Activity Charts”, LNCS, v. 3511, Springer-Verlag Heidelberg, pp. 153-167.

Barcelos, R. F. e Travassos, G. H. (2006) “ArqCheck: Uma Abordagem para inspeção de documentos arquiteturais baseada em checklist”, Anais do V SBQS.

Basili, V. R., Green, S., Laitenberger, O., Lanubile, F., Shull, F., Sørumgård, S. e Zelkowitz, M. (1996) “The Empirical Investigation of Perspective-Based Reading” Empirical Software Engineering: An International Journal, v. 1, n. 2, pp.133-164.

Belgamo A. e Fabbri S. (2004) “GUCCRA: Contribuindo para a identificação de defeitos em documentos de requisitos durante a construção de modelos de casos de uso”, Anais do VII Workshop de Engenharia de Requisitos (WER’04), pp.100-111.

Choi E. e Watanabe H. (2005) “Model checking class specifications for web applications”, Proceedings of 12th Asia-Pacific Software Engineering Conference.

Eshuis, R. e Wieringa, R. (2004) “Tool support for verifying UML activity diagrams,” IEEE Transactions On Software Engineering, v. 30, n. 7.

Gross, A. e Doerr, J. (2009) “EPC vs. UML Activity Diagram - Two Experiments Examining their Usefulness for Requirements Engineering”, Proceedings of 17th IEEE International Requirement Engineering Conference.

Guelfi N. e Mammar A., “A formal semantics of timed activity diagrams and its PROMELA translation”, Proceedings of 12th Asia-Pacific Software Engineering Conference.

Gutiérrez J. J., Nebut C., Escalona M. J., Mejías M. e Ramos, I. M. (2008) “Visualization of Use Cases through Automatically Generated Activity Diagrams”, LNCS, v. 5301, pp.83–96.

Mafra, S. N., Travassos, G. H. (2006) “Leitura Baseada em Perspectiva: A Visão do Projetista Orientada a Objetos”, Anais do V SBQS.

Mafra, S. N., Barcelos, R. F., Travassos, G. H. (2006) “Aplicando uma Metodologia Baseada em Evidência na Definição de Novas Tecnologias de Software”, Anais do XX SBES.

Massollar, J. (2011) “Uma Abordagem para Especificação de Requisitos Dirigida por Modelos Integrada ao Controle da Qualidade de Aplicações Web”, Tese de Doutorado, Programa de Engenharia de Sistemas e Computação, COPPE/UFRJ.

Mello, R. M., Pereira, W. M., Travassos, G. H. (2010) “Activity Diagram Inspection on Requirements Specification”, Anais do XXIV SBES.

OMG (2009) “OMG Unified Modeling Language (OMG UML), Superstructure Version 2.2”, http://www.omg.org/spec/UML/2.2/Superstructure.

Pastor, O., Abrahão, S., Fons, J. (2001) “An Object-Oriented Approach to Automate Web Applications Development”, LNCS, v. 2115, Springer-Verlag, pp. 16-28.

Pereira, W. M., Araújo, M. A. P. e Travassos, G. H. (2009) “Apoio na Concepção de Workflow Científico Abstrato para Estudos in virtuo e in silico em Engenharia de Software”, Proceedings of VI ESELAW.

SAS (2011) “JMP Software”, http://www.jmp.com/.

Shull, F., Travassos, G. H., Carver, J., Basili, V. R. (1999) “Evolving a Set of Techniques for OO Inspections”, Technical Report CSTR-4070, University of Maryland.

Shull, F., Rus, I. e Basili, V. (2000) “How perspective-based reading can improve requirements inspections”, IEEE Computer, v. 33, n. 7, pp. 73-79.

Shull, F., Carver, J., Travassos, G. (2001) “An Empirical Methodology for Introducing Software Processes”, Proceedings of the 8th European Software Engineering Conference - 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering. ACM Press, pp. 288 – 296.

Takaki, O., Seino, T., Takeuti, I., Izumi N. e Takahashi K. (2007) “Verification Algorithm of evidence life cycles in extended UML activity diagrams”, Proceedings of the International Conference On Software Engineering Advances (ICSEA’07).

Tanriöver, O. e Bilgen, S. (2007) “An inspection approach for conceptual models in notations derived from UML: a case study”, 22nd International Symposium on Computer. and Information. Sciences, pp. 57-62.

Travassos, G. H., Shull, F., Fredericks, M. e Basili, V. R. (1999) “Detecting defects in object-oriented designs: using reading techniques to increase software quality”. OOPSLA, v. 34, n. 10, pp. 47-56.

Travassos, G. H., Shull, F., Carver, J. (1999b) “Evolving a Process for Inspecting OO Designs”, XIII SBES: Workshop de Qualidade de Software

Wong, Y. K. (2006) “Modern Software Review- Techniques and Technologies”, IRM Press, 2006.

Wynn, M. T. , Verbeek, H. M. W. , Van Der Aalst, W. M. P., ter Hofstede A. H. M. e Edmond, D. (2009) “Business process verification- finally a reality!”, Business Process Management Journal, v. 15, n. 1, pp. 74-92.