Automação da técnica de inspeção guiada para conformidade entre requisitos e diagramas UML.

• Ano de defesa: 2010
• Autor(a) principal: ROCHA, Anne Caroline Oliveira.
• Orientador(a): MACHADO, Patrícia Duarte de Lima. , RAMALHO, Franklin de Souza.
• Banca de defesa: FIGUEIREDO, Jorge César Abrantes de., ARANHA, Eduardo Henrique da Silva.
• Tipo de documento: Dissertação
• Tipo de acesso: Acesso aberto
• Idioma: por
• Instituição de defesa: Universidade Federal de Campina Grande
• Programa de Pós-Graduação: PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
• Departamento: Centro de Engenharia Elétrica e Informática - CEEI
• País: Brasil
• Palavras-chave em Português: Diagramas UML; Técnica de Inspeção Guiada; Teste de Software; Inspeção de Software; Semântica de Ações; Software Testing; Software Inspection; Action Semantics; Automated Guided Inspection
• Área do conhecimento CNPq: Ciência da Computação.; Engenharia de Software.
• Link de acesso: https://dspace.sti.ufcg.edu.br/handle/riufcg/1474

Em um processo de desenvolvimento de software, artefatos de uma etapa são utilizados como fonte para criação de novos artefatos para outras etapas. Então, defeitos podem ser inseridos durante a transição de uma etapa para outra: artefatos podem ficar inconsistentes, levando à construção de um software com defeitos. Neste contexto, uma técnica de inspeção pode ser utilizada para verificar esses artefatos, que são produzidos desde as primeiras etapas do desenvolvimento. Este trabalho apresenta uma forma de automação da técnica de inspeção guiada. Esta técnica tem o objetivo de verificar a conformidade entre artefatos de diferentes níveis de abstração (por exemplo, uma especificação de requisitos com relação a um diagrama de seqüência). Esta inspeção é realizada através de casos de teste, que representam cada cenário de caso de uso da especificação de requisitos. Como os passos de um caso de teste contêm o comportamento de um sistema, então a inspeção guiada permite encontrar defeitos semânticos para aquele sistema. Além disso, por ser uma técnica automática, é possível detectar também inconsistências entre as sintaxes dos artefatos de software. Para dar suporte à automação, serão utilizados conceitos de MDA (Model DrivenArchitecture) para transformação entre modelos e a ferramenta USE para simulação de modelos.