Software test automation is widely accepted as an efficient software testing technique. However, automation has failed to deliver the expected productivity more often than not. The goal of this research was to find out the reason for these failures by collecting and understanding the metrics that affect software test automation and provide recommendations on how to successfully adopt automation with a positive return on investment (ROI). The metrics of concern were schedule, cost and effectiveness. The research employed an experimental study where subjects worked on individual manual and automated testing projects. The data collected were cross verified and supplemented with additional data from a feedback survey at the end of the experiment. The results of this study suggest that automation involves a heavy initial investment in terms of schedule and cost, which needs to be amortized over subsequent test cycles or even subsequent test projects.

CAPES / O Paradigma Orientado a Notificações (PON) é uma alternativa para o desenvolvimento de aplicações em software e propõe resolver certos problemas existentes nos paradigmas usuais de programação, nomeadamente o Paradigma Declarativo (PD) e o Paradigma Imperativo (PI). Na verdade, o PON unifica as principais vantagens do PD e do PI, ao mesmo tempo que resolve (em termos de modelo) várias de suas deficiências e inconvenientes relativas ao cálculo lógico- causal em aplicações monoprocessados a de software, completamente supostamente multiprocessados. desde O PON ambientes tem sido materializado em termos de programação e modelagem, mas ainda não possuía um método formalizado para orientar os desenvolvedores na elaboração de teste de software. Esta dissertação propõe um método de teste para projetos de software que empregam o PON no seu desenvolvimento. O método de teste de software proposto foi desenvolvido para ser aplicado nas fases de teste unitário e teste de integração. O teste unitário considera as menores entidades testáveis do PON e requer critérios de teste específicos. O teste de integração considera o funcionamento das entidades PON em conjunto para realização de casos de uso e pode ser realizado em duas etapas: (1) teste sobre as funcionalidades descritas nos requisitos e no caso de uso e (2) teste que exercitem diretamente as entidades PON que compõem o caso de uso (como Premisses, Conditions e Rules). Esse método de teste foi aplicado em um caso de estudo que envolve a modelagem e desenvolvimento de um software de combate aéreo e os resultados desta pesquisa mostram que o método proposto possui grande importância no teste de programas PON. / The Notification Oriented Paradigm (NOP) is an alternative to the development of software applications and proposes to solve certain problems in the usual programming paradigms, including the Declarative Paradigm (DP) and Imperative Paradigm (IP). Indeed, the NOP unifies the main advantages of DP and IP while solving (in terms of model) several of its deficiencies and inconveniences related to logical-causal calculation, apparently from both mono and multiprocessor environments. The NOP has been materialized in terms of programming and modeling, but still did not have a formalized method to guide developers in designing and software testing activity. This dissertation proposes a test method for software projects that use the NOP in its development. The proposed software testing method was developed for use in the phases of unit testing and integration testing. The unit testing considers the smallest testable entities of the NOP and requires specific techniques for generating test cases. The integration testing considers the operation of the PON entities together to carry out use cases and can be accomplished in two steps: (1) test on the features described in the requirements and use case and (2) test that directly exercise the NOP entities that make up the use case (as Premisses, Conditions and Rules). The test method was applied in a case study involving the modeling and development of a simple air combat and the results of this research show that the proposed method has great importance in testing NOP programs in both unit and integration testing.

Made available in DSpace on 2016-12-12T20:32:00Z (GMT). No. of bitstreams: 1 DISSERTACAO ALEX ONACLI MOREIRA FABRIN.pdf: 469292 bytes, checksum: 2875f4e293515a533b6ee436bceb6d42 (MD5) Previous issue date: 2005-12-08 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / One of the most important steps in planning software is budgeting, usually considered a complex task due to the difficulty in precision. To ensure revenue, generally a margin of error is added to the overall price, an act which could harm the organization s competitiveness in the market. Based on this scenario, this work presents a study on the competitiveness among organizations of software development which use the objectoriented approach. In order to identify the fundamentals for formulating competitive strategies for these organizations, the exploratory research method was adopted. The organizations processes and procedures were taken into consideration, so as to form prices for their products and services in this industry, so that methodologies can be formulated to help avoid diversion and error. Therefore, in order to assist the organization in formulating such strategies, the influence of the five competitive forces in the software development industry was also taken into consideration, according to the analysis of industries proposed by Michael Porter. The characteristics of software quality have been presented according to the ISO/IEC 9126-1 Standard and, as a basis for the continuous improvement of quality in the software development industry, the Capability Maturity Model Integration and MPS.BR were used. The Use Case Points technique was considered for measuring the necessary efforts for software development, presenting some factors that influence its appropriateness for different organizations. It is hoped that this work may contribute towards bringing together both Management and Computer Science, by providing a text which may assist management professionals in their activities in software development organizations, and guide the managers of such organizations who do not have a degree in Management. / Uma das etapas importantes no planejamento de um software é o seu orçamento que é considerada uma tarefa de grande complexidade apresentando muita dificuldade de precisão. Para garantir a rentabilidade, geralmente um software é acrescido em seu preço de uma margem de erro que pode prejudicar a competitividade da organização no mercado. Com base neste cenário, este trabalho apresenta um estudo sobre o ambiente competitivo das organizações de desenvolvimento de software que utilizam a abordagem de orientação a objetos. Com o objetivo de identificar os fundamentos para a formulação de estratégias competitivas para estas organizações, adotou-se como metodologia a pesquisa exploratória. Considerou-se que, para a formação dos preços dos produtos e serviços dessa indústria, é preciso conhecer suas atividades, seus processos e seus procedimentos, para formular metodologias que permitam evitar desvios e erros. Assim, para orientar as formulações de estratégias das organizações, considerou-se a influência das cinco forças competitivas na indústria de desenvolvimento de software, conforme a técnica de análise de indústrias proposta de Michael Porter. As características de qualidade de software foram apresentadas de acordo com a Norma ISO/IEC 9126-1 e, como base para o aperfeiçoamento contínuo da qualidade na indústria de desenvolvimento de software, utilizou-se o Capability Maturity Model Integration e o MPS.BR. Para a mensuração dos esforços necessários para o desenvolvimento de software, considerou-se a técnica de pontos de caso de uso, apresentando-se alguns fatores que influenciam sua adequação para as diferentes organizações. Espera-se que este trabalho possa contribuir para a aproximação das áreas da Administração e da Computação, fornecendo um texto que possa auxiliar os profissionais da administração nas suas atividades em organizações de desenvolvimento de software, e orientar os gestores de organizações de desenvolvimento de software que não possuem formação na área de Administração.

[pt] Esta dissertação investiga o uso de Algoritmos Genéticos Co-evolucionários na automatização do processo de desenvolvimento de Sistemas de Software Orientados a Objetos. A qualidade final do software depende principalmente da qualidade da modelagem desenvolvida para o mesmo. Durante a fase de modelagem, diversos modelos são desenvolvidos antecipando diversas visões do produto final, e possibilitando a avaliação do software antes mesmo que ele seja implementado. A síntese de um modelo de software pode, portanto, ser vista como um problema de otimização onde se busca uma melhor configuração entre os elementos contemplados pelo paradigma de orientação a objetos, como classes, métodos e atributos, que atenda a critérios de qualidade de design. O objetivo do trabalho foi estudar uma forma de sintetizar modelagens de maior qualidade através da evolução por Algoritmos Genéticos Co- evolucionários. Para avaliar a modelagem do software, foram investigadas métricas de qualidade de software tais como: Reutilização, Flexibilidade, Inteligibilidade, Funcionalidade, Extensibilidade e Efetividade. Essas métricas foram aplicadas na função de avaliação, que por sua vez, foi definida objetivando a síntese de uma modelagem de software orientado a objetos com uma maior qualidade. Neste problema, deseja-se contemplar mais de um objetivo ao mesmo tempo. Para isso, foi utilizada a técnica de Pareto para problemas multi- objetivos. Os resultados obtidos foram comparados com modelagens produzidas por especialistas e as suas características analisadas. O desempenho do AG no processo de otimização foi comparado com o da busca aleatória e, em todos os casos, os resultados obtidos pelo modelo foram sempre superiores. / [en] This work investigates the use of Co-evolutionary Genetic Algorithms in the automation of the development process of object-oriented software systems. The software final quality depends mainly on the design quality developed for the same. During the design phase, different models are developed anticipating various visions of the end product, thus making possible the software evaluation before it is implemented. The synthesis of a software model can, therefore, be seen as an optimization problem where it seeks a better configuration between the contemplated elements for the object-oriented paradigm, as classes, methods and attributes, which follows the quality design criteria. The work goal was to study a way to synthesize designs of better quality through its evolution by Coevolutionary Genetic Algorithms. In order to assess the software quality, it was also investigated software quality metrics, such as: Reusability, Flexibility, Understandability, Functionality, Extensibility and Effectiveness. These metrics were applied in an evaluation function that, in turn, was defined aiming at the object-oriented design synthesis with a better quality. In this problem, it is desired to contemplate more than one objective at a time. For this, the Pareto technique for multi-objective problems was used. The results were compared with designs produced by specialists and its characteristics analyzed. The GA performance in the optimization process was compared with the exhaustive search and, in all cases, the model results were superior.

