Made available in DSpace on 2015-04-14T14:49:29Z (GMT). No. of bitstreams: 1 427824.pdf: 1081749 bytes, checksum: c8c69e3ba36c9f3bab710bcbfe4774f4 (MD5) Previous issue date: 2010-03-12 / Com o crescimento da depend?ncia de in?meras atividades humanas por sistemas computacionais, cresce tamb?m a expectativa dos usu?rios, que querem n?o apenas a automa??o de processos, mas tamb?m crescentes qualidade e agilidade na entrega de informa??es e servi?os. A forma mais difundida de garantia de cumprimento dos requisitos de um sistema ? o teste de software. Apesar de trazerem indispens?veis benef?cios ao processo de constru??o de software, os testes de software ainda s?o atividades extremamente manuais, repetitivas e, por vezes, artesanais. O uso de modelos formais para descrever o comportamento e a estrutura de um sistema s?o t?cnicas baseadas na matem?tica, comprovadas e aceitas, que em muito acrescentam na tarefa de caracterizar de forma precisa e n?o amb?gua um sistema. A disciplina de testes baseados em modelos compreende uma t?cnica onde os testes a serem realizados s?o definidos automaticamente a partir do modelo da aplica??o. Uma das formas de realizar as ideias presentes na t?cnica de testes baseados em modelos, tirando proveito do reuso de componentes similares de software a fim de diminuir o esfor?o sem perder qualidade ? a engenharia de linha de produto de software. O presente trabalho busca aliar t?cnicas de gera??o de testes baseados em modelos formais a t?cnicas de engenharia de linha de produto de software, a fim de automatizar etapas manuais da gera??o e execu??o de casos de teste. Dessa forma, ? proposta uma arquitetura baseada nos conceitos citados, e concretizada atrav?s da implementa??o de uma ferramenta baseada no conceito de plug-ins, a fim de validar a ideia proposta.

Made available in DSpace on 2015-04-14T14:49:45Z (GMT). No. of bitstreams: 1 438602.pdf: 1994981 bytes, checksum: a5439343e1d91aaf3b5b229c798861a5 (MD5) Previous issue date: 2012-01-26 / The business processes models designed by business analysts act as requirement source to model information systems that may give support to these business processes. Transforming a business process model into a system model is not simple. The notation or language used to design business process model is different from the one used to design the system model. Today, BPMN is the pattern to build process models and UML is the pattern to design system models. The goal of this research is to present a method that helps the transformation business process model created in BPMN to system model using UML use cases. The transformation occurs through analysis of how each business element from a BPMN diagram can result in UML use cases elements. The method presents many alternatives to transform a BPMN element into a UML use case, by identifying the relationships and the initial information of cases descriptions / Os modelos de processos de neg?cio definidos pelos analistas de neg?cio servem como fonte de requisitos para a modelagem dos sistemas de informa??o que podem ser constru?dos para dar suporte a esses processos. A transforma??o de um modelo em n?vel de neg?cio para um modelo em n?vel de sistema n?o ? trivial. A nota??o ou linguagem utilizada para modelar o neg?cio ? diferente da utilizada para modelar sistema. Atualmente a BPMN ? a nota??o padr?o para constru??o de modelos de processos de neg?cio e a UML ? a linguagem padr?o para modelagem de sistemas. O objetivo desse trabalho ? apresentar um m?todo que auxilie na transforma??o de modelos de processos de neg?cio feitos em BPMN para modelos de sistema utilizando casos de uso da UML. A transforma??o ? realizada atrav?s da an?lise de como cada elemento de um diagrama BPMN pode dar origem a elementos de casos de uso da UML. O m?todo apresenta diferentes possibilidades de transformar um elemento da BPMN em casos de uso da UML, identificando os relacionamentos e informa??es iniciais da descri??o dos casos de uso

