Flávio Moreira de Oliveira

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. 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 diagrams and based on them to execute the tests automatically, and verify whether the constraints are met or not. Another contribution is the setting of service level agreements, i.e. set parameters to verify whether a system delivers answers based on pre-agreed values. We applied our whole strategy to a complete case study and measured its execution time, as well as discuss some of our results. A atividade de teste é geralmente bastante onerosa, isso ocorre porque boa parte dessas atividades são executadas manualmente. Para melhorar isto, Model-Based Testing (MBT) tem sido utilizado para gerar artefatos de teste automaticamente. A principal contribuição deste trabalho é investigar como MBT pode ser aplicado em teste de desempenho, i.e. como incluir restrições de tempo em diagramas UML e com base nelas executar os testes e verificar se elas são satisfeitas ou não. Outra contribuição é a definição dos acordos de níveis de serviço, i.e. definir parâmetros para verificar se um sistema processa os tempos de respostas com base em valores pré-determinados. A abordagem proposta é aplicada a um estudo de caso real.

Service-oriented architectures and Web services have been widely adopted by enterprises to pervade integration among software systems. As reliable services are essential to assure that these systems work correctly, formal and systematic testing should be performed. This paper reports the application of a model-based approach to test Web services in the context of real-world applications of a multinational computer technology corporation. The employed approach is called ESG4WSC, in which an event-driven model is provided to support modeling and test case generation, as well as an environment to support the concretization and test execution.

Os avanços nas áreas de computação e telecomunicação possibilitaram o desenvolvimento de novas tecnologias com independência espacial e temporal. Dispositivos e serviços móveis são exemplos dessa evolução tecnológica que impulsionou as organizações para desenvolverem software visando atender e gerar as novas perspectivas e oportunidades de negócio. O uso da tecnologia móvel como estratégia de negócio envolve um conjunto de aplicações e serviços que são denominados de m-business. Este artigo tem por objetivo apresentar o resultado da pesquisa de campo que caracteriza o gerenciamento de projetos de software para dispositivos móveis e identifica os riscos e desafios enfrentados por algumas empresas na gestão de projetos para m-business.

O teste estrutural, ou teste caixa-branca, é uma técnica para gerar casos de teste a partir da análise do código fonte. Atualmente, existem muitas ferramentas baseadas neste tipo de teste, e.g. JaBUTi e Poke-Tool. No entanto, apesar dos benefícios destas ferramentas, é necessário executar algumas tarefas manualmente, e.g. a elaboração de casos de teste. Isto torna o processo de teste ineficiente e suscetível a falhas. Desta forma, este artigo apresenta um formato para casos de testes independente de tecnologia, i.e., uma estrutura abstrata para teste estrutural. O artigo descreve, também, como esta estrutura abstrata é inserida em um processo que a usa para, automaticamente, gerar e executar casos de teste concretos em uma tecnologia de teste estrutural específica.

Before placing a software system into production, it is necessary to guarantee it provides users with a certain level of Quality-of-Service. Intensive performance testing is then necessary to achieve such a level and the tests require an isolated computing environment. Virtualization can therefore play an important role for saving energy costs by reducing the number of servers required to run performance tests and for allowing performance isolation when executing multiple tests in the same computing infrastructure. Load generation is an important component in performance testing as it simulates users interacting with the target application. This paper presents our experience in using a virtualized environment for load generation aimed at performance testing. We measured several performance metrics and varied system load, number of virtual machines per physical resource, and the CPU pinning schema for comparison of virtual and physical machines. The two main findings from our experiments are that physical machines produced steadier and faster response times under heavy load and that the pinning schema is an important aspect when setting up a virtualized environment for load generation.