Made available in DSpace on 2016-06-02T19:06:07Z (GMT). No. of bitstreams: 1 5452.pdf: 2351043 bytes, checksum: 0d55a4fbf3ab7f02e097b7df0101db3c (MD5) Previous issue date: 2011-12-13 / Financiadora de Estudos e Projetos / Embedded systems (ES) has become more important to everyday life due to technology advance and increasing application field. Engineers start ES development using tools like Matlab/Simulink. Usually, Simulink models are low level abstraction models following an ad-hoc design, which difficult the model comprehension. Hence, new trends start to apply software engineering to support ES design. Goal: This work was developed in a research group that is defining a development process to support ES development from initial phases to Simulink models implementation. Particularly, this works goal is to explore UML Statchart technique to depict Simulink models in a high level abstraction view, and become the group s desired component part of the process. Method: The investigation process was conducted in three actions exploring UML Statchart based in the Research Action methodology: (i) a reengineering activity starting from Simulink model; (ii) a forward engineering starting from a requirement document; and (iii) a survey investigating the use of UML Statechart by ES developers. Outcomes: The first and second action showed that UML Statechart is an appropriated technique to depict the application behavior, contributing to implement Simulink models. It also organizes Simulink models and facilitates the system comprehension as a whole. Conclusion: Due to the conducted actions outcomes, UML Statechart can be considered as a candidate to compose one of the artifacts to be implemented during the process that is being defined by the research group. However, this work conducted investigations are limited to two system applications, needing to accomplish more complement studies, we can say that Simulink models implemented with support of UML Statechart, are better structured and more comprehensive. This features an increasing quality in ES design. / Os sistemas embarcados (SE) têm se tornado cada vez mais presentes na vida das pessoas em decorrência dos avanços tecnológicos e do aumento na diversidade em suas áreas de aplicação. Em geral, os desenvolvedores desse tipo de sistema iniciam o desenvolvimento com o uso de ferramentas do tipo Matlab/Simulink, elaborando modelos em um nível baixo de abstração, que são construídos de forma desorganizada, o que dificulta o entendimento da aplicação. Em decorrência disso, observam-se iniciativas de uso da engenharia de software nesse tipo de sistema. Objetivo: O grupo de pesquisa no qual este trabalho foi desenvolvido está definindo um processo para o desenvolvimento de SEs que dê suporte das fases iniciais até a construção dos modelos Simulink. Em particular, este trabalho tem o objetivo de explorar o uso da UML Statechart para retratar o modelo Simulink em um nível mais alto de abstração, tornando-se então um dos componentes do processo almejado pelo grupo. Método: Para fazer essa investigação, utilizou-se a metodologia Pesquisa-Ação e três ações foram conduzidas, explorando-se a UML Statechart em: (i) uma atividade de reengenharia, partindo do Simulink e reestruturando-o; (ii) em uma atividade de engenharia avante, partindo de um documento de requisitos; e (iii) em um survey, caracterizando o uso da UMS Statechart por desenvolvedores de SEs. Resultados: Nas duas primeiras ações, a UML Statechart se mostrou apropriada para representar o comportamento da aplicação, de forma a contribuir na construção do modelo Simulink, facilitando a compreensão do sistema como um todo e permitindo a elaboração de um Simulink mais organizado. Conclusões: Os resultados obtidos nas ações permitem considerar que a UML Statechart é uma forte candidata para compor um dos artefatos a serem construídos durante o processo que está sendo definido pelo grupo de pesquisa. Embora as investigações conduzidas neste trabalho estejam limitadas a duas aplicações, requerendo que outros estudos sejam realizados, pode-se dizer que os modelos Simulink construídos com o apoio do modelo UML Statechart são mais estruturados e mais compreensíveis. Isso caracteriza uma melhora de qualidade no desenvolvimento de SEs.

