Document Actions

Palestra: "CoFI: uma metodologia para geração de teste - teoria e prática"

Palestra da Profª. Drª. Ana Maria Ambrosio do Instituto Nacional de Pesquisas Espaciais (INPE), na Série de Seminários 2008 da Pós-Graduação dia 14/11/2008, às 10: 00 h, no Auditório do IC - Sala 85 - IC 2.

What	Palestra
When	14/11/2008 from 10:00 to 12:00
Where	Auditório do IC - Sala 85 - IC 2
Add event to calendar	vCal iCal

CoFI (conformidade e falhas injetáveis) é uma metodologia de
teste de software para aplicações espaciais que visa reduzir custos e
diminuir o número de incidentes em missões espaciais. Esta metodologia
é baseada no uso de modelos de estados a partir dos quais casos de
testes são derivados automaticamente em scripts de teste. A COFI
permite ao testador lidar com a explosão de estados na modelagem do
sistema em teste. Esta metodologia fez parte do Processo de V&V
Independente para aceitação do produto, um software embarcado, do
Projeto Qualidade de Software Embarcado em Aplicações Espaciais
(QSEE), desenvolvido no INPE em cooperação com o Instituto de
Computação da Unicamp e a DBA, uma empresa nacional de software. Os
passos da metodologia para a criação dos modelos formais de teste e os
promissores resultados obtidos com a aplicação desta no projeto QSEE
serão apresentados. As lições aprendidas, vantagens e desvantagens do
uso de modelos formais para testes serão também discutidas.

Dra. Ana Maria Ambrosio é formada em Ciência da Computação pela Universidade Federal de São Carlos. Concluiu o mestrado em 1988
e o doutorado em 2005, em Computação Aplicada no Instituto Nacional de
Pesquisas Espaciais (INPE/MCT). Tecnologista senior do INPE desde
1985, é, hoje, responsável pelo desenvolvimento do Simulador dos
Satélites CBERS_3&4; docente do curso de pós-graduação em Engenharia e
Gerenciamento de Sistemas Espaciais. Tem participado de projetos de
pesquisas sobre geração e execução de testes de software, tais como
QSEE - Qualidade de Software Embarcado em Aplicações Espaciais/FINEP;
ATIFS – Ambiente de Teste por Injeção de Falhas por Software; REVVIS –
Reunião de Especialistas em Verificação e Validação de Software/CYTED;
ITASAT – Satélite Universitário, financiado pela Agência Espacial
Brasileira. Participa do grupo de trabalho “Spacecraft Monitoring
and Control” para padronização de sistemas na área espacial do
Consultative Committee for Space Data Systems (**CCSDS**).

Instituto de Computação - UNICAMP

Personal tools

Document Actions

Palestra: "CoFI: uma metodologia para geração de teste - teoria e prática"

Instituto de Computação - UNICAMP

Personal tools

Local resources

Document Actions

Palestra: "CoFI: uma metodologia para geração de teste - teoria e prática"