摘要 |
<p>Es werden Systeme und Verfahren für die zustandsbasierte Testfallgenerierung zur Software-Validierung offenbart. Eine Ausführungsform beinhaltet die Bestimmung einer ersten Eingabe und einer ersten Eingabeart für einen Programmblock einer Fahrzeug-Software zur Erzeugung eines Testfalls, wobei die erste Eingabeart eine zustandsbasierte Eingabe beinhaltet, die Bestimmung von Permutationen von Werten für die erste Eingabe auf Basis der ersten Eingabeart und das Durchspielen des Testfalls mit der zustandsbasierten Eingabe, wobei das Durchspielen des Testfalls das Anwenden der Permutationen von Werten für die erste Eingabe auf den Programmblock beinhaltet. Manche Ausführungsformen beinhalten eine Bestimmung durch eine Test-Rechenvorrichtung, ob der Testfall einen vorgegebenen Grad an Modified Condition/Decision Coverage (MC/DC) erreicht, und die Bereitstellung eines Hinweises darauf, ob der Testfall die vorgegebene Höhe der MC/DC erreicht.</p> |