Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-09-18T16:21:29Z No. of bitstreams: 1 CARINA MACHADO DE FARIAS - DISSERTAÇÃO PPGCC 2003..pdf: 658152 bytes, checksum: 8231194d3724e72085250f16ee95a419 (MD5) / Made available in DSpace on 2018-09-18T16:21:29Z (GMT). No. of bitstreams: 1 CARINA MACHADO DE FARIAS - DISSERTAÇÃO PPGCC 2003..pdf: 658152 bytes, checksum: 8231194d3724e72085250f16ee95a419 (MD5) Previous issue date: 2003-02-27 / O interesse no desenvolvimento de software baseado em componentes tem crescido substancialmente devido à promessa de redução de custos e tempo de desenvolvimento através do reuso. A maioria das metodologias existentes tem se concentrado nas fases de análise e projeto. Entretanto, o reuso efetivo de componentes está diretamente relacionado à confiabilidade dos mesmos. O principal objetivo deste trabalho é propor um método de teste funcional aplicável a componentes de software. Já que o processo de desenvolvimento utilizado influencia significativamente a testabilidade dos sistemas, o método de teste proposto é apresentado dentro de um processo de desenvolvimento de componentes bem definido Componentes UML. Artefatos de teste são gerados a partir de especificações em UML (Unified Modelling Language), especialmente a partir dos diagramas de seqüência. Um estudo de caso foi desenvolvido para ilustrar a aplicabilidade do método / Interest in component-based software development has increased significantly due its promise to reduce development costs and time through reuse. The majority of existing methodologies has focus in the analysis and design disciplines. Never the less, effective reuse of components is closely related to their reliability. The main goal of this work is to propose a method of functional testing to verify software components. Since testability of systems is greatly influenced by the development process chosen, the proposed method is integrated with a well-defined component development process. Test artifacts are generated from UML (Unified Modelling Language) specifications, specially sequence diagrams. A case study has been developed to illustrate the applicability of the method.

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-09-18T16:35:32Z No. of bitstreams: 1 EDNA DIAS CANEDO - DISSERATAÇÃO PPGCC 2002..pdf: 967964 bytes, checksum: aee05fbebc2049f4cd9fb4dea8a9aa1d (MD5) / Made available in DSpace on 2018-09-18T16:35:32Z (GMT). No. of bitstreams: 1 EDNA DIAS CANEDO - DISSERATAÇÃO PPGCC 2002..pdf: 967964 bytes, checksum: aee05fbebc2049f4cd9fb4dea8a9aa1d (MD5) Previous issue date: 2002-08-29 / A integração da teoria de redes de Petri com os conceitos da Orientação Objetos surgiu como uma solução para a decomposição e estruturação de modelos em Redes de Petri. Neste trabalho é apresentado um estudo e experimentação de uma linguagem de modelagem baseada em redes de Petri e Orientação a Objetos (RPOO). RPOO foi definida integrando esses dois formalismos em uma perspectiva ortogonal, permitindo que o sistema modelado tenha duas visões: uma visão do ponto de vista de redes de Petri e uma visão do ponto de vista da Orientação a Objetos. O estudo e experimentação da notação RPOO é efetuado através da sua aplicação na modelagem de sistemas de software real. Para tanto, foram desenvolvidos alguns experimentos de modelagem. Assim, os experimentos desenvolvidos serão utilizados na validação da linguagem RPOO como alternativa para a estruturação e decomposição de modelos em redes de Petri, quando da modelagem de sistemas de software distribuídos e concorrentes. / The integration of Petri nets theory and object oriented-object concepts has emerged as a solution to decompose and structure Petri net models. In this work it is presented a study and experimentation of a modeling language based on Petri nets and oriented-object concepts(RPOO). RPOO was defined by integrating these two formalisms on an orthogonal perspective, allowing that the modeled system has two visions: one Petri net visionand one OO vision. The study and experimentation of RPOO notation is accomplished through its application on the modeling of real software systems. Some experiments of modeling had been developed. These experiments will be used to validate RPOO as an alternative for the structure and decomposition of Petri nets models, when modeling distributed and concurrent software systems.