Validação de software altamente configurável

Abstract

A evolução nas áreas de aplicação (quer em número quer em ambição dos problemas a resolver) conduziu a uma crescente complexidade e dimensão dos sistemas de software. Inerentemente, na procura de uma boa solução que ajude a dar resposta às constantes alterações de comportamento requerida para satisfazer os diversos utilizadores destes sistemas, emergem sistemas mais flexíveis, que se acomodam facilmente a diferentes necessidades - sistemas configuráveis. Os sistemas configuráveis tornam as aplicações mais adaptáveis às necessidades de cada um, porém tornam possível a introdução de configurações erradas que podem levar a comportamentos incorrectos e indesejáveis. Assumindo que o programa principal está devidamente testado e aceite como correcto, constata-se que as configurações importadas para a aplicação necessitam de validação de modo a ser garantida a ausência de erros. Conferindo aos sistemas aplicacionais dos dias de hoje uma maior fiabilidade, garante-se a entrega de produtos de qualidade. Tradicionalmente as abordagens à validação e verificação de software caem sobre os métodos formais ou testes sobre o sistema. No entanto, ambas as abordagens dedicam-se essencialmente ao código das aplicações como forma de certificar e garantir a qualidade dos projectos de software. Esta dissertação apresenta uma proposta para colmatar a falha introduzida por abstracção das aplicações, no que diz respeito à certificação de software altamente configurável, com particular ênfase sobre os objectivos de negócio passíveis de serem configurados em tempo de execução, de modo a garantir que as configurações empregues estão correctas e de acordo com os requisitos. A abordagem seguida neste trabalho deu resultados a três níveis distintos; um contributo teórico em que se estudou e analisou o problema em busca de uma abordagem metodológica eficaz para validação deste tipo de sistemas; um contributo prático, pelo desenvolvimento de um sistema que implementa a metodologia definida; e finalmente um contributo pragmático mostrado pela aplicação do sistema desenvolvido a um caso de estudo.

Evolution in application areas led to an increasing complexity and scale of software systems. In this context, recent con gurable systems emerged to provide an e cient solution to cope with the frequent changes in systems requirements. Con gurable systems make applications more exible and adaptable to each speci c needs, but con gurable systems are also error prone. Easily wrong con gurations can be loaded and this may lead to undesirable and erroneous behavior. Assuming that the main program is fully tested and accepted as correct, those imported con gurations need validation to guarantee the absence of errors in the nal application. Making application systems more reliable, it is possible to deliver quality products. Formal method thechniques on testing are the classic approach to software validation and veri cation. These approaches are specially tuned for classic programs, and fail when applied to con gurable systems. This was the motivation for this MSc. Degree project. This master work gave rise to three distinct outcomes; a theoretical contribution, concerned with the problem study and the proposal of an e ective methodological approach for such systems validation; a practical contribution consisting in a tool that implements that methodology; and nally a pragmatic contribution, with the application of that tool to a concrete case study.