JCML - Java Card Modeling Language: Definição e ... - Ifrn

CAPÍTULO 5. JCML - JAVA CARD MODELING LANGUAGE 100Método Tam. Original (LOC) Tem Espec.? JCMLc (LOC) JMLc (LOC)setMatricula 10 Sim 19 119getMatricula 3 Não 3 113setTipo 10 Sim 18 119getTipo 3 Não 3 113adicionarLocal 12 Sim 22 120removerLocal 14 Sim 25 119temAcessoLocal 11 Sim 22 117adicionarCreditos 7 Sim 16 118removerCreditos 7 Sim 16 118getCreditos 3 Não 3 113Classe Total 134 Sim 283 3692Tabela 5.1: Análise da Classe Usuario em Linhas de Código - Diferença entre JCMLc eJMLc .para cada método. Cada linha da tabela descreve o nome do método da classe Usuário,o tamanho original, um identificador (sim ou não) que representa se este método temespecificação para pré-condição, o aumento da quantidade de linhas após compilar comJCMLc e o aumento da quantidade de linha após compilar com JMLc. Apesar do compiladorJCML apesentar, em alguns casos, um aumento de mais de 100% em relação aoarquivo original, este aumento é justificável quando comparado ao compilador JML queapresenta, na maioria dos casos um aumento de mais de 1000%. A aplicação de especificaçãoJCML, apesar do aumento percentual elevado, é suficiente para o desenvolvimentoJava Card. O aumento total em JCML é de 111,19%, enquanto o aumento em JML é de2655,22%.Método Tam. Original (LOC) Tem Espec.? JCMLc (%) JMLc (%)setMatricula 10 Sim 90% 1090%getMatricula 3 Não 0% 3666%setTipo 10 Sim 80% 1090%getTipo 3 Não 0% 3666%adicionarLocal 12 Sim 83% 900%removerLocal 14 Sim 78,57% 750%temAcessoLocal 11 Sim 100% 963,63%adicionarCreditos 7 Sim 128,57% 1585,71%removerCreditos 7 Sim 128,57% 1585,71%getCreditos 3 Não 0% 3666%Classe Total 134 Sim 111,19% 2655,22%Tabela 5.2: Análise do Aumento de Linhas de Código da Classe Usuario (em %) - Diferençaentre JCMLc e JMLc .Em relação ao tamalho do arquivo, o executável gerado a partir do JMLc tem 37