2003B

2003A

2002

1998

1997

1995

---

Local: INPE

Sala de Reuniões do prédio ISS.




Programa:

1.

Abertura: O ambiente de teste ATIFS e suas perspectivas no INPE - Dra. Eliane Martins e Maria de Fátima Matiello-Francisco

Download

2.	PerformCharts: Especificação de Sistemas Complexos em Statecharts para Avaliação de Desempenho e sua integração com geração de testes - Dr. Nandamudi L. Vijaykumar e Dr. Solon V. de Carvalho

•

A ferramenta PerformCharts aceita como entrada uma especificação em Statecharts na qual os eventos seguem uma distribuição estocástica. O objetivo desta ferramenta é a geração de medidas de desempenho via abordagem analítica que tem como base a teoria de Markov. A ferramenta converte a especificação Statecharts em uma Cadeia de Markov a partir são obtidas as probabilidades limite, base para o cálculo de medidas de desempenho.A Cadeia de Markov é um diagrama de estados e como tal pode ser entrada para a ferramenta ConDado a qual é capaz de gerar casos de testes para a partir de uma máquina de estados finita. A idéia é adaptar a PerformCharts para que sua saída possa ser aceita pela Condado. Assim, a partir de uma mesma especificação poder-se-á ter medidas de desempenho e geração de casos de teste.

3.	PcML: Linguagem de Marcação para PerformCharts baseada em XML Ana Silvia Martins Serra do Amaral

•

A forma de entrar a especificação á ferramenta PerformCharts é via um programa escrito em linguagem C++. Dependendo do sistema a ser modelado, a especificação em C++ pode se tornar tediosa. Uma alternativa seria uma Interface Gráfica. Outra alternativa seria definir uma linguagem textual a ser interpretada. Entretanto, ao invés de criar uma linguagem nova foi decidido basear-se na linguagem XML para descrever StateCharts. Na apresentação será mostrada a linguagem PcML (PerformCharts Markup Language) bem como, a maneira de tratar esta linguagem para obtenção de medidas de desempenho.

4.	Teste de desempenho de aplicações WEB – problemas e modelagem com CBMG Daniele Constant Guimaraes

•

Nessa apresentação serão mostrados alguns tipos de testes de aplicações Internet e um modelo de estados (CBMG) que será usado para gerar testes para este tipo de aplicação. Esse modelo permite obter informações sobre o comportamento do usuário e possui probabilidades associadas às suas transições, que pode nos dar a quantidade de testes que deverão ser gerados.

5.

Validação de uma Plataforma de Testes Utilizando Dois Casos de Uso - Deisy Mazzini e Leonardo Pondian Tizzei

Download

•

Serão apresentados os experimentos com as ferramentas para geração de casos de testes, Condado, que serviram para familiarização com a ferramenta. Duas aplicações foram estudadas: (i) um protocolo de conferência usado em aplicações do tipo “chat” e (ii) o software de recepção de telemetria do projeto do Telescópio MASCO.

6.

CONDADO: perspectivas para geração de casos de teste a partir de componentes paralelos especificados em Statecharts - Ana Maria Ambrosio

Download

•

Nessa apresentação será mostrado um experimento usando a Condado para gerar casos de teste a partir de uma especificação em Statecharts. Dado o grande número de casos de teste gerados por componentes paralelos do Statecharts, foi proposto um método que reduz o número de casos de teste. A forma como avaliar a eficiência do conjunto de casos de teste através de mutantes de implementação é apresentada.

7.

FSofist – arquitetura reutilizável e injeção de falhas aplicadas ao software de telemetria do projeto MASCO/INPE - Anderson Nunes Paiva Morais e Maria de Fátima Mattiello-Francisco

Download

•

A ferramenta fSofist implementa a arquitetura para teste de protocolo de comunicação denominada ferry-clip. Nessa apresentação será mostrada a validação de uma aplicação espacial real desenvolvida pelo INPE, na qual foi utilizada a ferramenta fSofist para apoio aos testes. Serão apresentadas a descrição da ferramenta e os resultados obtidos nos teste de conformidade da aplicação.

8.	Teste de sistemas embarcados – aplicações no INPE - Cláudia Santos da Silva e Ronaldo Arias

•	Sistema de teste utilizado para validação do computador de controle dos experimentos do micro-satélite científico Franco-Brasileiro.

9.

Encerramento

Observações: