Durante o ciclo de auditoria de segurança de um Sistema de Processamento de Planos de Voo (FPL), identificou-se uma inconsistência lógica na validação de mensagens de atualização compulsórias enviadas pelas companhias aéreas.
O Gerente de Engenharia de Software determinou que a equipe demonstrasse matematicamente quais linhas específicas do código-fonte do módulo de parsing foram geradas a partir de qual requisito técnico de segurança original, e quais casos de testes homologados cobrem esse escopo para subsidiar a homologação regulatória civil.
A atividade de Engenharia de Requisitos voltada a estabelecer links lógicos bidirecionais contínuos entre os requisitos de origem, os artefatos de arquitetura, os componentes de código-fonte e as suítes de testes de validação finais é classificada como rastreabilidade do tipo