Introdução. Uma Arquitetura de Testes para Validação de Sistemas de Bordo. Sistemas Embarcados

Transcrição

1 Uma Arquitetura de Testes para Validação de Sistemas de Bordo Cláudia Santos da Silva Orientadores: Eliane Martins (Unicamp) Nandamudi L. Vijaykumar Sistemas Embarcados Introdução Característica Confiabilidade Investir no processo de desenvolvimento, em especial, nos testes SUBORD (Supervisão de Bordo) Inviabilidade de um equipamento de testes para cada aplicação 1

2 Objetivo Estrutura da Apresentação Adaptar uma arquitetura para teste de software para validação de computadores de bordo, concentrando nos testes de conformidade e testes por injeção de falhas, que possa ser usada em diversas aplicações Testes de Conformidade Arquitetura Ferry Projeto ATIFS - FSofist Estudo de caso Resultados esperados Configurações de arquitetura ferry para testes multi-pontos 2

3 Teste de Conformidade Arquiteturas de apoio à execução de testes- IS9646 Determinar se uma dada implementação satisfaz a especificação Padrão IS9646 (testes de protocolos de comunicação) A metodologia, a estruturação, especificação de seqüências de testes Arquiteturas de apoio à execução de testes Acessibilidade aos PCOs Contexto de teste ambiente que a está embutida Testadores que são associados aos PCOs (N) SAP (N 1 ) SAP SUT UT LT SUT UT Coordenação dos testes TS Test Managemet Protocol TMP LT UT SUT SUT Contexto de teste inferior TS Test Coordination Procedure TCP TS LT LT Contexto de teste inferior Contexto de teste inferior 3

4 Arquitetura Ferry Motivos da escolha da arquitetura Ferry Sistema de Teste Sistema em Teste AF PF facilidade de portar para diferentes plataformas Test Engine LT UT facilidade de adaptar a diferentes implementações Canal do Ferry facilidade no acréscimo de novas funcionalidades Canal em Teste 4

5 ATIFS (Ambiente de Teste com Injeção de Falhas por Software) Arquitetura do ATIFS Projeto conjunto entre UNICAMP e INPE Interface do Usuário Testes de conformidade Suporte à estratégia de teste por injeção de falhas E ConDado Seq. de testes abstrata GerScript Seq. teste executável (TCL) FSofist Res. testes AnTrEx diagn. 5

6 FSoFIST Arquitetura da FSoFIST dar suporte à realização de testes em protocolos de comunicação AF Sistema de Teste PF Sistema em Teste desenvolvida através da extensão da arquitetura Ferry permitir a injeção de falhas Test Engine LT UT FIC FIM Canal do Ferry 6

7 Arquitetura do Equipamento de Testes do BPC Arquitetura do Equipamento de Testes do BPC responsável por prover os recursos necessários para desenvolvimento e testes do hardware e software do BPC (Brasilian Payload Computer) O software do Equipamento de Testes está distribuído: PC de teste 1, que contém a placa de desenvolvimento do Transputer PC de Teste 2, que contém a placa AD/DA PC de Teste 3 e no Simulador do Equipamento denominado OBC Transputer Board PC DE TESTE 1 PC DE TESTE 2 DA Board Paralel Interface Ethernet FIJI Board Serial Line Analog Signals RS232 OBC Simulator Housekeeping Data Connector Connector (1) BPC (6) (5) (4) (3) (2) BPC Test Board PDU Power lines 28V 5V +5V +12V -12V +15V PC DE TESTE 3 7

8 Resultados Esperados Configurações Multi-Pontos (1) configurar a arquitetura ferry usada na FSoFIST do ATIFS para multipontos de modo a apoiar testes de computadores de bordo. testes de interoperabilidade PC DE TESTE 1 Transputer Board Paralel Interface Ethernet FIJI Board Serial Line OBC Simulator Housekeeping Data Connector Connector (1) BPC 5V CI1 CI2 CI5 PC DE TESTE 2 DA Board Analog Signals (6) (5) (4) (3) (2) BPC Test Board +5V +12V -12V +15V CI3 PDU Power lines PC DE TESTE 3 RS232 28V Participant s Proceedings 2 nd International Workshop on Protocol Test Systems, Berlim (West), Germany. October 3-6,

9 Configurações Multi-Pontos (2) Configurações Multi-Pontos (3) CI1 CI2 Sistema de Teste CI5 AF4 AF1 AF2 AF3 AF4 AF5 CI3 9

10 Configurações Multi-Pontos (4) Estudo de Caso Active Ferry Clip FCP Passive Ferry Clip (N) ASPs Transputer Board Paralel Interface FIJI Board OBC Simulator Housekeeping Data Connector Connector 5V UT1 UT2 PC DE TESTE 1 (1) Test Manager LT1 LT2 LT3 FTMP (N 1) ASPs PC DE TESTE 2 DA Board Serial Line Ethernet Analog Signals BPC (6) (5) (4) (3) (2) BPC Test Board +5V +12V -12V +15V (N 1) Service Provider Chanson, S. T; Voung, S.; Dany, H. Multi-party and interoperability testing using the Ferry Clip approach, Computer communications vol 15, no 3, April PC DE TESTE 3 RS232 PDU Power lines 28V 10

11 Estudo de Caso (2) PC de Teste 1 AF Sistema de Teste PF1 (PC Teste 1) Sistema em Teste OSLINK BPC OSLINK Test Engine LT UT FIC FIM Ambiente de Desenvolvimento -Hardware -Software Placa de Desenvolvimento Transputer -Transputer -Memória PF2 (PC Teste 2) Sinais Analógicos -Editar -Compilar -Linkar PF3 (PC Teste 3) RS232 -Carregar/Executar 11

12 Onde fica? Configuração PC Placa de Desen. Transputer BPC AF PF Injetor de Falhas Log AF PF Script de teste 1) Como implementar o injetor? Conversão dos dados no formato que a entenda Injetor de Falhas 12

13 Configuração (cont.) Referências PC Placa de Desen. Transputer BPC Araújo, M. R. R. fsofist Uma ferramenta para teste de protocolos tolerantes a falhas Dissertação de Mestrado Instituto da Computação Unicamp, out Log Script de teste AF AF1 AF2 APF3 PF PF1 PF2 PF3 OSLINK Sinais Analógicos RS232 Chanson, S. T; Voung, S.; Dany, H. Multi-party and interoperability testing using the Ferry Clip approach, Computer communications vol 15, no 3, April FBM-XX-BC INPE, French-Brasilian Microsatellite FBM, dez Martins, E. ATIFS: um Ambiente de Testes baseado em Injeção de Falhas por Software Relatório Técnico DCC UNICAMP, dez Participant s Proceedings 2 nd International Workshop on Protocol Test Systems, Berlim (West), Germany. October 3-6, ) Como fica o script na comunicação multi-ponto? - 1 script para cada canal de comunicação, ou seja, vários AF s (problema de sincronização) - 1 script para todos os canais Stankovic, J. A.; Ramamritham K. Hard Real-Time Systems IEEE Computer Society Press. Tretmans, J.; Belinfante, A.. Automatic testing with formal methods. Proc. EuroStar 99:7 th. European Conference on Software testing, In proceedings of the Conference on Software Testing, Analysis and Review. EuroStar 99, November,