Made available in DSpace on 2013-08-07T18:43:25Z (GMT). No. of bitstreams: 1 000392661-Texto+Completo-0.pdf: 432224 bytes, checksum: b9737686724e71eda38e92848f11b834 (MD5) Previous issue date: 2005 / Nowadays the organizations need to implement a quality improvement program in order to survive on the competitive market. The Software Quality Assurance (SQA) is directly related to one process area in the SW-CMM and CMMI. This function is responsible by assure that the implanted process is being followed. However, without an adequate and functional SQA structure (activities and roles classified according to maturity levels of this models), the organizations are finding difficulties in achieve a higher maturity level in the SW-CMM and in the CMMI. And the effort expended for some of the SQA activities must be reduced with the time. It because the organizations dominate better your processes along the years. In this context, this research presents a roadmap for GQS. The roadmap aggregates the MEGa model, that objectivities to organize the SQA function, and the “2 Tempos” method to execution of auditorships by sampling. The MEGa is a guide to formulate or reformulate the SQA structure in the organization. The “2 Tempos” method possibility to customizes part of SQA function. / Nos dias atuais as organizações necessitam de um processo de melhoria de qualidade para atuar em um mercado competitivo. A Garantia da Qualidade de Software (GQS), correlata a uma área de processo no SW-CMM e no CMMI, é a função responsável por garantir que o processo implantado está sendo seguido. Entretanto, sem uma estrutura (atividades e papéis relacionados com a maturidade organizacional) de GQS adequada e funcional, as organizações encontram dificuldades em passar para o nível seguinte de maturidade no SW-CMM e no CMMI. Deve-se considerar ainda que o esforço despendido por algumas das atividades de GQS deve ser reduzido com o passar do tempo, uma vez que os processos passam a ser mais bem compreendidos e dominados pela organização. Tendo em vista este quadro, propõe-se um roadmap para GQS. Compõe o roadmap o modelo MEGa, para estruturação da função de GQS, e o método 2 Tempos para execução de auditorias por amostragem. O MEGa funciona como um guia que auxilia a organização na definição ou reformulação da sua estrutura de GQS e o método 2 Tempos torna a customização de parte da função de GQS passível de execução.

As maiores dificuldades encontradas no teste de software estão relacionadas à definição dos dados de teste e a decisão de quando encerrar os testes. Uma das formas encontradas para minimizar tais dificuldades está centrada na utilização de critérios de cobertura. O principal objetivo dos critérios de cobertura é tornar o processo de testes mais rápido e preciso, fornecendo informações que determinem o que testar em um software para garantir sua qualidade. A modelagem é um dos elementos de maior importância nas atividades relacionadas ao desenvolvimento de software. Os modelos são construídos principalmente para melhor se entender o sistema, descrever a estrutura e comportamento desejados, visualizar a arquitetura e documentar as decisões tomadas durante o seu desenvolvimento. Atualmente, o sistema de notação mais utilizado para a modelagem de sistemas baseados nos conceitos de orientação a objetos é a Linguagem de Modelagem Unificada – UML [LAR 99]. Nesta notação, um sistema é descrito por um conjunto de diagramas que apresentam diferentes aspectos do sistema. As informações disponibilizadas por estes diagramas propiciam, já nas fases iniciais do desenvolvimento da aplicação (análise e projeto), o planejamento dos casos de teste e a definição de critérios de cobertura. Observa-se que nestas fases a maioria das informações necessárias para o teste já estão disponíveis, como por exemplo, a definição das classes com seus atributos, métodos e relacionamentos, a representação da interação existente entre objetos para a realização de um cenário e a descrição dos possíveis estados e transições de um objeto em resposta a eventos externos e internos. Este trabalho propõe um conjunto de diretrizes e critérios de cobertura de teste, tendo como base as especificações diagramáticas UML. As diretrizes estabelecem um conjunto de instruções para que o teste seja feito e os critérios de cobertura identificam os pontos principais e serem considerados durante o teste. Na definição das diretrizes e dos critérios foram avaliadas as informações disponibilizadas pelos diagramas de classes, seqüência, colaboração e estados.

