Palestra: Rede de Sensores sem fio para Monitorar o meio Ambiente.
Document Actions
Palestra: TESTES DE ROBUSTEZ: ABORDAGENS BIO-INSPIRADAS.
Profª. Drª. Eliane Martins do Instituto de Computação da Unicamp, na Série de Seminários 2010 da Pós-Graduação, dia 03/09/2010, às 14:00 h, Auditório do IC, Sala 85 - IC 2.
| What | Palestra |
|---|---|
| When |
03/09/2010 from 14:00 to 15:00 |
| Where | Auditório do IC - Sala 85 - IC 2 |
| Add event to calendar |
vCal
iCal
|
A sociedade necessita cada vez mais de sistemas computacionais que
sejam distribuídos, dinâmicos e onipresentes. Um dos desafios para
a construção de tais sistemas, conforme levantamento feito pela
SBC em 2006, está em garantir a qualidade desses sistemas,
denominados onivalentes. Características como confiabilidade,
disponibilidade, correção, segurança, escalabilidade, são difíceis
de assegurar para sistemas cada vez mais complexos. A complexidade,
aliada à dinamicidade de tais sistemas, faz com que estes se vejam
cada vez mais confrontados com situações inesperadas. Apesar do
maior aumento da complexidade e de variados contextos de execução,
o tempo para entrega de sistemas é cada vez mais curto. Essa pressão
sobre o tempo faz com que as empresas procurem cada vez mais a
automação das atividades de desenvolvimento e, em especial, dos
testes. Hoje em dia existem inúmeras ferramentas de apoio à execução
dos testes. No entanto, algumas atividades de teste são difíceis de
automatizar. Por exemplo, a geração de testes continua sendo uma
atividade predominantemente manual, o que é tedioso, leva muito
tempo e é altamente propenso a erros. A geração totalmente
automatizada de testes ainda esbarra em várias limitações técnicas.
Por exemplo, decidir se uma determinada entrada vai fazer com que
uma dada instrução de um programa seja executada é um problema
indecidível. Outra atividade não menos importante é referente à
análise dos resultados: como determinar se um caso de teste passou
ou não passou? Esse problema, conhecido na literatura como o
problema do oráculo, também está em aberto: é impossível garantir
a capacidade de um algoritmo de decidir se a saída obtida é correta,
para toda e qualquer entrada do sistema. Diante dessas limitações
para a completa automatização dos testes, é que se tem buscado
técnicas alternativas, em especial, aquelas inspiradas em aspectos
da natureza, também chamadas de -Y´bio-inspiradas¡. As pesquisas
realizadas pelo grupo visam determinar como técnicas, tais como
computação evolutiva e alinhamento de seqüências de DNA, podem
ajudar na automação dos testes. As abordagens propostas serão
apresentadas, assim como os pontos em aberto para futuras pesquisas.
====================================================
Profª. Drª. Eliane Martins
- Bacharel em Informática e Mestre em Ciência da Computação – UFRJ
- Doutora pela École NAtionale Supérieure de l’Aéronautique ET de
l’Espace, juntamente com o Laboratoire d’Automatique et d’Analyse
de Systèmes, em Toulouse, França
- Professor Associado da Unicamp
- Período sabático no Institut Telecom SudParis , França.
====================================================
Organizadora: Profa. Ariadne Maria Brito Rizzoni Carvalho
(ariadne@ic.unicamp.br)
IC -- Unicamp
Fone: (019) 3521-5864
====================================================
VII WTD do IC 2012
