+**********************************************************************
*
*
*                          Einladung
*
*
*
*                     Informatik-Oberseminar
*
*
*
+**********************************************************************

Zeit:  Dienstag, 7. Januar 2025, 16.00 Uhr
Ort:   Lehrstuhl i11, Im Süsterfeld 9, Aachen, Raum R259 im 2. OG

Referent: Alexander Kugler M.Sc.
Chair of Computer Science 11 - Embedded Software

Thema: Test Case Generation from Natural Language Requirements for Embedded Systems with Semantic Role Labeling

Abstract:

In this talk, the application of Semantic Role Labeling (SRL) for the generation of test cases from natural language requirements for embedded systems is explored. 
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 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.

Es laden ein: die Dozentinnen und Dozenten der Informatik