Made available in DSpace on 2013-08-07T18:42:52Z (GMT). No. of bitstreams: 1 000404134-Texto+Completo-0.pdf: 1945170 bytes, checksum: b8a0273e017edb542534fd86a3d269e2 (MD5) Previous issue date: 2008 / With the success of Model Driven Architecture (MDA) and Unified Modeling Language (UML), models are replacing code as the first software development artifact. In MDA, model transformation and model composition are essential activities. While model transformation has been well researched and documented, model composition needs more investigation. With MDA arise three challenges, such as: (i ) create domain specific modeling languages (DSMLs); (ii ) merge DSML; and (iii ) merge models expressed in DSML. The UML allows building DSML through UML profiles, however it does not provide an adequate mechanism to merge such profiles. With this in mind, this work proposes a UML profiles composition mechanism based on merge rules, model transformation rules, composition strategy, match strategy and match rules. A formalization of this mechanism was built using the Alloy formal language and automatic analysis were accomplished using Alloy Analyzer. Moreover, a model composition tool was developed to evaluate the mechanism and automate the approach. / Com o sucesso da MDA (Model Driven Architecture) e da UML (Unified Modeling Language), modelos estão substituindo código como o principal artefato de desenvolvimento de software. Em MDA, a transformação e a composição de modelos são duas atividades essenciais. Enquanto a transformação de modelos tem sido amplamente pesquisada e documentada, a composição de modelos precisa de mais investigação. Com a MDA, surgiram três desafios: (i) criar linguagens de modelagem específicas de domínios (DSML); (ii) compor DSML; (iii) compor modelos representados em DSML. A UML permite a construção de DSML através de UML profiles, porém não oferece um mecanismo adequado para tais profiles. Neste contexto, o presente trabalho apresenta uma proposta de mecanismo de composição de UML profiles fundamentado em regras de composição, regras de transformação de modelos, estratégias de composição, estratégia de comparação e regras de comparação. Um modelo formal deste mecanismo foi construído utilizando a linguagem de modelagem formal Alloy e foi realizada uma análise automática do modelo usando Alloy Analyzer. Além disso, uma ferramenta de software foi construída com o objetivo de validar o mecanismo e automatizar a abordagem.

Made available in DSpace on 2013-08-07T18:43:37Z (GMT). No. of bitstreams: 1 000385483-Texto+Completo-0.pdf: 2471627 bytes, checksum: 6a2f88757540ea12d03ab54d46886186 (MD5) Previous issue date: 2006 / Testing has become essential to assure the quality of software products. Within the process test, unit test is performed on the smallest funcional part of the software and it aims at discovering defects in these units. JUnit is a unit test tool, which assists developers in the automation of tests and verification of results. However, much time, cost and effort are still spent to codify drivers and stubs, which most of the time jeopardizes its use. Another problem found in the unit test is the need of cases test specification in a higher level language, which is independent of any specific programming language. The Test Profile of UML 2. 0 (U2TP) solves this problem, because it allows to represent and document all artifacts used in the test process. This work aims at the fully automated generation of test drivers and stubs for JUnit from U2TP test specifications. A case study has shown that the developed algorithms correctly generated all test code, considering all elements explored in this work. The main goal of the case study was the validation of the correctness of the generated code, as well as the quantitative analysis of time consumed and number of code lines generated. / Atualmente a área de teste de software tem se tornado fundamental para garantia da qualidade dos produtos desenvolvidos. Dentro do processo de teste, o teste unitário é realizado na menor parte funcional de um software e visa descobrir defeitos nestas unidades. JUnit é uma ferramenta de apoio ao teste unitário, a qual auxilia desenvolvedores na automação dos testes e verificação dos resultados. Porém, muito tempo, custo e esforço ainda são gastos para codificar os drivers e os stubs de teste necessários a esta ferramenta, o que muitas vezes inviabiliza o seu uso. Outro problema encontrado no processo de teste unitário é a necessidade de especificação dos casos de teste em uma linguagem de mais alto nível, que seja independente de linguagem de programação. O Perfil de Teste da UML 2. 0 (U2TP) resolve este problema, pois permite representar e documentar todos artefatos utilizados no processo de teste. Esta dissertação de mestrado tem por objetivo a geração totalmente automatizada de drivers e stubs de teste para ferramenta JUnit a partir de especificações de testes modeladas com a U2TP. Um estudo de caso mostrou que os algoritmos propostos geraram corretamente todo código de teste para todos elementos explorados neste trabalho. O estudo de caso teve como principais objetivos a validação correta do código gerado, bem como uma análise quantitativa em relação ao tempo envolvido e número de linhas de código geradas.