Buscando aumentar a qualidade de software, a área de Engenharia de Software tem produzido ferramentas para auxílio ao desenvolvimento de software assim como tem estudado e produzido formas de controlar o processo de desenvolvimento. A tecnologia existente para coordenação de atividades humanas - incluindo sistemas de Workflow e PSEE (Process-Centered Software Engineering Environments) - possui algumas limitações. Uma das principais é a falta de flexibilidade. Algumas características importantes de processos de software não têm sido levadas em consideração pela tecnologia disponível, como por exemplo: o aspecto humano envolvido, a dificuldade em definir todo o processo antes de executá-lo, o tratamento de mudanças durante a execução, dentre outras. Além disso, quando se considera a construção de PSEEs, notase a necessidade de uma abordagem formal adequada, que permita um melhor entendimento, análise e comparação com outros modelos. Este trabalho apresenta e discute um modelo conceitual e mecanismos para contribuir para o aumento da flexibilidade e do nível de automação fornecidos para execução de processos. Para atingir os objetivos do trabalho, foi proposta uma arquitetura, denominada APSEE, construída a partir de um meta-modelo unificado que integra informações organizacionais, gerenciais, sobre artefatos do processo, e sobre ferramentas do ambiente. O modelo proposto define de forma rigorosa seus componentes. Assim, as propriedades de recursos e pessoas são descritas visando melhorar o controle de sua alocação, permitindo a construção de um mecanismo de apoio à instanciação de recursos e pessoas em processos. Além disso, uma linguagem de modelagem visual de processos de software é proposta. Por fim, é fornecido o mecanismo de execução de processos que permite modificações dinâmicas, verifica a consistência dessas modificações, e permite acompanhamento da execução de processos pelo gerente. Os diferentes componentes envolvidos na definição do modelo APSEE proposto foram especificados formalmente através de método algébrico e também através da abordagem de gramáticas de grafos, constituindo uma base semântica de alto nível de abstração que deu origem a um conjunto de protótipos implementados como ferramentas do ambiente PROSOFT-Java. A implementação também serviu para constatar a viabilidade do uso do APSEE como plataforma de integração para vários serviços de gerência de processos desenvolvidos como atividades de pesquisa no contexto do grupo PROSOFT. Finalmente, são apresentadas considerações acerca dos trabalhos relacionados, os elementos críticos que influenciam a aplicabilidade do modelo e as atividades adicionais vislumbradas a partir do trabalho proposto. / Software Engineering evolved to increase software quality through the definition of tools to support both development and management processes. However, the existing technology to provide automated support for human activity coordination - mainly represented by Workflow Management Systems and Process-Centered Software Engineering Environments (PSEEs) - has some limitations. One of the most important limitations is related to the low level of flexibility provided by current tools. Existing technologies provide limited support for some important software process characteristics, which includes, for example, the humanistic aspect of software processes, the difficult to completely prescribe the process model in advance, and the lack of adequate support for dynamic changes on enacting processes. Besides, the construction of a PSEE demand an adequate formal approach for its specification, which can improve its understandability and analysis, while constitutes a basis for comparison with similar proposals. This work presents and discusses a conceptual model and mechanisms which jointly aim to increase the level of flexibility and automation provided for software processes enactment. In order to reach this goal, a software-based architecture is proposed, named APSEE, which provides a unified meta-model that integrates organizational and management information, along with software artifact and tool support. The proposed meta-model rigorously defines its components. Therefore, resource and people properties are formally described in order to allow better allocation through an automated process instantiation mechanism. In addition, a visual software process modeling language is provided which is, in turn, related to the underlying meta-model. Finally, a flexible process enactment mechanism was specified to support dynamic changes on process models that work together with consistency check and monitoring mechanisms. The required software components for the proposed meta-model were specified using algebraic specification and graph grammar-based techniques which, in turn, were used to build prototypes for the Java-PROSOFT environment. This implementation was also useful to evaluate the feasibility of using APSEE as an integration platform for a number of process management services developed by PROSOFT research group. Finally, it is discussed how this proposal relates to the current technological state-ofthe- art, the critical elements that can influence its applicability and effectiveness, and the expected future activities.

