Acções do Documento
AutoSeer
Oráculos Automáticos para Deteção de Erros em Software
Este projeto pretende investigar o uso de diversas invariantes genéricas, ao
nÃvel de valor e tempo, e o seu efeito na precisão do diagnóstico na
localização de erros com base no espetro (Spectrum-based
Fault Localisation, SFL), assim como a sua relação com oráculos de teste
existentes, e o seu custo de execução, em particular a densidade e posicionamento
estratégico exigidos (relação custo vs precisão). O parceiro industrial deste
projeto é a Critical Software.
Data InÃcio: 1 abril 2012
Orçamento: €118.200,00
Equipa: Rui Maranhão Abreu e João Alexandre Saraiva
Website do projeto: AutoSeer
Esqueceu a sua senha?
