O projecto PROVA tem como objectivo criar uma ferramenta para a verificação e validação de sistemas de software em duas das fases mais críticas do processo de desenvolvimento – especificação de requisitos e testes – em produtos vocacionados para o mercado dos sistemas críticos. Este mercado, regulado por entidades certificadoras extremamente exigentes, obriga as organizações a desenvolverem os sistemas de forma a garantir a fiabilidade recorrendo às mais diferentes técnicas disponíveis para o efeito. A ferramenta aqui proposta usa rigorosas técnicas matemáticas para garantir a fiabilidade. Em matéria de requisitos, irá ser definida uma linguagem formal para verificar propriedades como coerência, completude, e correcção nos requisitos. Aproveitando a formalização dos requisitos, serão gerados testes automaticamente, garantindo que os testes realmente reflectem o que foi definido nos requisitos. Outro dos objectivos deste projecto é a inovação na geração de testes para aumentar a eficácia dos mesmos. Técnicas como a geração automática de testes a partir de propriedades matemáticas, a partir de especificações gráficas ou, análises estáticas para o encontro de valores óptimos para teste, serão usadas por forma a aumentar a eficácia no processo de geração de testes. Os avanços tecnológicos propostos no âmbito deste projecto, serão capazes de reduzir bastante o esforço de desenvolvimento e certificação. O objectivo deste projecto é obter uma ferramenta que seja capaz de ser integrada no processo de desenvolvimento de sistemas criticos. Não obstante, uma vez desenvolvida, esta ferramenta poderá ser aplicada “a posteriori” noutro tipo de sistemas.
P.R.O.V.A. 