Técnica de Inspeção Baseada em Checklist para Identificação de Defeitos em Diagramas de Atividades

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

Resumo


A especificação de aplicações de software contemporâneas costuma envolver uma quantidade de informação que necessita ser devidamente capturada e representada. Utilizar casos de uso e diagramas de atividades representa uma alternativa viável desde que se possa garantir sua qualidade. Entretanto, esta garantia está limitada pela carência atual de técnicas que apoiem a identificação de defeitos, principalmente, em diagramas de atividades. Desta forma, neste artigo apresentamos ActCheck, uma técnica configurável de inspeção baseada em checklist desenvolvida para apoiar a identificação de defeitos em diagramas de atividades usados na especificação de requisitos. Um estudo de viabilidade indicou que inspeções com ActCheck permitem identificar defeitos diferentes dos detectados por inspeções ad-hoc, apesar da necessidade de reorganização dos itens dos checklists visando otimizar o tempo de inspeção.
Palavras-chave: Diagramas de Atividades, Identificação de Defeitos

Referências

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.
Publicado
06/06/2011
MELLO, Rafael M. de; MASSOLLAR, Jobson L.; TRAVASSOS, Guilherme H.. Técnica de Inspeção Baseada em Checklist para Identificação de Defeitos em Diagramas de Atividades. In: SIMPÓSIO BRASILEIRO DE QUALIDADE DE SOFTWARE (SBQS), 10. , 2011, Curitiba. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2011 . p. 119-133. DOI: https://doi.org/10.5753/sbqs.2011.15391.