Extração e verificação de modelos para sistemas em evolução

• Autor(a) principal: Freire, Matheus de Mello
• Data de Publicação: 2013
• Tipo de documento: Trabalho de conclusão de curso
• Idioma: por
• Título da fonte: Repositório Institucional da UFRGS
• Texto Completo: http://hdl.handle.net/10183/66100
• topic: Tolerancia : Falhas; Testes : Software; Software testing; Model checking; Behavior model extraction; Software evolution

Softwares estão sempre em constante evolução e atualização. Durante o ciclo de vida de um sistema, muitas modificações ocorrem, em relação às funcionalidades definidas em sua primeira especificação. É desejável que durante todo o ciclo de vida do sistema, o mesmo execute corretamente as funções para as quais foi projetado, mesmo na ocorrência de modificações. Para isto, o uso de verificação de modelos e teste de software tem desempenhado uma importante função na busca por melhor qualidade de software. Este trabalho busca utilizar técnicas de teste de software, verificação e extração de modelos para obter modelos os quais representem os comportamentos corretos de sistemas mesmo após modificações. O objetivo do trabalho é estabelecer um processo de validação de sistemas em relação a propriedades estabelecidas o qual permita não apenas verificar se as propriedades são preservadas em um modelo do sistema, mas também se o comportamento da implementação gerada corresponde ao definido no modelo. Utilizando uma modelagem manual a partir de um modelo pré-existente, é definida uma única propriedade, onde os comportamentos esperados do sistema em questão são englobados por esta propriedade. Após a modificação do código, um novo modelo é gerado com base no código do sistema e verificado contra a propriedade estabelecida anteriormente, a fim de validar se os comportamentos encontrados no código estão de acordo com a especificação do sistema. Validou-se o processo utilizando dois sistemas previamente codificados, onde um conjunto de alterações foi definido para cada um deles. Através do teste de software e extração de modelos, construiu-se um modelo com comportamentos que são encontrados na implementação de cada sistema. Com a verificação de modelos, a validade destes comportamentos foi comprovada ao realizar tal verificação contra um modelo o qual contém todos os comportamentos de um modelo cuja correção é previamente conhecida, além dos comportamentos adicionados pelas modificações. O processo proposto facilita o suporte para detecção de erros tanto nos modelos extraídos do código quanto nos modelos modificados manualmente, além de apresentar um modelo sem erros quando os comportamentos são todos corretos.