Symbolic Path-guided Test Cases for Models with Data and Time

Boutheina Bannour (1, 2) , Arnault Lapitre (1, 2) , Pascale Le Gall (3) , Thang Nguyen (1, 2)

1 LECS - Laboratoire Exigences et Conformité des Systèmes
2 LIMTEC (CEA, LIST) - Laboratoire Instrumentation Multi-TEChnique (CEA, LIST)
3 MICS - Mathématiques et Informatique pour la Complexité et les Systèmes

This paper focuses on generating test cases from timed symbolic transition systems. At the heart of the generation process are symbolic execution techniques on data and time. Test cases look like finite symbolic trees with verdicts on their leaves and are based on a userspecified finite symbolic path playing the role of a test purpose. Generated test cases handle data involved in time constraints and uninitialized parameters, leveraging the advantages of symbolic execution techniques.

Domaines: Informatique [cs]

Boutheina Bannour, Arnault Lapitre, Pascale Le Gall, Thang Nguyen. Symbolic Path-guided Test Cases for Models with Data and Time. Formal Aspects of Component Software (FACS), Oct 2023, Paris (en ligne), France. ⟨hal-04486318⟩