This deliverable presents the final version of the Delta-Oriented Quality Assurance (DOQA) methodology developed within the SmartDelta project. It outlines the approaches for ensuring software quality in incremental development scenarios, particularly industrial systems. The methodology integrates automated testing, functional and extra-functional property assurance (e.g., security, performance, resource consumption), regression testing, and static and dynamic analysis to address the unique challenges of continuous software evolution.
Key advancements include automated test generation, augmentation, and prioritization strategies tailored for delta-specific changes, enabling efficient resource use and improved CI/CD workflows. The methodology introduces tools and techniques for requirements management, anomaly detection, and static analysis. In addition to addressing functional requirements, the methodology incorporates model-based testing for non-functional properties. Methods such as combinatorial test generation, anomaly discovery for microservices, and change-based regression test selection leverage techniques like semantic analysis, static requirement checking, and test amplification. SmartDelta enhances DOQA processes, reduces testing cycles, and ensures system quality across
iterative increments.
Integrating these tools into agile practices, supported by guidelines for implementation in real-world industrial contexts, will benefit practitioners and researchers. This deliverable also explores the methodology’s broader applications, aligning its tools with specific use cases and evaluating their effectiveness through performance metrics. Recommendations for future work include expanding tool capabilities and exploring additional integrations to optimize delta-aware DOQA processes further.