Linha de produtos de testes baseados em modelos

Com a evolução das metodologias de desenvolvimento de software, novos desafios vão surgindo junto com este avanço. Um dos desafios fica a cargo de como garantir a qualidade do software desenvolvido. Diversos pesquisadores desenvolvem continuamente diversas abordagens de teste de software para acompanhar esta evolução. Uma das abordagens que visa prover o aumento da qualidade é através de testes de software baseados em modelos. Existem diversas formas de realização de testes de software baseados em modelos, garantindo um amplo leque de possibilidades. Uma forma de integrar estas possibilidades é através da aplicação dos conceitos de linha de produtos de software. Este trabalho propõe a realização de uma arquitetura de linha de produtos de software para integrar as diferentes técnicas de testes baseados em modelos.The continuing evolution of software development methodologies results in challenges emerging simultaneously with this advance. One of these challenges is how to guarantee the quality of software. Several researchers continuously develop different approaches for software testing following this evolution. One approach that aims to provide the increased quality is through model-based testing. There are various techniques of model-based software testing, ensuring a broad range of possibilities. One way to integrate these possibilities is applying the concepts of software product lines. In this work we propose the design of a software product line architecture to integrate the different techniques of model-based software testing