Olá caríssimos,
Agradeço a todos que participaram do seminário no dia 02 de abril, nosso primeiro seminário do semestre de 2014. Em especial aos palestrantes Stevão e André Luiz pela solicitude em apresentar para nós suas pesquisas.
Aluno: Stevão Andrade
Título: Execução paralela de programas como suporte ao teste de mutação
Resumo: O teste de mutação tem apresentado uma alta eficacia em revelar defeitos quando comparado a outros critérios. Entretanto, o seu alto custo de aplicação compromete o seu uso. Neste sentido, soluções que busquem reduzir esse custo necessitam ser investigadas. Contribuindo nesta perspectiva, esse projeto tem como objetivo investigar alternativas para redução do custo do teste de mutação propondo um mecanismo para paralelização do teste de mutação.
Aluno: André Luiz Oliveira
Título: Automated Safety Analysis of Product-Line Configurations using Model-Based Safety Assessment
Abstract: Safety-critical Software Product Lines (SPL) attempt to maximize the reuse of product line assets (e.g. product components and their associated lifecycle artefacts). These components can be expensive to generate. In a specific SPL instance, i.e. a specific product within a safety-critical SPL, hazards and their causes can change according to configuration choices. This can alter the requirements placed on individual components. Maximizing the reuse of product-line assets whilst being able to meet the safety requirements of multiple product line instances is therefore a challenge, as is managing the way in which the safety analysis results vary according to predefined product-line architectural constraints. In this paper we propose a Model Based Safety Assessment (MBSA) approach for supporting the auto-generation of safety analysis assets for multiple product configurations. We also describe how this can be used to establish safety requirements for components shared across multiple product-line instances.
