English

CIn - Centro de Informática UFPE




Eventos Relacionados

Defesa de Dissertação de Mestrado - Nº 1.182: "Making Software Product Line Evolution Safer"

O aluno Felype Santiago Ferreira irá defender seu trabalho no dia 20 de agosto, às 10h, na Sala D001 Início: 20/08/2012 às 10:00 Término: 20/08/2012 às 12:00 Local: Sala D001

Pós-Graduação em Ciência da Computação – UFPE
Defesa de Dissertação de Mestrado  Nº 1.182
 
Aluno: Felype Santiago Ferreira
Orientador: Prof. Paulo Henrique Monteiro Borba
Co-orientador:  Prof. Rohit Gheyi (DCS / UFCG)
Título: Making Software Product Line Evolution Safer
Data: 20/08/2012
Hora/Local: 10h – Sala D001  (Bloco D – Térreo)
Banca Examinadora:
Prof. Marcelo Bezerra D'Amorim ( CIn / UFPE)
Prof. Roberta de Souza Coelho (DIMAp / UFRN)
Prof. Paulo Henrique Monteiro Borba  ( CIn/UFPE)
 
RESUMO:
 
Desenvolvedores evoluem linhas de produtos de software (LPSs) manualmente ou usando ferramentas típicas de refatoração de programas. No entanto, quando a evolução de um linha de produtos é feita para introduzir novas características, ou para melhorar a seu projeto, é importante ter a certeza de que o comportamento dos produtos existentes não é afetado. Programas típicos de refatoração de programas não podem garantir isso porque o contexto de LPS vai além de código, e outros tipos de artefatos de código, e envolve artefatos adicionais, tais como feature models e configuration knowledge. Além disso, em uma LPS, normalmente temos que lidar com um conjunto de possíveis artefatos de código-fonte alternativos que não constitui um programa de bem formado. Como resultado, mudanças manuais e ferramentas de refatoração de programas existentes podem introduzir mudanças comportamentais ou invalidar configurações de produtos existentes. Para evitar isso, propomos abordagens e implementamos ferramentas para tornar a evolução de linhas de produtos mais segura; essas ferramentas verificam se transformações em LPS são refinamentos no sentido de que preservam o comportamento dos produtos originais da LPS. Elas implementam aproximações diferentes e práticas de uma definição formal de refinamento de LPS. Avaliamos as abordagens em cenários concretos de evolução de LPS, onde o comportamento do produto existente deve ser preservado. No entanto, nossas ferramentas constaram que algumas transformações introduziram mudanças comportamentais. Além disso, avaliamos refinamentos defeituosos, e o conjunto de ferramentas detectou as mudanças de comportamento.
 
Palavras-chave: Linhas de produtos de software; evolução de linha de produto; ferramentas de checagem; refatoração; refinamento; evolução segura.
  • © Centro de Informática UFPE - Todos os direitos reservados
    Tel +55 81 2126.8430 - Cidade Universitária - 50740-560 - Recife/PE
Plano4 Consultoria Web