Formalização de testes dos serviços de Utilização de Pacotes de TM e TC

Tamanho: px

Começar a partir da página:

Download "Formalização de testes dos serviços de Utilização de Pacotes de TM e TC"

Ana Carolina Felícia Fonseca Palma
8 Há anos
Visualizações:

1 Formalização de testes dos serviços de Utilização de otes de TM e TC Orientanda: Ana Maria Ambrosio Orientadora: Prof. Dra. Eliane Martins INPE - Instituto Nacional de Pesquisas Espaciais Tópicos Padrão ECSS-E A TM and TC ket Utilization Standard (PUS) níveis de processamento de TC TM e TC packets PUS: services, requests e reports Metodologia de teste processo para teste de protocolos processo de Conformidade + Injeção de Falhas (IF) 1

2 Padrão ECSS-E-70 41A Objetivo: definir como usar os TM e TC packets definir conceitos operacionais cobrindo todos os requisitos para monitorar e controlar um satélite durante a integração, os testes e as operações em vôo define uma conjunto de serviços que satisfazem os conceitos operacionais. Nível de Aplicação Nível de sessão Níveis Sistema de TC Ground Sys. Satellite Sys. Application Process ketization TC packet Segmentation ECSS TM ket TM ket TM ket Application Process ketization TC packet Segmentation Nível de transporte TC segment Tranfer CCSDS CLCW TC segment Transfer Nível de rede TC frame Coding Coding TC frame Nível físico CLTU Físico CLCW Meio de interconexão CLTU Físico 2

3 Telecommand ket ket ID ket Header. Sequence Control Lenght Data Field Header ket Data Field Application Data Spare error control Second Header Flag TC-PUS version Ack Service Type Service SubType Source ID Spare Campo proposto pelo padrão 70-41A Telemetry ket ket ID ket Header. Sequence Control Lenght Data Field Header ket Data Field Source Data Spare error control Spare TM-PUS version Spare Service Type Service SubType subcounter Destin ID Time Spare Campo proposto pelo padrão 70-41A 3

4 Tipo Nome 1) Verificar TC 2) Distribuir os device commands 3) Informar (reporting) valores de diagnóstico e houskeeping 4) Informar estatística de parâmetros 5) Informar ocorrência eventos 6) Gerenciar memória 8) Gerenciar função 9) Gerenciar temporização 11) Escalonar operações a bordo (filas de TC) Serviços 12) Monitorar parâmetros a bordo (lista de parâmetros) 13) Transferir grande quantidade de dados 14) Controlar entrega de pacote 15) Recuperar e armazenar dados a bordo 17) Testar 18) Executar procedimentos a bordo 19) Gerenciar lista de eventos Serviços, requests e reports - ECSS-E-70-41A Cada serviço tem seus requests (= TC) e reports (= TM) Ex: serviço tipo 5 = Informar ocorrência eventos Requests: Reports: habilita geração da informação de ocorrência de evento desabilita relata que atividade continua normal relata erro/anomalia - baixa severidade relata erro/anomalia - média severidade relata erro/anomalia - alta severidade 4

5 Serviços, requests e reposts - ECSS-E-70-41A Ex: serviço tipo 6 = Gerenciar memória Requests: Carrega memória usando base + intervalo Carrega memória usando endereço absoluto Dump memória usando Base + Intervalo Dump memória usando endereço absoluto Check memória usando Base + Intervalo Check memória usando endereço absoluto Reports: Informa conteúdo da memória usando Base + Intervalo Informa conteúdo memória usando endereço absoluto Informa status da memória usando Base + Intervalo Informa status memória usando endereço absoluto Metodologia de teste Apoiar a derivação de casos de teste a partir da especificação dos serviços de um sistema de software da área espacial (~ protocolos) Combinar geração de teste de conformidade apoiada por computador com a técnica de teste por injeção de falhas 5

6 Por quê esta combinação é interessante software de sistemas espaciais? conformidade Existe sempre uma especificação para uma ou várias implementações. injeção de falhas Sistemas a bordo de satélites estão sujeitos a eventos causados por radiação e falhas de comunicação. Processo de avaliação da conformidade - IS 9646 ~ protocolos Especificação Implementação 1 Definir os propósitos de teste Propositos de teste 3 Implementar os casos de teste 2 Especificar os casos de teste Casos de teste executáveis Seq Abstrata de Teste 4 Executar os testes de conformidade Log de teste 5 Avaliar os testes Declaração de conformidade 6

7 Processo para avaliação da conformidade combinando Injeção de Falhas Especificação Opções p falhas Implementação Definir propósitos de teste Converter espec em ling formal Especificar os testes Seq. Abstrata de teste Propósitos de teste Esp ~ LEP Derivar casos de teste de conformidd Derivar casos de falhas Implementar casos de teste Casos teste executáveis Executar casos de teste Declaração de Conform Estatísticas Avaliar a conformidade Log de teste Saída Observada Especificação = serviços de PUS (padrão) + serviços implementados UML Use cases Cenários Diagramas de seqüências Diagrama de estados + F a l h a s = Sequência de teste Abstrata OCL 7

8 Contribuições Abordagem heterogênea combinando teste de conformidade e injeção de falhas - teste de software Metodologia de teste de serviços de utilização de pacotes de TM e TC - área espacial 8

Documentos relacionados

Medidor Powersave V2 USB

Medidor Powersave V2 USB O medidor é formado por uma caixa plástica contendo uma placa eletrônica, uma tomada macho, uma tomada fêmea, um conector H, um barramento lateral, um conector USB e leds indicativos.