Made available in DSpace on 2016-08-29T15:33:08Z (GMT). No. of bitstreams: 1 tese_2808_.pdf: 2022457 bytes, checksum: f49a705bcec0c4fe9cf41a5589689a22 (MD5) Previous issue date: 2009-08-28 / Definir processos de software não é uma tarefa trivial. Uma abordagem utilizada frequentemente para definição de processos é a definição de processos em níveis, na qual são definidos processos padrão organizacionais, os quais são instanciados para projetos, originando os processos de projeto. Embora essa abordagem se baseie na reutilização de processos, ela não explora amplamente as possibilidades de reúso de processos. Uma alternativa para tentar amenizar as dificuldades na definição de processos é trazer para a o domínio de processos de software as ideias do Desenvolvimento de software Baseado em Componentes (DBC). Este trabalho propõe uma abordagem intitulada Definição de Processos Baseada em Componentes (DPBC), a qual procura institucionalizar o reúso de processos ou de partes deles, tratados como componentes de processo. Esses componentes de processo podem ser definidos no nível de abstração de processos padrão e em variados níveis de granularidade, podendo ser utilizados na definição de outros componentes de processo ou na definição de processos de projeto.

As maiores dificuldades encontradas no teste de software estão relacionadas à definição dos dados de teste e a decisão de quando encerrar os testes. Uma das formas encontradas para minimizar tais dificuldades está centrada na utilização de critérios de cobertura. O principal objetivo dos critérios de cobertura é tornar o processo de testes mais rápido e preciso, fornecendo informações que determinem o que testar em um software para garantir sua qualidade. A modelagem é um dos elementos de maior importância nas atividades relacionadas ao desenvolvimento de software. Os modelos são construídos principalmente para melhor se entender o sistema, descrever a estrutura e comportamento desejados, visualizar a arquitetura e documentar as decisões tomadas durante o seu desenvolvimento. Atualmente, o sistema de notação mais utilizado para a modelagem de sistemas baseados nos conceitos de orientação a objetos é a Linguagem de Modelagem Unificada – UML [LAR 99]. Nesta notação, um sistema é descrito por um conjunto de diagramas que apresentam diferentes aspectos do sistema. As informações disponibilizadas por estes diagramas propiciam, já nas fases iniciais do desenvolvimento da aplicação (análise e projeto), o planejamento dos casos de teste e a definição de critérios de cobertura. Observa-se que nestas fases a maioria das informações necessárias para o teste já estão disponíveis, como por exemplo, a definição das classes com seus atributos, métodos e relacionamentos, a representação da interação existente entre objetos para a realização de um cenário e a descrição dos possíveis estados e transições de um objeto em resposta a eventos externos e internos. Este trabalho propõe um conjunto de diretrizes e critérios de cobertura de teste, tendo como base as especificações diagramáticas UML. As diretrizes estabelecem um conjunto de instruções para que o teste seja feito e os critérios de cobertura identificam os pontos principais e serem considerados durante o teste. Na definição das diretrizes e dos critérios foram avaliadas as informações disponibilizadas pelos diagramas de classes, seqüência, colaboração e estados.

