2003B

2003A

2002

1998

1997

1995

---

Local: INPE

Sala de Reuniões do Beta.





Programa:

1.

O projeto ATIFS: estado atual e oportunidades de pesquisa Dra.Eliane Martins

Download

•

O ATIFS (Ambiente de Testes e Injeção de Falhas por Software) é um projeto conjunto entre o IC-Unicamp e o INPE visando o desenvolvimento de um conjunto de ferramentas e metodologias de testes. O estado atual do projeto e os problemas em aberto que podem originar trabalhos de pesquisa serão apresentados.

2.

Formalização de testes dos serviços de Utilização de Pacotes de TM e TC (padrão ECSS) - Ana M. Ambrosio

Download

•

Na comunicação de satélites com os sistemas em solo (solo-bordo) os serviços a serem implementados foram recentemente especificados no padrão ECSS-E-70 –41A . Estes serviços serão usados como estudo de caso para avaliação da metodologia de teste que combina testes de conformidade e testes por injeção de falhas para validação de sistemas de comunicação espaciais. Serão apresentados os serviços de comunicação solo-bordo e o fluxo do processo para avaliação da conformidade com injeção de falhas, o qual é baseado nos conceitos do projeto ATIFS.

3.

Uma estratégia para testes funcionais de Aplicações WEB apoiada na ConDado - Daniele Constant Guimaraes

Download

•	Uma estratégia baseada na especificação do sistema para auxiliar nos testes de aplicações web será apresentada. Resultados de um experimento de geração de testes com a ferramenta Condado será apresentado.

4.

Adaptação da notação de Statecharts para uso em análise de desempenho e geração de testes - Ana Silvia M. S. do Amaral

Download

•

A geração de testes de conformidade e a geração de uma Cadeia de Markov para análise de desempenho a partir de uma especificação dada em Statecharts tem um núcleo comum para as ferramentas PerformCharts e Condado. Serão apresentadas as transformações da notação Statecharts já implementadas para atender análise de desempenho e as adaptações previstas para atender a geração de casos de teste.

5.

O uso da ferramenta JACA – injeção de falhas para aplicações em Java (*) - Regina Moraes

Download

•	Uma ferramenta que implementa a técnica de injeção de falhas para aplicações em JAVA será apresentada.

6.

Teste em contexto: viável do ponto de vista prático ou meramente uma teoria? (*) - Jurandy Martins Soares Júnior

Download

•

Teste baseado em contexto (TBC) é o estudo dos princípios de teste de conformidade de protocolos aplicados a um componente que se encontra inserido num determinado contexto. O TBC pode ser utilizado, por exemplo, para efetuar teste de interoperabilidade de componentes. Neste trabalho apresentaremos uma revisão das técnicas para TBC e apresentaremos duas hipóteses. A primeira é que se TBC é possível, então de alguma maneira é possível mapear casos de teste do componente em casos de teste do contexto, existindo assim um algoritmo para tal. A segunda hipótese é que TBC é inviável, porque caso o testador ignore a parte de dados nas seqüências de teste, automaticamente o testador estará ignorando que a parte de controle de cada elemento – contexto e componente – é feita para lidar com diferentes tipos de dados.

7.	MME: um modelador de máquinas de estados finita - Romualdo A. Pereira Jr.

•	MME é uma ferramenta para editar máquinas finitas de estados graficamente. Serão apresentadas as facilidades para uso desta ferramenta e as necessidades para integrá-la com a ConDado.

8.

Fsofist - uma adaptação para testes de Sistemas de Bordo - Cláudia S. da Silva

Download

•

Sistemas de bordo exigem sistemas de teste sofisticados para sua validação. Uma configuração da arquitetura ferry-injection definida na ferramenta FSoFIST do ATIFS está sendo estudada para suportar a comunicação multi-pontos e atender as necessidades de teste de sistemasde bordo. As soluções estudadas até o momento serão discutidas.

9.

Aplicação de Testes em Experimentos Científicos da CEA: Metodologia Atual e Possibilidade de Uso do ATIFS - Valdivino Alexandre de Santiago Júnior

Download

•

A metodologia atual de desenvolvimento de testes de validação para experimentos científicos de satélites desenvolvidos pelo INPE se baseia em especificações não formais dos experimentos. Tendo isto como referência, o responsável pela validação da carga útil tem que elaborar casos e procedimentos de teste de forma a cobrir os testes de conformidade e injeção de faltas. Nesta apresentação, serão discutidas a metodologia atual de aplicação de testes no INPE, considerando o experimento APEX do satélite FBM, e como as ferramentas ConDado e FSoFIST poderão ajudar na cobertura de testes.

10.

FSofist e a validação no projeto MASCO/INPE (TBC) - Maria de Fátima - Matiello-Francisco

Download

•

A ferramenta fSofist implementa a arquitetura para teste de protocolo de comunicação denominada ferry-injection. Esta ferramenta foi utilizada para validação do software de recepção de telemetria do projeto MASCO. Será apresentada uma análise dos resultados obtidos nesta cooperação entre dois projetos dentro do INPE. Uma avaliação dos erros e acertos será discutida.

11.

Perspectivas futuras para uso integrado das ferramentas do ATIFS em aplicações espacias - Maria de Fátima Matiello-Francisco

Download

•	Discussão das características de uma aplicação que permita o uso integrado de todas as ferramentas do ATIFS.

11.	Encerramento

Observações: