Após terem sido executadas as transformações de extração nos diversos módulos Cobol que compõe o sistema em correção, o próximo passo a ser executado é localizar os diversos tipos de erros existentes. As figuras apresentadas a seguir exemplificam o uso da Máquina Draco-PUC na localização de erros.
Localização de Padrões em Tipos e Nomes de Campo
A Figura 1 mostra de que maneira são procurados erros na File Section e na Working Storage Section. O fator de certeza é utilizado como forma de quantificar cada erro encontrado. O valor atribuido ao fator de certeza é obtido das heurísticas definidas nas transformações.
Por exemplo, o campo definido a seguir:
10 PRIMEIRA-DATA-ALISTAMENTO PIC 9(06)
receberá um fator de erro total igual a 4 referente a possuir o padrão DATA no nome (fator 3) e ter seu tipo definido com 6 posições numéricas (fator 1).
Figura 1 - Localização de Erros em Campos
Propagação de Erros de Subcampos para Registros
Pode ser necessário propagar o erro encontrado em um campo para o registro que o engloba, como no exemplo apresentado a seguir, onde desejamos marcar o registro ANIVERSARIO como um local com erro.
05 ANIVERSARIO
10 DIA PIC 9(02)
10 MÊS PIC 9(02)
10 ANO PIC 9(02)
A Figura 2 mostra a maneira como é feita esta propagação. A porcentagem refere-se a quanto do erro do sub-campo será propagado para o registro que o contém.
Figura 2 - Propagação de erros de sub-campos
Propagação no Acesso a Campos com Erro
Parágrafos que acessam cada um dos campos que possuem erro devem ser corrigidos também. A Figura 3 mostra a maneira como propagamos os erros em campos que possuam um fator de certeza acima de um determinado limiar.
Figura 3 - Propagação de Erros no Acesso a Campos
Visualização
de Erros
Em qualquer momento do trabalho podemos visualizar os erros encontrados através de sua descrição e do local do código fonte onde está definido. A Figura 4 mostra a tela correspondente.
Figura 4 - Visualização de Erros