2003B

2003A

2002

1998

1997

1995

---

Local:INPE

Sala de Reuniões do Beta.




Programa:

1.	Utilizando o framework da Interface Usuário do ATIFS - Marcelo Barrerto

•	Facilidades e dificuldades na utilização do framework de interface desenvolvido para o ambiente ATIFS.

2.	Teste de Software - Eliane Martins

•	Erros e exemplo de sistemas que falharam por problemas de testes mau feitos. Porque testar? Atividades de testes. Projetos para testar.

3.	CONDADO - Ferramenta para Geração de Testes de Protocolos combinando CONtrole e DADOs - Selma Sabião

•	Ferramenta para gerar automaticamente casos de testes para protocolos de comunicação. Os casos de testes são gerados através de percursos na Máq. de Estados e seleção aleatória de campos das primitivas e dos pacotes.

4.	Arquitetura Ferry Clip com Injeção de Falhas - Marcos Renato R. Araújo

•	Implementação e modo de execução do Subsistema de Suporte a Execução de teste de protocolo com injeção de falhas.

5.	Ferramenta para construção de classes autotestáveis - Cristina Toyota

•	Análise e projeto de uma ferramenta para construcão de classes autotestáveis e execucão de testes funcionais. Classe autotestável é aquela que possui métodos especiais para a realizacão dos testes e uma especificação de testes associada.

6.	Programação Reflexiva para Injetar Falhas em Sistemas Orientados a Objetos - Amanda Apolinário

•	Ferramenta de injeção de falhas por s/w para validar aplicações tolerantes a falhas orientadas a objetos. Utiliza-se a técnica de reflexão computacional para injetar falhas e monitorizar o comportamento do sistema na presença das falhas injetadas.

7.	Projeto ATIFS na DSS : experiências e futuras aplicações - Maria de Fátima M. Francisco e Ana Ambrosio

•	Adequação do SSE (módulo SIA) para teste do X.25 (IUT) e aplicação do ATFIS no teste de protocolo solo-bordo do SACI cuja implementação é distribuída.

8.	Verificação de propriedades em Máquinas de Estados Finita - Rafael N. Bueno

•	Implementação da verificação das propriedades Especificação Completa, Determinismo, Máquina de Mealy, Conectividade Forte e Minimalidade em máquinas de estados finitos.