A Model-Driven Software Reuse Approach (in portuguese)

176
uma medida instantânea como uma previsão da manutenibilidade com o tempo. Esforços
para medir e rastrear a manutenibilidade têm por objetivo reduzir ou reverter a tendência de
degradação de integridade de um sistema, e indicar quando pode ser mais barato ou menos
arriscado reconstruir do que modificar (VANDOREN, 1997). No contexto da engenharia de
domínio, ela é um indicador importante da reusabilidade de um artefato (MASCENA; ALMEIDA;
MEIRA, 2005), uma vez que um domínio está constantemente em evolução, com novas features
ou produtos sendo desenvolvidos (ALMEIDA et al., 2007a). O Índice de Manutenibilidade
(IM) busca medir a manutenibilidade de um módulo, sendo definido da seguinte maneira
(VANDOREN, 1997):
IM = 171 − 5.2 ∗ ln(aveV ) − 0.23 ∗ aveV (g ′ ) − 16.2 ∗ ln(aveLOC) + 50 ∗ sin( 2.4 ∗ perCM)
onde: aveV = média do volume Halstead V por módulo, aveV(g’) = média da complexidade
ciclomática estendida por módulo, aveLOC = média de linhas de código por módulo, e perCM
= média da porcentagem de linhas de comentário por módulo.
A complexidade ciclomática é discutida na métrica M7. O volume Halstead V de um
módulo é calculado da seguinte maneira:
V = N ∗ log 2 n
onde N = número total de operadores + número total de operandos do módulo e n = número
total de operadores distintos + número total de operandos distintos do módulo.
Segundo esta métrica, módulos com IM menor do que 65 são difíceis de serem mantidos,
módulos entre 65 e 85 possuem manutenibilidade razoável e módulos com IM maior do que 85
possuem boa manutenibilidade.
Esta métrica é normalmente utilizada em artefatos de código-fonte, mas também pode
ser aplicada a geradores de código, uma vez que os mesmos também possuem operadores e
operandos. Geradores baseados em templates, que são um dos focos desta abordagem, possuem
código embutido e marcações especiais que representam operações simples, como condições e
laços. As seguintes regras são utilizadas para cálculo do volume Halstead V de um gerador
baseado em template:
• Variáveis, trechos de código contínuo e constantes são consideradas operandos;
• Marcações responsáveis por uma consulta, como uma seleção de elementos de um
modelo, ou impressão de um determinado valor, são consideradas operadores;