The software is a key differentiator and driver of innovation in the automotive industry. The major challenges for software development are increasing in complexity, shorter time-to-market, increase in development cost and demand of quality assurance. The complexity is increasing due to emission legislations, variants of product and new communication technologies being interfaced with the vehicle. The shorter development time is due to competition in the market, which requires faster feedback loops of verification and validation of developed functionalities. The increase in development cost is contributed by two factors; the first is pre-launch cost, this involves the cost of error correction in development stages. Another is post-launch cost; this involves warranty and guarantees cost. As the development time passes the cost of error correction also increases. Hence it is important to detect the error as early as possible. All these factors affect the software quality; there are several cases where Original Equipment Manufacturer (OEM) have callbacks their product because of the quality defect. Hence, there is increased in the requirement of software quality assurance. The solution for these software challenges can be the early quality evaluation in continuous integration framework environment. The most prominent in today\'s automotive industry AUTomotive Open System ARchitecture (AUTOSAR) reference architecture is used to describe software component and interfaces. AUTOSAR provides the standardised software component architecture elements. It was created to address the issues of growing complexity; the existing AUTOSAR environment does have software quality measures, such as schema validations and protocols for acceptance tests. However, it lacks the quality specification for non-functional qualities such as maintainability, modularity, etc. The tool is required which will evaluate the AUTOSAR based software architecture and give the objective feedback regarding quality. This thesis aims to provide the quality measurement tool, which will be used for evaluation of AUTOSAR based software architecture. The tool reads the AUTOSAR architecture information from AUTOSAR Extensible Markup Language (ARXML) file. The tool provides configuration ability, continuous evaluation and objective feedback regarding software quality characteristics. The tool was utilised on transmission control project, and results are validated by industry experts.

Com a crescente utilização de imagens médicas na prática clínica, torna-se necessária a introdução de tecnologias que garantam o armazenamento, indexação e recuperação eficaz dessas imagens. O sistema de recuperação de imagens médicas baseada em conteúdo (S-CBIR) compõe a base de tecnologias computacionais que oferecem aos usuários médicos aplicativos para apoio ao diagnóstico, sendo capaz de responder a consultas por similaridade por meio de características pictóricas extraídas das imagens médicas. Embora as pesquisas em S-CBIR tenham iniciado há quase duas décadas, atualmente existe uma discrepância em relação à quantidade de trabalhos publicados na literatura e os sistemas que, de fato, foram implementados e avaliados. Além disso, muitos protótipos vêm sendo discutidos, mas até o final da escrita desta tese, não foram encontradas evidências de que algum deles esteja disponível comercialmente. Essa limitação é conhecida pela comunidade científica da área por gap de aplicação. Em geral, isso ocorre devido à dificuldade dessas aplicações em superar alguns desafios, como a divergência entre os resultados obtidos automaticamente pelo sistema e aqueles esperados pelos médicos (gap semântico), entre outros gap. Outros fatores também podem ser relatados, como a tendência da não utilização de modelos de qualidade sistematizados para o desenvolvimento dos sistemas, e a carência de modelos que sejam específicos no domínio de aplicação. Com base nesses desafios e em boas práticas de métodos, técnicas e ferramentas da Engenharia de Software, esta tese apresenta um Modelo de Qualidade para melhorias de S-CBIR (MQ-SCBIR), que tem por objetivo apoiar o desenvolvimento e avaliação de S-CBIR, a partir de diretrizes para aumentar o nível de qualidade, buscando a superação do gap de aplicação. O MQ-SCBIR foi construído com base em: evidências adquiridas por meio de uma revisão sistemática e pesquisa empírica sobre como esses sistemas vêm sendo desenvolvidos e avaliados na literatura e na prática; resultados da avaliação de um S-CBIR baseados em testes heurísticos em um ambiente real; modelos bem estabelecidos, como o Capability Maturity Model Integration e Melhoria de Processo do Software Brasileiro; e em experiências pessoais. O uso do MQ-SCBIR pode trazer benefícios para as organizações desenvolvedoras, como a redução da complexidade no desenvolvimento, incluindo a garantia de implementação de boas práticas de qualidade de software e práticas específicas para a superação das limitações de S-CBIR durante o processo de desenvolvimento. / The development of technologies for storing, indexing and recovering clinical images is paramount to support the increasing use of these images in clinical diagnostic evaluation. Content-based image retrieval systems (CBIR-S) are some of the main computational technologies which offer physicians different applications to aid diagnostic processes. They allow similarity queries by extracting pictorial features from medical images. Even though research on S-CBIR started almost two decades ago, there are discrepancies regarding the amount of studies available in the literature and the number of systems which have actually been implemented and evaluated. Many prototypes have been discussed, but up to the moment this study was completed we found no evidence that any of those systems are either commercially available or being currently used in clinical practice. This limitation is known as application gap. In general, this happens due to the difficulty to overcome some obstacles, such as the differences between the results retrieved automatically by the system and those expected by the physicians (semantic gap). Other factors can also be described, such as the tendency towards not using systematic quality models to develop these systems and the lack of specific models for this domain of application. Based on these challenges and also on best practice methods, techniques and tools from software engineering, this work presents a quality model to improve S-CBIR systems (QM-CBIRS). It strives to tackle limitations during the development process by overcoming the semantic gap. The QM-CBIRS was built upon evidence gathered by means of a systematic review on the state-of-the-art and empiric research on the development and evaluation of these systems. Apart from that, results from the assessment of a CBIR-S based on empiric tests and on diagnostic tasks in radiology and well-established software quality models, such as CMMI and the Brazilian Software Improvement Process are presented. Apart from that, results from the assessment of a CBIR-S based on empiric tests and on diagnostic tasks in radiology and well-established software quality models, such as CMMI and the Brazilian Software Improvement Process are presented. The use of QM-CBIRS might be beneficial to development teams in many ways, for example, by increasing the quality of CBIR systems and reducing complexity, thus surpassing limitations from CBIR systems during the development process.