El Área de Computación de la Universidad Peruana de Ciencias Aplicadas se ha planteado el objetivo de acreditar la carrera de Ingeniería de Software a través del ICACIT y de acuerdo con los criterios de ABET (Acreditation Board for Engineering and Technology), para lo cual requiere implementar un proceso de gestión de proyectos de software que siga los estándares de calidad de un modelo de mejora continua estándar de la industria como es el Capability Maturity Model Integration (CMMI). El proceso de evaluación reconocido por CMMI es el Standard CMMI Appraisal Method for Process Improvement (SCAMPI), método de evaluación en el que se basará el presente proyecto. A pesar de haberse determinado en una evaluación SCAMPI, el nivel de calidad de un conjunto de proyectos de talleres, es difícil realizar la misma evaluación para proyectos futuros, desaprovechando de esta manera el conocimiento adquirido. La evaluación de calidad requiere acceso a información sobre los artefactos, actividades, participantes y mentores de los proyectos realizados de acuerdo al proceso de desarrollo personalizado para cada Taller durante varios ciclos y esta información es manejada actualmente en distintas herramientas no relacionadas, orientadas a cumplir prácticas recomendadas por la metodología utilizada. Dentro de la implementación de dicho proceso de gestión de proyectos se contempla la utilización de un sistema llamado “Sistema de Aseguramiento de la Calidad del Software”, que facilite la gestión de proyectos de software en el marco de un modelo de calidad internacionalmente reconocido. Este sistema estará conformado por los subsistemas Gestor de Modelo de Calidad del Software (GMCS), Gestor de Procesos y Metodologías (GPM), Gestor de Proyectos de Software (GPS) y Evaluador de Calidad del Software, Planeación (PP-SCAMPI) y Ejecución (EP-SCAMPI). El objetivo del presente proyecto será diseñar la arquitectura y modelo integral de pruebas del “Subsistema Evaluador de la Calidad de Software - Planeación y Preparación”, como parte de la solución integrada del sistema de aseguramiento de calidad del software usando el método SCAMPI, orientado a la evaluación de procesos de desarrollo de software. El proyecto se dividirá en 2 fases: Concepción y Elaboración que agruparán todas las actividades del proyecto. La fase de Concepción tendrá una iteración (Junio 2007) y la fase de Elaboración tendrá 3 iteraciones (Julio a Noviembre 2007). Al ser PP-SCAMPI parte de un sistema, presenta como mayor reto la integración con los subsistemas GPS para obtener los proyectos e integrantes, GMCS para obtener el modelo CMMI y EP-SCAMPI para proveer el plan de evaluación a ejecutar. Se diseñaron componentes y medios de comunicación que hicieran posible implementar los servicios especificados en cada contrato, para lo cual se requirió un manejo especial para cada caso de integración. Se utiliza una arquitectura distribuida de 3 niveles para proveer comunicación y lógica de negocios entre módulos. Los 3 niveles son: presentación, aplicaciones y servicios de datos. Las pruebas diseñadas incluyen pruebas funcionales, ciclo de negocio e integración y permitiendo validar que la arquitectura propuesta soporta los requerimientos del proyecto. Las pruebas se diseñaron en base a los riesgos del proyecto, casos de uso, requisitos funcionales, requisitos no funcionales, elementos de diseño y posibles fallos o defectos. Una vez realizada la implementación de la herramienta propuesta se obtendrá un mayor facilidad en la elaboración del Plan de Evaluación SCAMPI para proyectos de diferentes talleres en diferentes etapas de avance y ciclos; así como la facilidad para gestionar las actividades de evaluación por áreas de proceso seleccionadas. / Tesis

