Proposta de dissertação do MEI Título: Invariant-driven automated testing Proponente(s): Carla Ferreira Créditos: 42 ECTS Área científica: Software Construction and Analysis Início preferencial: Qualquer semestre URL: Já estão em curso trabalhos preliminares executados pelo alunos: Breve descrição: Cloud applications are increasingly complex. To address this complexity, applications are now developed following a modular design. Instead of being built as a monolithic entity, an application is partitioned into several autonomous and independent services that cooperate loosely with each other. Ensuring the correctness of these applications raises difficult challenges. One of these challenges is that it is not possible to analyse the source code of all services of an application (for instance, because the code is maintained by a different institution). To analyse the correctness of applications in this setting, it is necessary to devise a test-oriented approach to scrutinise those closed source services and whether they lead to invariant violations. The goal of this work is to develop techniques for generating tests from the public information on the service, such as its interface and data integrity invariants. This proposal is part of projects EU LightKone and FC&T Precise. Observações: Atribuição de bolsa em modo competitivo.