h1

h2

h3

h4

h5
h6
%0 Thesis
%A Kugler, Alexander
%T Test case generation from natural language requirements for embedded systems with semantic role labeling
%V 2025,04
%I RWTH Aachen University
%V Dissertation
%C Aachen
%M RWTH-2025-03901
%B Aachener Informatik-Berichte
%P 1 Online-Ressource : Illustrationen
%D 2025
%Z Veröffentlicht auf dem Publikationsserver der RWTH Aachen University
%Z Dissertation, RWTH Aachen University, 2025
%X The work presented in this thesis explores the application of Semantic Role Labeling(SRL) for the generation of test cases from natural language requirements for embedded systems. The approach, labelled Test Generation with Semantic Role Labeling (TG-SRL), is composed of five stages and combines machine learning with a rule-based approach. Information extracted via Semantic Role Labeling (SRL) is initially aggregated into logical expressions before being translated into First-Order Logic (FOL) formulae. Test case generation is achieved using Satisfiability Modulo Theory (SMT) solving. By modifying the SMT instance according to defined tactics, a test suite is generated.The thesis concludes with an evaluation of TG-SRL using a mutant-based strength analysis, and a comparison with the Nat2Test approach from Carvalho et al. TG-SRL performs favorably and provides valuable insights into employing Natural Language Processing (NLP) methods, and in particular SRL, in the field of test case generation. The methods and concepts presented in this thesis have been implemented in a publicly available research framework.
%F PUB:(DE-HGF)11 ; PUB:(DE-HGF)3
%9 Dissertation / PhD ThesisBook
%R 10.18154/RWTH-2025-03901
%U https://publications.rwth-aachen.de/record/1010169