Automação da Técnica de Inspeção Guiada Usando MDA e Simulação de Modelos
Resumo
Em um processo de desenvolvimento de software, artefatos de uma etapa são utilizados como fonte para criação de novos artefatos. Então, defeitos podem ser inseridos durante a transição de uma etapa para outra: artefatos podem ficar inconsistentes, levando à construção de um software com defeitos. Neste contexto, uma técnica de inspeção é necessária para validar esses artefatos. Este artigo apresenta uma técnica de automação da técnica de inspeção guiada, a qual avalia a conformidade entre artefatos de diferentes níveis de abstração, utilizando casos de teste. Para dar suporte à automação, utilizamos conceitos de MDA (Model Driven Architecture) para transformação entre modelos e a ferramenta USE para simulação de modelos.
Referências
ATL Project. (2008) "The ATL User Manual". Disponível em: http://www.eclipse.org/m2m/atl/doc/ Acessado em: 20/05/2009.
Eclipse Project. (2006) "MOFScript User Guide". Disponível em: [link] Acessado em: 08/06/2009.
Gogolla M., Büttner F., e Richters, M. (2007). " USE: A UML-Based Specification Environment for Validating UML and OCL". Sci. of Comp. Programming, 69:27-34.
Ho, W. M., Jquel, J.-M., Guennec, A. L., e Pennaneac'h, F. (1999). "UMLAUT: An extendible UML transformation framework". Automated Soft. Eng., 275-278.
Hutcheson, M. L. (2003). Software Testing Fundamentals: Methods and Metrics. John Wiley & Sons, Inc., New York, NY, USA 1 st edition.
Jorgensen, P. C. (1995). Software Testing: A Craftsman's Approach. CRC Press, Inc., Boca Raton, FL, USA, 1 st edition.
Kamperman, J. (2003). "Automated software inspection: A new approach to increased software quality and productivite". Reasoning Inc. Disponível em: http://www.apacheweek.com/issues/ Acessado em: 10/06/2009.
Kleppe, A., Warmer, J., e Bast, W. (2003). MDA Explained: The Model Driven Architecture: Practice and Promise. Addison Wesley, 1 st edition.
Major, M. L. e McGregor, J. D. (1999). "Using guided inspection to validate umlmodels". In: 25th annual Software Engineering Workshop, SEW99.
McGregor, J. D. e Sykes, D. A. (2001). A Practical Guide to Testing Object-Oriented Software. Object Technology Series. Addison-Wesley, 2 nd edition.
OMG, Object Management Group (2005). "Ocl 2.0 specification". Technical Report ptc/2005-06-06, OMG. Disponível em: [link] Acessado em: 10/05/2009.
OMG, Object Management Group (2007). "Uml superstructure, v2.1.1". Technical Report formal/07-02-05, OMG. Disponível em: [link] Acessado em: 10/05/2009.
Sommerville, I. (2007). Software Engineering. Addison-Wesley, United Kingdom, 8 th edition.
Trong, T. D., Kawane, N., Ghosh, S., France, R., e Andrews, A. (2005). "A Tool-Supported Approach to Testing UML Design Models". In Proceedings of the ICECCS'05: Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems.
Eclipse Project. (2006) "MOFScript User Guide". Disponível em: [link] Acessado em: 08/06/2009.
Gogolla M., Büttner F., e Richters, M. (2007). " USE: A UML-Based Specification Environment for Validating UML and OCL". Sci. of Comp. Programming, 69:27-34.
Ho, W. M., Jquel, J.-M., Guennec, A. L., e Pennaneac'h, F. (1999). "UMLAUT: An extendible UML transformation framework". Automated Soft. Eng., 275-278.
Hutcheson, M. L. (2003). Software Testing Fundamentals: Methods and Metrics. John Wiley & Sons, Inc., New York, NY, USA 1 st edition.
Jorgensen, P. C. (1995). Software Testing: A Craftsman's Approach. CRC Press, Inc., Boca Raton, FL, USA, 1 st edition.
Kamperman, J. (2003). "Automated software inspection: A new approach to increased software quality and productivite". Reasoning Inc. Disponível em: http://www.apacheweek.com/issues/ Acessado em: 10/06/2009.
Kleppe, A., Warmer, J., e Bast, W. (2003). MDA Explained: The Model Driven Architecture: Practice and Promise. Addison Wesley, 1 st edition.
Major, M. L. e McGregor, J. D. (1999). "Using guided inspection to validate umlmodels". In: 25th annual Software Engineering Workshop, SEW99.
McGregor, J. D. e Sykes, D. A. (2001). A Practical Guide to Testing Object-Oriented Software. Object Technology Series. Addison-Wesley, 2 nd edition.
OMG, Object Management Group (2005). "Ocl 2.0 specification". Technical Report ptc/2005-06-06, OMG. Disponível em: [link] Acessado em: 10/05/2009.
OMG, Object Management Group (2007). "Uml superstructure, v2.1.1". Technical Report formal/07-02-05, OMG. Disponível em: [link] Acessado em: 10/05/2009.
Sommerville, I. (2007). Software Engineering. Addison-Wesley, United Kingdom, 8 th edition.
Trong, T. D., Kawane, N., Ghosh, S., France, R., e Andrews, A. (2005). "A Tool-Supported Approach to Testing UML Design Models". In Proceedings of the ICECCS'05: Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems.
Publicado
09/09/2009
Como Citar
ROCHA, Anne C. O.; MACHADO, Patrícia D. L.; RAMALHO, Franklin.
Automação da Técnica de Inspeção Guiada Usando MDA e Simulação de Modelos. In: SIMPÓSIO BRASILEIRO DE COMPONENTES, ARQUITETURAS E REUTILIZAÇÃO DE SOFTWARE (SBCARS), 3. , 2009, Natal/RN.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2009
.
p. 181-194.
DOI: https://doi.org/10.5753/sbcars.2009.24110.
