Serviço de Verificação de Telecomando (norma ECSS-E-7041A)

Objetivo

Avaliar a criação de casos de teste seguindo a metodologia de teste COFI (Conformance and Fault Injection) a partir da especificação de um serviço da norma ECSS-E-70-41A.

A norma ECSS-E-70-41A - "European Cooperation for Space Standardization - Ground system and operations - telemetry and telecommand packet utilization" foi proposta pela ESA como um padrão de serviços de comunicação solo-bordo.

O serviço escolhido foi: verficação de telecomando (TC Verification).

Descrição

Idéia geral da COFI aplicada aos conceitos e documentos das normas ECSS:





Visão geral do serviço TC Verification:





Resultados


Definição dos Pontos de Controle e Observação para realização dos testes:





Arquitetura Ferry-Injection adaptada ao serviço:





Diagramas de estado gerados segundo a divisão proposta na COFI:

• situações normais;
• situações excepcionais especificadas;
• situações de caminhos furtivos (eventos corretos que ocorrem em estados errôneos);
• situações de tratamento de erros externos.

Diagrama de estado Normal:











Avaliação da seqüência de teste

A seqüência de teste COFI consta da união dos casos de teste gerados pela aplicação dos diagramas acima à ferramenta Condado. Cada diagrama foi submetido a ferramenta Condado para geração automatica de casos de teste, sendo cada trajeto no diagrama, um caso de teste.

A avaliação deste conjunto de teste foi realizada usando-se mutação de Máquinas de Estados.

O conceito de mutação permite avaliar a adequação de casos de teste a uma classes de erros. No caso, usamos erros prórpios de especificação em máquina de estados. O mutantes foram gerados usando-se a ferramenta Proteum/FSM do projeto PLAVIS. Os mutantes gerados, por tipo de erro, são mostrados na tabela abaixo.

imagen

Conclusão:

O estudo mostrou:

• quão cedo no processo de desenvolvimento os testes podem começar,
• que a metodologia de teste além de melhorar o entendimento, melhora a qualidade das normas, se alguma formalidade é introduzida,
• auxilia a escrita de documentos tetáveis ,
• que o uso de métodos formais pode acontecer de forma suave,
• além de testes de conformidade, testes de robustez também podem ser derivados.

Publicações

Ambrosio, A.M. CoFI : uma metodologia de teste de conformidade e injeção de falhas para validação de software em aplicações espaciais. Para mais detalhes clique aqui

Ambrosio, A.M.; Martins, E.; Vijaykumar, N.L.; Carvalho, S.V. Systematic Generation of Test and Fault Cases for Space Application Validation. Para mais detalhes clique aqui

Ambrosio, A.M.; Martins, E.; Vijaykumar, N.L.; Carvalho, S.V. CoFI – Conformance and Fault Injection – a testing process including test and fault cases derivation for space application software validation. Para mais detalhes clique aqui

Ambrosio, A. M.; Martins, E.; Vijaykumar, N.L.; de Carvalho, S.V. A Conformance Testing Process for Space Applications Software Services. Para mais detalhes clique aqui