2003B

2003A

2002

1998

1997

1995

---

Local:INPE

Sala de Reuniões do Beta.




Programa:

1.	O ambiente de teste ATIFS - Eliane Martins

•	Facilidades oferecidas, aspectos das atividades, inclusive administrativas, de teste que são automatizadas, arquitetura geral e uso de padrões no desenvolvido do ATIFS.

2.	Analisador da Linguagem de Especificação de Protocolo (LEP) - Selma Tanaka

•	A linguagem LEP permite a descrição de uma máquina de estados estendida de forma textual para ser interpretada pelas ferramentas do ATIFS. Serão apresentados a linguagem em si e as interfaces do analisador com outras ferramentas do ATIFS.

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

•	Facilidades oferecidas ao usuário, restrições para redução do número de casos de testes, uso do PROLOG na implementação da ferramenta CONDADO, capaz de gerar automaticamente casos de testes para protocolos de comunicação.

4.	SGS - Subsistema de Geração de Script - Alex Jeukens

•	Este subsistema prepara o script de teste (na linguagem TCL) para execução dos casos de testes gerados pela CONDADO, permitindo uma interação do usuário na definição dos atributos de falhas a serem injetados, antes da execução dos testes.

5.	SSE - Subsistema de Suporte à Execução - Marcos Renato R. Araújo

•	Este subsistema executa o script de teste. Sua arquitetura é baseada na arq. Ferry-clip incluindo o tratamento das injeções de falhas durante a execução dos testes.

6.	STR - Subsistema de Tratamento dos Resultados - Yngrid Nicoletti de Azevedo

•	Este subsistema analisa o traço de execução dos testes, a partir do Log gerado pelo subsistema SSE, gerando, sempre que possível, o veredicto e estatísticas sobre o resultado dos testes.

7.	Camada de Gerenciamento de Objetos (G.O.) - Ricardo Luís Lachi

•	Esta camada permite às ferramentas do ATIFS trabalharem com objetos sobre um banco de dados relacional.

8.	Exemplos de aplicações do ATIFS - Maria de Fátima Francisco e Ana Ambrosio

•	Alguns trabalhos da DSS têm sua espec em Máq. de Estados Finita, os quais podem fazer uso do ambiente ATIFS para os testes..