Verificação Automática de Situações Excepcionais Através de Casos de Testes Aspectuais Baseados em Modelos

Resumo: Através do paradigma de Programação Orientada a Aspectos (POA) é possível alcançar a modularização e o reuso de código para tratar os interesses transversais dos sistemas, onde diversos estudos ensejam uma integração dos mecanismos de tratamento de exceção com esse objetivo. Entretanto, estudos recentes destacam que ao promover essa integração, o paradigma pode aumentar a propensão a defeitos nos sistemas, porque (i) a construção do código para o tratamento de exceção pode ser feita de forma não intencional pelos aspectos, (ii) a falta de consistência entre os aspectos e os componentes pode resultar em implementações incorretas, além de (iii) existirem evidências que as exceções não são capturadas quando os aspectos atuam como manipuladores de exceções. Este trabalho propõe uma plataforma de geração automática de casos de testes que implementarão inspetores de defeitos orientados a aspectos, cuja integração entre os aspectos e componentes será feita no nível de metamodelos, o que resultará em uma maior consistência na criação dos aspectos com o objetivo de contornar essas barreiras.

Artigo completo aqui

Follow @jaguaracisilva