Os sistemas supervisÃrios estÃo cada vez mais presentes no cotidiano da indÃstria, pois a garantia de se ter informaÃÃo sobre os processos de produÃÃo em diversos locais simultaneamente à essencial para um bom monitoramento e controle. Contudo, a maioria dos desenvolvedores destas ferramentas nÃo utilizam modelos de desenvolvimento, tampouco mÃtodos de avaliaÃÃo da qualidade de softwares, tornando os projetos mais dispendiosos, devido ao retrabalho, e causando insatisfaÃÃo aos clientes devido ao nÃo cumprimento aos requisitos fundamentais. Portanto, existe uma necessidade de organizaÃÃo do processo de desenvolvimento e avaliaÃÃo de supervisÃrios. As normas ISO/IEC 9126 e 14598 sÃo utilizadas na metodologia proposta, pois fornecem um bom suporte para a identificaÃÃo das caracterÃsticas essenciais de um supervisÃrio, para a criaÃÃo de um padrÃo de qualidade e para o desenvolvimento de uma metodologia de avaliaÃÃo. Este trabalho apresenta uma proposta de modelo para o desenvolvimento de softwares supervisÃrios, acompanhado por um mÃtodo de avaliaÃÃo da qualidade baseado em lÃgica fuzzy para analisar as opiniÃes subjetivas de especialistas da Ãrea a respeito de requisitos de supervisÃrios. A eficiÃncia do uso do modelo foi verificada em Ãmbito educacional atravÃs de um projeto realizado por estudantes. A avaliaÃÃo revelou a qualidade de cada requisito e mostrou que o software completo atendeu a 69% do padrÃo de qualidade. Os atributos que estavam com ou sem falhas foram identificados e a avaliaÃÃo mostra quais erros precisam ser sanados para que o software seja entregue ao cliente. / The supervisory systems are increasingly present in everyday industry, because the guarantee of having information about production processes in diverse locations simultaneously is essential to good monitoring and control. However, developers these tools do not utilize development models, nor methods for assessing software quality, making projects more expensive, due to rework, and causing client dissatisfaction for not meeting fundamental requirements. Therefore, there is a need to organize the process of development and evaluation for supervision softwares. ISO / IEC 9126 and 14598 are used in methodology, as they provide good support to identify essential characteristics of supervisory software, to create quality standard and to development of evaluation methodology. This research proposes model for development of supervisory software, accompanied by method of quality assessment based on fuzzy logic to analyze subjective opinions of specialists about supervisory requirements. The efficiency to use model was verified in educational field through a project realized by students. The assessment revealed quality of each requirement and showed that the complete software attended 69% of the standard of quality. The attributes that were with or without failures were identified, and the evaluation shows errors that need to be solved for software can be delivered for client.