Doctora en Ciencias, Mención Computación / Tradicionalmente, la ingeniería de software se ha enseñado con clases expositivas. Sin embargo, esta disciplina requiere mucho más que sólo teoría. Con el fin de tratar de entender el estado del arte en este ámbito, se ha realizado una extensa revisión bibliográfica. Además, se llevó a cabo un estudio de la enseñanza de ingeniería de software en las principales universidades de Chile. Los resultados obtenidos indican que hace poco tiempo que estas instituciones han comenzado a enseñar ingeniería de software de una manera teórico-práctica, involucrando a los estudiantes en experiencias de desarrollo de software ya sea en cursos basados en proyectos, como en cursos prácticos de fin de carrera (capstone). Ambos tipos de cursos tienen objetivos distintos; los primeros son generalmente apoyados por procesos más rigurosos, mientras que los últimos son frecuentemente abordados con estrategias de desarrollo ágiles. Se han propuesto varias estrategias de instrucción y de uso de procesos de ingeniería de software para cursos capstone, pero muy pocos están disponibles para cursos basados en proyectos. Además, aún los procesos más rigurosamente reportados en la literatura no incluyen suficiente detalle para que instructores y estudiantes involucrados puedan reproducirlos en cursos basados en proyectos. Es con el objetivo de llenar este vacío que esta tesis concibe y propone EduProcess: un proceso de desarrollo de software prescriptivo que puede ser utilizado en los cursos de ingeniería de software basados en proyectos que toman parte de programas de computación de pregrado. En relación al uso de este proceso, esta tesis hipotetiza que EduProcess: (H1) permite que las experiencias prácticas puedan ser reproducidas sin demandar un esfuerzo adicional considerable, y (H2) ayuda a producir resultados positivos en proyectos de software. Este método fue concebido para apoyar a pequeños equipos de software que trabajan de manera distribuida la mayor parte del tiempo y tienen instancias esporádicas de sincronización de sus trabajos. El proceso puede ser utilizado en proyectos de al menos siete semanas de duración. EduProcess incluye dos subprocesos: uno principalmente a cargo de los estudiantes (e involucra a los usuarios y clientes), y el otro a cargo del equipo instruccional del curso y sirve de apoyo a la experiencia de enseñanza-aprendizaje. La validación de las hipótesis se realizó con un estudio de caso en un curso de la Universidad de Chile. Los resultados obtenidos indican que EduProcess ayuda a los estudiantes a aumentar su coordinación, su sentido de pertenencia al equipo y su efectividad, pero no necesariamente aumenta su productividad. Tambén permite a los equipos hacer un diagnóstico más preciso de su proyecto y priorizar mejor las tareas de modo de maximizar su tasa de éxito. Estos resultados apoyan a la hipótesis H2. EduProcess se aplicó sistemáticamente y con éxito durante cuatro semestres en un curso de ingeniería de software basado en proyectos. Esto muestra que el proceso permite la repetición de estas experiencias, sin demandar de los instructores y estudiantes un esfuerzo considerable. Este resultado apoya la hipótesis H1. En este sentido, EduProcess hace una contribución al avance del estado del arte en el dominio de la educación de ingeniería de software, y específicamente en el proceso de enseñanza-aprendizaje de ingeniería de software en cursos basados en proyectos. / Este trabajo ha sido parcialmente financiado por CONICYT y Fondef

