Damit die Software sicher und zuverlässig ihre Aufgaben erfüllt, wird in der modernen modellbasierten Software-Entwicklung im ersten Schritt ein Modell entworfen, das die Funktionen und die einander bedingenden Aktionen in einen logischen Zusammenhang setzt.
Auf dieser Basis erstellen die Entwicklerteams den Software-Code – oft in einzelnen Teilen, die am Schluss zusammengesetzt werden. Bevor ein gutes Produkt auf den Markt gebracht werden kann, muss die Software ausführlich getestet werden – ein Vorgang, der trotz hohen Zeitdrucks nicht zu kurz kommen darf. Bei diesen Tests wird mit so genannten Testfällen überprüft, ob die Software gemäß den Anforderungen reagiert.
Bisher werden die Testfälle in der Regel durch die Software-Tester manuell implementiert und zu Test-Suits zusammengestellt. Die Entwickler greifen dabei auf ihre Erfahrung zurück, um die wichtigsten Funktionen in der vorgegeben Zeit zu testen. Die Testfälle werden in speziellen Programmiersprachen beschrieben, zum Beispiel in TTCN-3 oder JUnit.
Die Fraunhofer ESK hat mit dem ‘MoTeF’-Framework jetzt eine Methode entwickelt, mit dem die Software-Tester nicht nur die Testfälle automatisch aus einem bereits bestehenden Modell generieren, sondern auch auf Basis von Zielvorgaben die wichtigsten Testfälle effizient auswählen können. In einer ersten Funktionsstudie konnten die Wissenschaftler belegen, dass aus einem UML-Modell Testfälle generiert und automatisiert ausgewählt werden können.
Page: 1 2
Data Awakening: Huawei präsentierte beim Innovative Data Infrastructure Forum 2024 in Berlin neue, auf KI…
Um ihre Verteidigung zu stärken, müssen Staaten und Unternehmen sicherstellen, dass KRITIS-Betreiber nicht nur die…
Reichen die Sicherheitsvorkehrungen der KRITIS-Betreiber bereits aus? Das BSI liefert dazu Kennzahlen auf einer neuen…
Laut Kaspersky ist Schadsoftware die zweithäufigste Bedrohung. Angriffe auf vernetzte Fahrzeuge folgen erst mit Abstand.
Der deutsche Chipproduzent beliefert Xiaomi mit Siliziumkarbid-Leistungsmodulen (SiC), Mikrocontrollern und Gate-Treibern.
Fraunhofer-Forschende arbeiten an einer Webplattform, die die Lebensqualität von Menschen mit Parkinson verbessern soll.