Context-Infused Automated Software Test Generation
Licentiatavhandling, 2025

Automated software testing is essential for modern software development, ensuring reliability and efficiency. While search-based techniques have been widely used to enhance test case generation, they often lack adaptability, struggle with oracle automation, and face challenges in balancing multiple test objectives. This thesis expands the scope of search-based test generation by incorporating additional system-under-test context through two complementary approaches: (i) integrating machine learning techniques to improve test case generation, selection, and oracle automation, and (ii) optimizing multi-objective test generation by combining structural coverage with non-coverage-related system factors, such as performance and exception discovery.

The research is structured around four key studies, each contributing to different aspects of automated testing. These studies investigate (i) machine learning-based test oracle generation, (ii) the role of search-based techniques in unit test automation, (iii) a systematic mapping of machine learning applications in test generation, and (iv) the optimization of multi-objective test generation strategies. Empirical evaluations are conducted using real-world software repositories and benchmark datasets to assess the effectiveness of the proposed methodologies.

Results demonstrate that incorporating machine learning models into search-based strategies improves test case relevance, enhances oracle automation, and optimizes test selection. Additionally, multi-objective optimization enables balancing various testing criteria, leading to more effective and efficient test suites. This thesis contributes to the advancement of automated software testing by expanding search-based test generation to integrate system-specific context through machine learning and multi-objective optimization. The findings provide insights into improving test case generation, refining oracle automation, and addressing key limitations in traditional approaches, with implications for both academia and industry in developing more intelligent and adaptive testing frameworks.

Software Testing

Search-Based Software Engineering

Search-Based Software Testing

Automated Test Generation

Jupiter 520
Opponent: Prof. Daniel Sundmark, Department of Computer Science and Software Engineering, Mälardalen University

Författare

Afonso Fontes

Chalmers, Data- och informationsteknik, Interaktionsdesign och Software Engineering

Using Machine Learning to Generate Test Oracles: A Systematic Literature Review

TORACLE 2021 - Proceedings of the 1st International Workshop on Test Oracles, co-located with ESEC/FSE 2021,;(2021)p. 1-10

Paper i proceeding

Automated Support for Unit Test Generation

Natural Computing Series,;Vol. Part F1169(2023)p. 179-219

Kapitel i bok

The integration of machine learning into automated test generation: A systematic mapping study

Software Testing Verification and Reliability,;Vol. 33(2023)

Artikel i vetenskaplig tidskrift

Afonso Fontes, Gregory Gay, Robert Feldt. Exploring the Interaction of Code Coverage and Non-Coverage Objectives in Search-Based Test Generation

Context-Infused Automated Software Test Generation

Vetenskapsrådet (VR) (2019-05275), 2020-01-01 -- 2023-12-31.

Ämneskategorier (SSIF 2025)

Programvaruteknik

Utgivare

Chalmers

Jupiter 520

Online

Opponent: Prof. Daniel Sundmark, Department of Computer Science and Software Engineering, Mälardalen University

Mer information

Senast uppdaterat

2025-04-01