Please use this identifier to cite or link to this item:
http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/7742| Title: | Verificação de artefatos de diagramas de classe UML através da aplicação de testes de design. |
| Other Titles: | Checking class diagram artifacts UML by applying design tests. |
| ???metadata.dc.creator???: | FERREIRA NETO, Waldemar Pires. |
| ???metadata.dc.contributor.advisor1???: | RAMALHO, Franklin de Souza. |
| ???metadata.dc.contributor.advisor2???: | GUERRERO, Dalton Dário Serey. |
| ???metadata.dc.contributor.referee1???: | MASSONI , Tiago Lima. |
| ???metadata.dc.contributor.referee2???: | PIRES, Paulo de Figueiredo. |
| Keywords: | Modelagem e Simulação de Sistemas;Garantia de Qualidade de Programas;Testes de Validação;Administração de Desenvolvimento de Programas;Systems Modeling and Simulation;Program Quality Assurance;Validation Tests;Program Development Administration |
| Issue Date: | 17-Apr-2009 |
| Publisher: | Universidade Federal de Campina Grande |
| Citation: | FERREIRA NETO, W. P. Verificação de artefatos de diagramas de classe UML através da aplicação de testes de design. 2009. 127 f. Dissertação (Mestrado em Ciência da Computação) – Pós-Graduação em Ciência da Computação, Centro de Engenharia Elétrica e Informática, Universidade Federal de Campina Grande, Paraíba, Brasil, 2009. Disponível em: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/7742 |
| ???metadata.dc.description.resumo???: | Neste trabalho investigamos e propomos uma técnica completamente automática para executar verificação de conformidade entre uma implementação de um sistema em Java e seu design expresso através de diagrama de classe UML. Essa verificação é realizada através de testes de design, um tipo de teste automático que verifica a conformidade de uma implementação em relação às regras de design expressadas através de código de teste. Definimos templates de testes de design para os artefatos mais usuais do diagrama de classe UML. E desenvolvemos a ferramenta UDT (UML Design Tester) baseada na abordagem MDA, capaz de aplicar esses templates sobre os elementos do diagrama de classe para gerar automaticamente os testes de design específicos para cada um dos elementos. Por fim, validamos nossa técnica através de um estudo de caso, o qual verifica a conformidade entre um sistema real (Findbugs) e o seu diagrama de classe gerado através de engenharia reversa. Adotamos essa abordagem para validação, pois não conseguimos identificar nenhum sistema com mais de 1000 classes que disponibilizasse o código do sistema e o seu design especificado em Diagramas de classes. |
| Abstract: | In this work we propose and investigate a completely automatic technique to execute conformance verification between an implementation in Java and its design expressed by UML class diagram. This verification is performed through design tests, a kind of automatic test capable of verifing conformance of an implementation against design rules expressed by code. We define a design test templates to eachmost usual UML class diagram artifacts. And, we developed the UDT tool (UML Design Tester) 100% MDAbased, this tool is able to apply the templates over the class diagram elements in order to automatically generate the specific design tests for each of these elements. Concluding, we evaluated our technique using as case study that verifies the conformance between a real (Findbugs) system and its generated by reverse engineering. |
| Keywords: | Modelagem e Simulação de Sistemas Garantia de Qualidade de Programas Testes de Validação Administração de Desenvolvimento de Programas Systems Modeling and Simulation Program Quality Assurance Validation Tests Program Development Administration |
| ???metadata.dc.subject.cnpq???: | Ciência da Computação |
| URI: | http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/7742 |
| Appears in Collections: | Mestrado em Ciência da Computação. |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| WALDEMAR PIRES FERREIRA NETO - DISSERTAÇÃO (PPGCC) 2009..pdf | Waldemar Pires Ferreira Neto - Dissertação PPGCC 2009. | 879.16 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.