Por favor, use este identificador para citar o enlazar este ítem:
https://repositorio.ufu.br/handle/123456789/12468| Tipo de documento: | Dissertação |
| Tipo de acceso: | Acesso Aberto |
| Título: | Especificação de testes funcionais usando Redes de Petri a objetos para softwares orientados a objetos |
| Autor: | Vale, Liliane do Nascimento |
| Primer orientador: | Julia, Stéphane |
| Primer miembro de la banca: | Maia, Marcelo de Almeida |
| Segundo miembro de la banca: | Villani, Emilia |
| Resumen: | O objetivo deste trabalho é o de propor a formalização de testes funcionais, através da especificação destes usando redes de Petri a Objetos e Workflow-Nets no contexto de softwares orientados a objetos. Inicialmente, Workflw-Nets são usadas para representar os requisitos do software. Em seguida, Workflow-Nets a objetos derivadas dos Workflow- Nets e redes de Petri a Objetos são utilizadas para especificar formalmente os modelos de teste das diversas funcionalidades dos software. Os modelos propostos permitem tanto a representação de estruturas de dados complexas durante o teste, quanto a especificação de diversas atividades a serem realizadas para a dada funcionalidade. A execução do modelo de teste funcional quando se considera uma arquitetura de software especifica, é então dada através da instanciação de uma classe de teste que fica associada µa funcionalidade testada. Para ilustrar a utilização do modelo proposto, é realizado um estudo de caso aplicado ao teste de funcionalidades de um software de peças automobilísticas desenvolvido no âmbito acadêmico e comercializado. |
| Abstract: | The main purposed of this paper is to show the formalization of functional tests spec- ifying then with Object Petri Nets and Workflow-Nets in relation to software focused on objects. Initially, Workflow-Nets are used to represent the main requirements of the soft- ware. Next, Object Workflow-Nets derived from Workflow-Nets and Objects Petri Nets are used to specify formally the test models of many software functionalities. The pro- posed models allow complex data structures to be represented during the test, concerning each one of the many functions to be worked out. The execution of the model functional test, when considering a software architecture, is given by the instantiation of a test class associated with the tested functionality. To enlight this model, a concret study of it is applied to the functionality tests of a commercial software of automobile parts, developed in the ambit academic and marketed. |
| Palabras clave: | Software - Desenvolvimento Redes de petri Fluxo de trabalho |
| Área (s) del CNPq: | CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO |
| Idioma: | por |
| País: | BR |
| Editora: | Universidade Federal de Uberlândia |
| Sigla de la institución: | UFU |
| Departamento: | Ciências Exatas e da Terra |
| Programa: | Programa de Pós-graduação em Ciência da Computação |
| Cita: | VALE, Liliane do Nascimento. Especificação de testes funcionais usando Redes de Petri a objetos para softwares orientados a objetos. 2009. 139 f. Dissertação (Mestrado em Ciências Exatas e da Terra) - Universidade Federal de Uberlândia, Uberlândia, 2009. |
| URI: | https://repositorio.ufu.br/handle/123456789/12468 |
| Fecha de defensa: | 4-feb-2009 |
| Aparece en las colecciones: | DISSERTAÇÃO - Ciência da Computação |
Ficheros en este ítem:
| Fichero | Descripción | Tamaño | Formato | |
|---|---|---|---|---|
| Liliane.pdf | 1.5 MB | Adobe PDF |  Visualizar/Abrir |
Los ítems de DSpace están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.