Smartitude aims to provide a comprehensive set of software engineering methods and tools to improve the BSC quality assurance by leveraging automated test case generation and formal methods.

The main objectives of the project are:

• O1. A Fault Model Catalog for BSC. Smartitude will provide a model of faults occurring during BSC software development. This catalog will target software dependability from different perspectives, particularly testing, security, and maintainability. Based on this taxonomy, we will propose a tool to automatically inject the different faults in bug-free contracts to provide a strong testbed that researchers can rely on and extend in the future to move towards BSC high-quality and security guarantee.
• O2. Automated Test Case Generation for BSC. Existing approaches to automatically test procedural code are expected not to be fully effective on BSC due to their specific execution model and environment. Thus, an objective of Smartitude is to elaborate, develop and assess novel automated approaches to generate test scenarios tailored to the BSC execution model, including input values synthesis, generation of interaction sequences, and provisioning of runtime assertions to reveal inconsistencies, defects, and runtime errors.
• O3. BSC Automated Vulnerability and Risk Assessment. Smartitude intends to derive symbolic models for the execution of networks of BSC to assess the risk of catastrophic executions that can jeopardize the assets of the BSC owner. These models will be constructed from empirical data—whose availability is guaranteed by the blockchain technology—and are intended to be sensitive to vulnerabilities discovery, with the ultimate aim of automating risk-contention policies as BSC-encoded clauses.
• O4. Integration of the Developed Solutions. Smartitude aims at integrating the developed solutions into a common infrastructure to support the development of secure and high-quality BSC