Von fachlogischen Testfällen zu physikalischen Testdaten - ein werkzeuggestützter Ansatz zur Überbrückung der semantischen Lücke zwischen Requirements und Test.