Automacao de teste de software atraves de linhas de produtos e testes baseados em modelos

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.The use and dependency of several human activities on computer systems implicates on a parallel growth of the users’ expectations. Users want not only processes automation, but also a crescent quality and agility in the delivery of services and information. The most popular way to guarantee compliance to a system’s requirements is by performing software testing. Although bringing indispensable benefits to the software development process, software testing activities are extremely manual, repetitive, and sometimes handcraft. The use of formal models to describe the behavior and structure of a system are proven and accepted techniques, based on mathematics. These techniques help in the task of characterizing a system in a precise and non-ambiguous manner. Model-based testing comprehends a technique in which the tests to be executed are automatically defined, based on a formal model of the system. One of the ways of implementing the ideas present in the model-based testing techniques is the software product line engineering, which takes advantage of similar software components reuse, with the intent of minimizing human effort without losing quality. This work intends to join formal model-based testing techniques with software product line engineering, in order to automate manual steps of the test case generation and execution. It is proposed, then, a software architecture based on these concepts, realized by the implementation of a tool based in a plug-in architecture concept, in order to validate the proposed ideas