h1

TY  - THES
AU  - Kugler, Alexander
TI  - Test case generation from natural language requirements for embedded systems with semantic role labeling
VL  - 2025,04
PB  - RWTH Aachen University
VL  - Dissertation
CY  - Aachen
M1  - RWTH-2025-03901
T2  - Aachener Informatik-Berichte
SP  - 1 Online-Ressource : Illustrationen
PY  - 2025
N1  - Veröffentlicht auf dem Publikationsserver der RWTH Aachen University
N1  - Dissertation, RWTH Aachen University, 2025
AB  - 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.
LB  - PUB:(DE-HGF)11 ; PUB:(DE-HGF)3
DO  - DOI:10.18154/RWTH-2025-03901
UR  - https://publications.rwth-aachen.de/record/1010169
ER  -