Made available in DSpace on 2014-06-11T19:28:33Z (GMT). No. of bitstreams: 0 Previous issue date: 2011-08-05Bitstream added on 2014-06-13T20:58:26Z : No. of bitstreams: 1 silva_ff_me_guara.pdf: 4729647 bytes, checksum: 7db1bd019b542d769c6c054a27719a6f (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Biomodelagem é um termo genérico que designa a habilidade de replicar a morfologia de uma estrutura biológica em um modelo físico. Por ser uma técnica relativamente nova, sua disseminação é limitada pelo alto custo de aquisição de softwares proprietários e hardware de alto desempenho, impedindo sua utilização em hospitais públicos, centros de saúde e consultórios médicos. O objetivo principal desse trabalho é apresentar uma proposta de biomodelagem virtual através do uso de softwares livres instalados em equipamentos convencionais de informática e contribuir de forma efetiva para redução dos custos da técnica. Para atingir o objetivo, foi necessário identificar softwares livres dedicados e CAD que pudessem ser aplicados em conjunto para desenvolvimento de projetos em biomodelagem. Dentre a diversidade de programas disponíveis, observou-se que os softwares Invesalius 3.0 e FreeCAD 0.11 possuíam as características necessárias para aplicação da técnica. Baseado nos conceitos de biomodelagem, três estudos de caso foram abordados para elaboração do diagnóstico e planejamento cirúrgico, auxiliando o médico na tomada de decisões. Os resultados demonstraram que a biomodelagem virtual por meio do uso dos softwares livres Invesalius 3.0 e FreeCAD 0.11, instalados em equipamentos convencionais de informática, é viável para uso na rotina médica em diversas situações de diagnóstico e planejamento cirúrgico. As principais vantagens apresentadas são a redução dos custos em biomodelagem e a possibilidade de disseminação da técnica, permitindo a inclusão de um maior número de pacientes submetidos às tecnologias 3D / Biomodeling is a generic term for the ability to replicate the morphology of biological structure in a physical model. As it is a relatively new technique, its dissemination is limited by the high cost of purchase of proprietary software and high performance hardware, impeding their use in public hospitals, health centers and physician offices. The main objectives of this work are to propose a virtual biomodeling through the use of open source software installed in a conventional computer equipment and to effectively contribute in reducing the technique costs. In order to achieve the proposed objectives, it was necessary to identify dedicated open source software and CAD open source software that could be applied together to develop biomodeling projects. Among the variety of programs available, it was noted that the software InVesalius 3.0 and the FreeCAD 0.11 had the necessary characteristics for the application of the technique. Based on the concepts of biomodeling, three case studies were discussed for making the diagnosis and the surgical planning, assisting the physician in making decisions. The results showed that the virtual biomodeling through the use of the open source software called InVesalius 3.0 and FreeCAD 0.11, installed in conventional computer equipment, is feasible for the routine use in many situations of medical diagnostic and surgical planning. The main advantages are the cost reduction in biomodeling and the possibility of spreading the technique, allowing the inclusion of a greater number of patients subjected to 3D technologies

Made available in DSpace on 2015-06-09T02:04:16Z (GMT). No. of bitstreams: 1 000470107-Texto+Completo-0.pdf: 10221885 bytes, checksum: ceca007d694b6d03659394bfbef27d3f (MD5) Previous issue date: 2011 / Both industry and academy has been demonstrating a great interest for software process improvement (SPI) as an agent for improving software product quality. One of the strategies followed in seeking software process improvement is the adoption of quality standards (standards and reference models) to guide SPI projects. However, given the wide variety of quality standards available for SPI, organizations have been faced new challenges related to integration, comparison, mapping and harmonization of these standards. One difficulty found when trying to analyze the differences and similarities between the various quality standards is the lack of uniformity in their definitions. The quality standards have different vocabularies, different structures, different levels of abstraction and different requirements in terms of granularity. This means that they are adopting completely different representations. Thus, this thesis aims to answer the following research question: How to make the representation of quality standards for SPI so that it can support the standards integration?The overall objective is to propose an approach to represent quality standards for SPI so that it can support their integration. To achieve this, an exploratory study was conducted, using as research methods case study, survey, documents based research and design and creation method. As a result, this thesis proposes a conceptualization of quality standards domain for SPI, explained through the development of quality standards ontology for SPI, and a modeling language based on this ontology, explicit by the development of a quality standard metamodel for SPI. / Tem havido um grande interesse tanto na indústria quanto na academia pela melhoria do processo de software (MPS) como agente para a melhoria da qualidade do produto de software. Uma das estratégias seguidas na busca pela melhoria dos processos de software é a adoção de padrões de qualidade (normas de qualidade e modelos de referência) para guiar projetos de MPS. Entretanto, em virtude da grande variedade de padrões de qualidade existentes para MPS, as organizações enfrentam novos desafios relacionados à integração, a comparação, o mapeamento e a harmonização dos mesmos. Uma dificuldade encontrada quando se tenta analisar as diferenças e as semelhanças entre os diversos padrões de qualidade é a inexistência de padronização nas suas definições. Os diversos padrões de qualidade apresentam vocabulários diferentes, estruturas diferentes, níveis de abstração diferentes e exigências em granularidades diferentes, ou seja, adotam representações completamente diferentes. Assim, esta tese de doutorado visa responder a seguinte questão de pesquisa: Como realizar a representação de padrões de qualidade para MPS de forma que seja possível apoiar a integração dos mesmos?O objetivo geral é desenvolver uma abordagem para representação de padrões de qualidade para MPS de forma que seja possível apoiar a integração dos mesmos. Para atingir tal objetivo foi realizado um estudo exploratório, utilizando-se como métodos de pesquisa o estudo de caso, a survey, a pesquisa baseada em documentos e o método de projeto e criação. Como resultado, esta tese propõe uma conceituação do domínio de padrões de qualidade para MPS, explicitada através do desenvolvimento de uma ontologia de padrões de qualidade para MPS, e uma linguagem de modelagem baseada nesta ontologia, explicitada através do desenvolvimento de um metamodelo para padrões de qualidade para MPS.

Made available in DSpace on 2015-04-30T14:04:06Z (GMT). No. of bitstreams: 1 000467155-Texto+Completo-0.pdf: 2830700 bytes, checksum: 717b3cd1bf5545454eab21f0a4080aac (MD5) Previous issue date: 2014 / Technology advances have allowed software systems to become more common in our society solving different types of problems we face everyday. This widespread use of software systems brought about some bigger and more complex solutions, which resulted in more systems that can fail. Furthermore, two important aspects in the software development process are being considered in every project: time to delivery and product quality. Since products have to be delivered faster, some faults may reside in the product and that could cause unforeseeable costs. In this scenario it is fundamental that the testing activity become one of the most important parts of the software development process to guarantee the quality of the final product. However, the testing activity is usually very expensive and time consuming, since most of the time it is executed manually. To improve that, Model Based Testing (MBT) has been used lately to generate testing artifacts automatically. These artifacts are usually extracted from the system model. This has helped to reduce the cost of testing, since the time to generate and execute tests can be reduced. Therefore, the main contribution of this work is to investigate how MBT can be applied for performance testing, i. e. how to include timing constraints in UML (Unified Modeling Language) diagrams and based on those constraints to execute the tests and verify whether the constraints are met or not. Another contribution of this work, is the setting of Service Level Agreements, i. e. set parameters to verify whether a system delivery answers based on pre-determined values. We applied our strategy to two sample applications, i. e. TPC-W and Skills, and measured their execution time using the LoadRunner Tool. Furthermore, we applied our whole strategy also to a complete case study, i. e. ChangePoint, and discuss some of our results. / Com o avanço da tecnologia, os sistemas se tornaram cada vez maiores e mais complexos, e, consequentemente, mais suscetíveis a defeitos. Aliado a isso, estão presentes dois fatores cruciais no processo de desenvolvimento de software: os prazos de entrega dos projetos e a qualidade do produto, uma vez que a existência de pequenas falhas pode levar a prejuízos incalculáveis. Nesse aspecto, se torna indispensável incluir a atividade de teste como parte do projeto de software, a fim de garantir certo de nível de confiabilidade. Porém, a realização da atividade de teste é geralmente bastante onerosa durante o desenvolvimento de um sistema de software. Isso ocorre porque boa parte dessas atividades são executadas manualmente. Nesse sentido, a abordagem de Teste Baseado em Modelos (Model Based Testing - MBT) é uma técnica que consiste na geração automática dos artefatos de teste com base em informações extraídas dos modelos de software. Isso tem sido uma alternativa para mitigar estes custos e tornar o processo de teste mais eficiente, reduzindo o tempo de geração e execução dos casos de teste. Neste contexto, a principal contribuição deste estudo é investigar a abordagem de MBT para teste de desempenho, relacionando estimativas de tempo aos modelos UML (Unified Modeling Language)e com base nessas estimativas medir o tempo de execução das sequências de teste. Outro fator é a definição dos Acordos de Nível de Serviço - SLAs, que tem como objetivo definir indicadores a serem atingidos que possam de fato serem medidos e assegurar que um serviço seja disponibilizado de forma correta e adequada. Diante disso, a partir de um cenário de teste é possível medir e monitorar o tempo de execução das sequências de teste avaliando se estão em conformidade com o SLA definido. Após a realização dos testes é possível coletar e analisar os resultados obtidos, além de comparar com os requisitos de tempo inicialmente estimados nos modelos. Nós aplicamos a nossa abordagem em duas em duas aplicações: TPC-W e Skills, e medimos seus tempos de execução usando a ferramenta LoadRunner. Além disso, aplicamos nossa abordagem também para um estudo de caso completo, usando a aplicação ChangePoint, e discutimos alguns dos resultados.