Università della Svizzera italiana

Dynamic data flow testing

Vivanti, Mattia ; Pezzè, Mauro (Dir.)

Thèse de doctorat : Università della Svizzera italiana, 2016 ; 2016INFO001.

Data flow testing is a particular form of testing that identifies data flow relations as test objectives. Data flow testing has recently attracted new interest in the context of testing object oriented systems, since data flow information is well suited to capture relations among the object states, and can thus provide useful information for testing method interactions. Unfortunately, classic...