A Engenharia de Software tem desenvolvido técnicas e métodos para apoiar o desenvolvimento de software confiável, flexível, com baixo custo de desenvolvimento e fácil manutenção. A avaliação da manutenibilidade contribui para fornecer meios para produzir software com alta qualidade. Este trabalho apresenta um experimento controlado para avaliar a manutenibilidade entre as abordagens de web services: RESTful e SOAP-WSDL. Esta avaliação foi conduzida usando 3 programas implementados na linguagem de programação Java e com a mesma arquitetura. Com base na arquitetura projetada, os web services desenvolvidos foram utilizados como objetos em estudos de caso, possibilitando avaliar e comparar a sua manutenibilidade. Os resultados obtidos demonstraram relações entre as informações sobre o custo e a qualidade dos serviços web, que contribuíram para esclarecer os critérios para a obtenção de uma boa relação entre o custo da manutenção e a evolução dos serviços web. Para concluir, os resultados indica que os web services RESTful são mais manuteníveis do lado do servidor, e os web services SOAP-WSDL são mais manuteníveis do lado do cliente. Os estudos realizados no experimento controlado são promissores e podem auxiliar na redução de custo na manutenção dos serviços web, melhorando dessa forma a qualidade do software no geral / Software Engineering has developed techniques and methods to support the development of reliable software, exible, low development cost and easy maintenance. The evaluation of maintainability contributes in this direction, providing the means to produce software with high quality. This paper presents an controlled experiment to evaluate the maintainability between the approaches of web services: RESTful and SOAP-WSDL. This evaluation was conducted using four programs implemented in the Java programming language, using the same architecture. Based on the designed architecture, Web services were developed as objects used in case studies, allowing to evaluate and compare its maintainability. The results showed relationships between the information on the cost and quality of web services, which contributed to clarify the criteria for obtaining a good relationship between the cost of maintenance and evolution of web services. In conclusion, the results indicate the RESTful web services are more maintainable server side in contrast to the SOAP-WSDL web services are more maintainable client side. Studies in controlled experiments are promising and may help reduce the maintenance cost of web services, thus improving overall software quality

Orientador: Maria Beatriz Felgar de Toledo / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-08T13:37:39Z (GMT). No. of bitstreams: 1 Garcia_DiegoZuquimGuimaraes_M.pdf: 1006389 bytes, checksum: 8016f0659ec60b1ef54c6aaf41fba177 (MD5) Previous issue date: 2007 / Resumo: A tecnologia de serviços Web possui algumas propriedades importantes para o desenvolvimento e a execução de aplicações distribuídas. Entretanto, ela ainda não oferece apoio para tratar as características não-funcionais dos serviços. Os consumidores de serviços Web podem requerer serviços com parâmetros de qualidade específicos e esperar garantias de níveis de qualidade. O objetivo desta dissertação é estender o modelo de serviços Web para apoiar a gerência de características não-funcionais para serviços Web. O modelo proposto inclui mediadores para auxiliar na descoberta de serviços de acordo com os requisitos funcionais e não-funcionais dos consumidores e monitores para verificar os atributos de qualidade. As principais contribuições desta dissertação são: a utilização do padrão Web Services Policy Framework (WS-Policy) para complementar as descrições de serviços Web Services Description Language (WSDL) com políticas para atributos de qualidade; uma extensão para o padrão Universal Description Discovery & Integration (UDDI) para a publicação e a descoberta de serviços Web incluindo características nãofuncionais; e o monitoramento e a atualização de características não-funcionais para refletir os atributos reais dos serviços / Abstract: Although the Web service technology allows the development and execution of distributed applications, it still lacks facilities to deal with Quality of Service (QoS). Consumers may require services with particular non-functional characteristics and expect quality level guarantees. The goal of this thesis is to propose an extended Web service architecture supporting QoS management for Web services. It includes brokers to facilitate service selection according to functional and non-functional requirements and monitors to verify QoS attributes. The main contributions of this approach are: the use of the Web Services Policy Framework (WS-Policy) standard to complement Web Services Description Language (WSDL) specifications with QoS policies; an extension to the Universal Description Discovery & Integration (UDDI) standard for QoS-enriched Web service publication and discovery; and QoS updating to reflect actual service attributes / Mestrado / Mestre em Ciência da Computação