Made available in DSpace on 2013-08-07T18:43:26Z (GMT). No. of bitstreams: 1 000406275-Texto+Completo-0.pdf: 5088741 bytes, checksum: 77356f5ee18c1f01b23fcf0d1843be33 (MD5) Previous issue date: 2008 / Performance evaluation of an object oriented software nowadays can be done, basically, by three different kinds of methods: Stress Testing, Simulations or Analytic Methods, like Stochastic Automata Networks or Queuing Networks. Stress Testing is an efficient method, but could only be performed on final phases of a software development process when the final product is almost finished. Simulations can be performed in initial phases of a software development process, but usually at a high cost, because it depends on a creation of a simulator. The Analytic Methods could be performed at the earlier phases of the software development process too, but they require a creation of a performance evaluation model. ln the object oriented software development a model is created, which contains detailed information about the system. This information could be used to generate a performance evaluation model, since many of the information containing on each other are common. Following that idea researches were made generating methods for conversion of UML diagram into performance evaluation methods, for example, to Queuing Network. However, does not exist a method or technique that converts UML to formalisms like SAN, which has a higher representative power then Queuing Networks. This work will present a technique for converting UML diagrams into Stochastic Automata Networks focusing on the representation of the logical architecture of object oriented softwares. / A avaliação de desempenho de um software orientado a objetos, hoje, pode ser feita basicamente de três maneiras: com testes de desempenho, simulações ou utilizando métodos analíticos como redes de Autômatos estocásticos e redes de filas de espera. Os testes de desempenho são eficientes e, porem podem ser aplicados apenas nas fases finais do desenvolvimento de software, quando o produto esta praticamente pronto, as simulações podem ser realizadas nas etapas iniciais do processo de desenvolvimento de software porém, geralmente, são custosas, pois dependem da criação de um simulador. Os métodos analíticos podem ser aplicados nas fases iniciais do desenvolvimento, mas exigem a criação de um modelo de avaliação de desempenho. No desenvolvimento de software orientados a objetos já se constrói um modelo, o qual possui informações detalhadas sobre o sistema. Estas informações podem ser utilizadas para gerar um modelo de avaliação de desempenho que represente o software já que muitas das informações contidas no modelo do software são comuns ao modelo de avaliação de desempenho. Utilizando esta idéia foram criados alguns métodos de conversão de UML para formalismos de avaliação de desempenho como redes de filas de espera. Porem, ainda inexiste métodos ou técnicas que convertem UML para formalismos como SAN, que é mais abrangente que, por exemplo, redes de espera. Este trabalho demonstra uma técnica de conversão de UML para SAN, onde explora-se a representação da arquitetura lógica de software orientados a objetos.

Made available in DSpace on 2015-04-14T14:49:24Z (GMT). No. of bitstreams: 1 425004.pdf: 1283916 bytes, checksum: 06a02199cf1e50a23c7a99c93e1147e3 (MD5) Previous issue date: 2010-01-27 / O processo de desenvolvimento de software ? uma tarefa que envolve um conjunto de atividades a serem realizadas, e em muitos casos, por equipes grandes que podem se encontrar geograficamente dispersas. Isso exige do desenvolvedor a utilizac?o de m?todos que proporcionem uma vis?o de todas as etapas desse processo de desenvolvimento. A UML (Unified Modeling Language) ? uma linguagem de modelagem que possibilita essa vis?o atrav?s do uso de diagramas que demonstram graficamente a estrutura do software em desenvolvimento. O diagrama de atividades ? utilizado para modelar o comportamento do sistema, atrav?s dos fluxos de execu??o de cada atividade desempenhada pelo mesmo. Com o objetivo de obter um modelo comportamental de sistemas computacionais apresentamos neste trabalho uma proposta de convers?o de diagramas de atividades para SAN (Stochastic Automata Networks), um formalismo matem?tico que possibilita a modelagem de sistemas em geral, a partir do qual ? poss?vel extrair ?ndices probabil?sticos relacionados aos estados, permitindo aos respons?veis pelo processo de desenvolvimento tomar decis?es sobre os recursos alocados no projeto. Com o intuito de demonstrarmos como executar a convers?o, usamos uma vers?o simplificada dos elementos do diagrama de atividades da UML, para descrever os par?metros e regras utilizadas para a convers?o proposta. Apresentamos ainda os resultados obtidos a partir do modelo SAN gerado.

Made available in DSpace on 2015-04-14T14:49:02Z (GMT). No. of bitstreams: 1 406275.pdf: 5088741 bytes, checksum: 77356f5ee18c1f01b23fcf0d1843be33 (MD5) Previous issue date: 2005-03-28 / A avalia??o de desempenho de um software orientado a objetos, hoje, pode ser feita basicamente de tr?s maneiras: com testes de desempenho, simula??es ou utilizando m?todos anal?ticos como redes de Aut?matos estoc?sticos e redes de filas de espera. Os testes de desempenho s?o eficientes e, porem podem ser aplicados apenas nas fases finais do desenvolvimento de software, quando o produto esta praticamente pronto, as simula??es podem ser realizadas nas etapas iniciais do processo de desenvolvimento de software por?m, geralmente, s?o custosas, pois dependem da cria??o de um simulador. Os m?todos anal?ticos podem ser aplicados nas fases iniciais do desenvolvimento, mas exigem a cria??o de um modelo de avalia??o de desempenho. No desenvolvimento de software orientados a objetos j? se constr?i um modelo, o qual possui informa??es detalhadas sobre o sistema. Estas informa??es podem ser utilizadas para gerar um modelo de avalia??o de desempenho que represente o software j? que muitas das informa??es contidas no modelo do software s?o comuns ao modelo de avalia??o de desempenho. Utilizando esta id?ia foram criados alguns m?todos de convers?o de UML para formalismos de avalia??o de desempenho como redes de filas de espera. Porem, ainda inexiste m?todos ou t?cnicas que convertem UML para formalismos como SAN, que ? mais abrangente que, por exemplo, redes de espera. Este trabalho demonstra uma t?cnica de convers?o de UML para SAN, onde explora-se a representa??o da arquitetura l?gica de software orientados a objetos