Seminários - 15/04/16 às 14h - Sala Multiuso CIC
Palestrante: Helard Becerra (orientadora: Prof. Mylene C. Q. Farias)
Título: A subjective video quality experiment using an immersive method
Resumo: Traditional subjective experiments usually consist of presenting a great number of test sequences to a set of observers. Often, a very narrow range of contents is used. These experimental methodologies generally cause fatigue and content memorization, which may generate less accurate rating results. Pinson proposed an immersive experimental methodology to tackle these problems. The proposed immersive methodology increases the content diversity (number of original sequences) and makes sure that each original content is viewed, or heard, only once by each participant. This work presents the first of the three subjective experiments based on this new methodology. For the present experiment, a group of human observers will rate the audio-visual quality of a set of test sequences. Only visual artifacts will degrade these sequences, meanwhile, the audio component will not suffer any type of degradation.
Palestrante: Thiago M. Castro (orientador: Prof. Vander Alves)
Título: Estratégias Comutativas para Análise de Confiabilidade em Linhas de Produtos de Software
Resumo: Em sistemas de software é normalmente necessário garantir atributos de qualidade desejados. Em presença de variabilidade, no entanto, o uso de técnicas estabelecidas para análise de software se torna proibitivo, devido à explosão combinatória do espaço de configurações. Para lidar com esses casos, foram propostas diversas técnicas de análise especialmente adaptadas a linhas de produtos de software. Embora tais técnicas compartilhem algumas características, esse potencial de reuso foi pouco explorado até o momento. Este trabalho, em andamento, investiga estratégias alternativas para análise em linhas de produtos. Foi desenvolvida uma ferramenta que implementa cinco estratégias de análise de confiabilidade, com reuso das tarefas comuns. As etapas de análise foram formalizadas matematicamente, tendo-se demonstrado relações de comutatividade entre elas -- das quais deduz-se equivalência entre as estratégias. Os resultados atingidos evidenciam a capacidade de reuso de implementação e de formalização entre categorias diferentes de análise de linhas de produtos.