Testfallgenerierung aus Semi-formalen Use Cases

Zahlreiche wissenschaftliche Arbeiten thematisieren die Ableitung von Testfallen aus Anforderungen, insbesondere aus Use Cases. Die entwickelten Methoden werden jedoch nur selten in Anforderungsmanagementoder Testwerkzeugen integriert. In dieser Arbeit stellen wir einen leichtgewichtigen semi-formalen Ansatz vor, der die automatische Ableitung von Testfallen aus Use Cases ermoglicht und leicht in bestehende Anforderungsmanagementwerkzeuge integriert werden kann. Hierbei werden logische Testfalle aus Use Cases unter Berucksichtigung des Kontrollflusses und der vom Use Case verarbeiteten Daten und ihrer Bedingungen abgeleitet.