Made available in DSpace on 2013-08-07T18:43:20Z (GMT). No. of bitstreams: 1 000412371-Texto+Completo-0.pdf: 1987061 bytes, checksum: d365ca0a7a380c98bc88e9ecf3a221d1 (MD5) Previous issue date: 2009 / The continuing evolution of software development methodologies results in challenges emerging simultaneously with this advance. One of these challenges is how to guarantee the quality of software. Several researchers continuously develop different approaches for software testing following this evolution. One approach that aims to provide the increased quality is through model-based testing. There are various techniques of model-based software testing, ensuring a broad range of possibilities. One way to integrate these possibilities is applying the concepts of software product lines. In this work we propose the design of a software product line architecture to integrate the different techniques of model-based software testing. / Com a evolução das metodologias de desenvolvimento de software, novos desafios vão surgindo junto com este avanço. Um dos desafios fica a cargo de como garantir a qualidade do software desenvolvido. Diversos pesquisadores desenvolvem continuamente diversas abordagens de teste de software para acompanhar esta evolução. Uma das abordagens que visa prover o aumento da qualidade é através de testes de software baseados em modelos. Existem diversas formas de realização de testes de software baseados em modelos, garantindo um amplo leque de possibilidades. Uma forma de integrar estas possibilidades é através da aplicação dos conceitos de linha de produtos de software. Este trabalho propõe a realização de uma arquitetura de linha de produtos de software para integrar as diferentes técnicas de testes baseados em modelos.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduaçõa em Ciência da Computação. / Made available in DSpace on 2012-10-23T05:34:18Z (GMT). No. of bitstreams: 0Bitstream added on 2013-07-16T20:06:07Z : No. of bitstreams: 1 249954.pdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Este trabalho apresenta um conjunto de princípios que, se aplicados para a definição de contratos de operações de sistema, possibilitam a geração automática de diagramas de comunicação (UML). Os diagramas assim gerados podem ser usados também para geração automática de código. O mecanismo que gera os diagramas de comunicação é um sistema de busca, o qual foi projetado para encontrar diagramas que realizam um contrato de acordo com os padrões de projeto GRASP - General Responsibility Assignment Software Patterns. Os contratos são escritos em uma linguagem que consiste em uma variação da OCL (Object Constraint Language) adaptada para representar explicitamente os cinco tipos de pós-condições semânticas possíveis em modelos orientados a objetos. Apesar de seu considerável poder de geração, o mecanismo de busca resume-se a um conjunto de apenas quatro regras. O sistema foi implementado e testado em diversos contratos típicos de sistemas de informação, produzindo em todos os casos os resultados almejados. Estes resultados podem ser generalizados também para contratos mais complexos.

Diploma thesis is oriented to analysis of current online language courses and software design of optimal solution related to analysis results. This text describe indivudual language e-learning courses for beginners, gives review of its advantages and disadvantages in connection with modern trends, explores user requirements for this kind of teaching. Due to the obtained results and usage of modern trends of foreign language teaching optimal solution may be proposed.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Ciência da Computação, Florianópolis, 2011 / Made available in DSpace on 2012-10-26T08:09:57Z (GMT). No. of bitstreams: 1 297702.pdf: 1351029 bytes, checksum: d2999d9cb113a9c81dd004e12f0352a9 (MD5) / Diagramas de classe UML são construídos com classes, atributos e associações. Porém, as linguagens de programação usualmente não implementam associações, as quais precisam ser representadas por meio de atributos e métodos, que devem ser construídos pelo programador. Isto gera um gap entre o modelo e o código do programa, dificultando a leitura, escrita e a manutenção de código. As soluções propostas em termos de linguagens de programação experimentais, bibliotecas e code patterns, apresentam ainda problemas para representar associações e/ou discrepâncias quanto a conceitos e funcionalidades. Este trabalho apresenta a proposta de uma extensão para uma linguagem de programação orientada a objetos que mantém os conceitos e funcionalidades existentes, acrescentando associações com o mesmo significado e expressividade da UML 2. Esta extensão aborda questões como multiplicidade, navegabilidade, visibilidade, association end ownership e especialização de associações. / UML diagrams are built with classes, attributes and associations. However, programming languages usually do not implement associations, which have to be represented by means of attributes and methods that have to be defined by programmers. That produces a gap between model and programming code, making reading, writing and maintaining code a hard task. Proposed solutions such as, experimental programming languages, libraries and code patterns, still present problems for representing associations, and/or inconsistencies regarding concepts and functionalities. This dissertation presents the proposal for an extension for an object-oriented programming language that is consistent with existing concepts and functionalities, adding association with the same meaning and expressiveness of UML 2. This extension approaches issues like multiplicity, navigability, visibility, association end ownership and association specialization.

No description available.

No description available.

No description available.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia de Produção. / Made available in DSpace on 2012-10-19T18:48:53Z (GMT). No. of bitstreams: 0Bitstream added on 2015-02-04T21:02:29Z : No. of bitstreams: 1 193091.pdf: 1589312 bytes, checksum: 43ae0fc6ebc053f4b221889c3e59212c (MD5) / O presente trabalho busca fornecer, através de exemplos práticos e representações gráficas, uma estrutura capaz de orientar as organizações na escolha da metodologia mais apropriada para seus projetos de software. Um dos principais esforços dos pesquisadores envolvidos com a Engenharia de Software tem sido apresentar e abstrair modelos que descrevem processos de software. Estes modelos permitem que se compreenda o processo de desenvolvimento dentro de um paradigma conhecido. A existência de um modelo é apontada como um dos primeiros passos em direção ao gerenciamento e à melhoria do processo de software. Na última década, um novo segmento da comunidade de Engenharia de Software vem defendendo processos simplificados, também conhecidos como "processos ágeis", focados nas pessoas que compõem o processo e, principalmente, no programador. O trabalho apresenta a aplicação e avaliação de dois processos. O primeiro a ser discutido é o Extreme Programming (XP), o qual está entre os "processos ágeis" e que vai contra uma série de premissas adotadas por métodos mais tradicionais de desenvolvimento. O segundo processo é o ICONIX, o qual é definido como sendo um processo prático que utiliza a notação UML. Como produto final, além da aplicação de cada processo, são discutidos os seus pontos positivos e negativos. Um estudo comparativo entre os modelos é também elaborado, onde são examinados simultaneamente os recursos de ambos os processos, para desta forma, determinar quais características devem ser inerentes a um processo de software que garanta a produtividade e qualidade.