Software TMStation - Projeto MASCO (MÁScara COdificada)

Mais informação sobre o projeto MASCO encontra-se no site: http://www.das.inpe.br/~masco

Objetivo:

Validar, no contexto do Software TMStation do Projeto MASCO :



Descrição:

Características do Telescópio MASCO:




O software TMStation :

Recebe pacotes de telemetria contendo dados científicos capturados pelo telescopio e transmitidos a estação terrena, em tempo real, durante a missão do balão que transporta o telescópio.





Software de teste para validaçã do TMSTATION:




Resultados

Arquitetura Ferry-injection configurada para o teste do software TMStation:




Especificação Simplificada em FSM do software TMStation usado para geração, pela Condado, dos testes de conformidade:





Exemplos de alguns casos de teste gerados pela Condado

-- 1. test cases - invalid data
senddata(U,aa55) recdata(U,RejectData)
-- 2. test case – normal or truncated data field with one extra standard
senddata(U,Naa55) recdata(U,RecordData)
senddata(U,aa55) recdata(U,RecordData)
senddata(U,aa55) recdata(U,RecordData)
senddata(U,aa55) recdata(U,RecordData)
senddata(U,aa55) recdata(U,RecordData)
senddata(U,aa55) recdata(U,RecordData)
senddata(U,aa55) recdata(U,RecordData)
senddata(U,Naa55) recdata(U,CloseFile OpenNewFile RecordData)
-- 3. test case- normal or truncated frame
senddata(U,Naa55) recdata(U,RecordData)
senddata(U,aa55) recdata(U,RecordData)
senddata(U,aa55) recdata(U,RecordData)
senddata(U,aa55) recdata(U,RecordData)
senddata(U,aa55) recdata(U,RecordData)
senddata(U,aa55) recdata(U,RecordData)
senddata(U,Naa55) recdata(U,CloseFile OpenNewFile RecordData)
-- 4.testcase - frame with end-of-frame occurrence into the data field and one extra (truncated frame)
senddata(U,Naa55) recdata(U,RecordData)
senddata(U,aa55) recdata(U,RecordData)
senddata(U,aa55) recdata(U,RecordData)
senddata(U,aa55) recdata(U,RecordData)
senddata(U,Naa55) recdata(U,RecordData)
senddata(U,aa55) recdata(U,RecordData)
senddata(U,aa55) recdata(U,RecordData)
senddata(U,aa55) recdata(U,RecordData)
senddata(U,aa55) recdata(U,RecordData)
senddata(U,aa55) recdata(U,RecordData)
senddata(U,aa55) recdata(U,RecordData)
senddata(U,Naa55) recdata(U,CloseFile OpenNewFile RecordData)


Observações sobre os casos de teste gerados:

Com a especificação simplificada na FSM, os casos de teste gerados automaticamente pela ConDado foram bastante representativos.
Os casos de teste foram divididos de acordo com a cobertura, nas seguintes situações:

• Recepção de frames normais: casos 2 e 3. Nestes casos o valor do parâmetro de entrada Naa55 é uma string de 50 words e não contém aa55H.
• Recepção de frames truncados: casos 2 e 3, como acima, mas o valor do parâmetro para a entrada Naa55 é uma string de 25 words.
• Recepção de frames extendidos: caso 4, cujo valor do parâmetro para a entrada Naa55 é qualquer string composta de pelo menos um non-aa55 word.

Foram usadas 10 words na execução dos testes.


Avaliação do uso de teste por injeção de falhas:

• 6 scripts foram criados para validar a capacidade de injeção de falhas do módulo FIM.
• Estes scripts implementam os modelos de erros:
  (i) omissão de palavras no campo de dados
  (i) (ii) troca do EOF pattern,
• Para cada um dos modelos variou-se o padrão de repetição: transient, intermittent and permanent.

Resultados dos testes com injeção de falhas:



Lições aprendidas:

• Uso de ferramentas do ATIFS são aplicáveis e bem vindas devido a carência de técnicas e métodos para aplicação de testes
• Percebeu-se que a geração automática de teste requer adaptação do modelo em FSM visando teste
• A configuração da arquitetura de teste se aplicou bem em duas etapas de teste.
• Observou-se também que os testes de robustez, implementados por injeção de falhas, cobriram gama grande dos testes de conformidade.

Publicações

Seção 4.2 do artigo Martins, E.; Mattiello-Francisco, M.F. A Tool for Fault Injection and Conformance Testing of Distributed Systems. Para mais detalhes clique aqui

Seção 4.2 do artigo Martins, E.; Ambrosio, ª M.; Mattiello-Francisco, M.F. AFTIS: A Testing Toolset with software Fault Injection. Para mais detalhes clique aqui