Es wurde ein Tool erstellt, mit dem Sie Fehler direkt zum Zeitpunkt des Schreibens von Code erkennen können

Für jedes Projekt ist vor Beginn der Umsetzung die Entwicklung einer Reihe erster Pläne erforderlich, die als Grundlage und Grundlage dienen

Anleitung für den gesamten Prozess. Bei der Softwareentwicklung wird ähnlich vorgegangen und umfasst einen bestimmten Schritt, der als Modellierung bezeichnet wird.

Ingenieure verwenden Simulationen zur BeschreibungProgrammieren Sie unter einem bestimmten Gesichtspunkt, z. B. mit den Daten, die es verwenden wird, seinen Komponenten oder der Art und Weise, wie sie voraussichtlich funktionieren. Zurück zum Beispiel eines Bauprojekts: Die Pläne sind „Modelle“, die als Leitfaden während der Entwurfsphase sowie zum Modellieren und Testen verwendet werden können.

Laut Forschern am häufigstenDer verwendete Modelltyp ist die UML-Klassendiagrammnotation (Unified Modeling Language), mit der die Struktur eines Softwaresystems beschrieben wird. Der Vorteil der Arbeit mit diesen Modellen besteht darin, dass sie abstrakter sind als der Quellcode, der viele spezifische Details zur verwendeten Technologie enthält. Und diese Modelle können prägnanter, einfacher herzustellen und zu verstehen sein. "

So könnte die Simulation dieneneher ein vorläufiger Schritt als eine Alternative zum Quellcode. Modelle erleichtern das Verständnis des zu entwickelnden Systems und können auch zum Erstellen spezifischer Implementierungselemente verwendet werden, um die sich wiederholenden Teile des Programmierprozesses zu automatisieren.

Ingenieure verwenden Verifizierungstools, um Fehler zu verhindern, die sich auf den Code selbst und damit auf die endgültige Implementierung des Systems auswirken könnten.

„Wir müssen sicherstellen, dass die Modelle korrekt sind, um etwaige Softwarefehler zu minimieren, die dadurch entstehen könnten.“

Professor an der Universität Oberta de Catalunya, Mitglied der Forschungsgruppe SOM Research Lab Robert Clariso

Jedes Mal, wenn eine Änderung am Modell vorgenommen wird,Beispiel: Hinzufügen, Entfernen oder Ändern von Informationen - dies bedeutet, dass das gesamte System erneut analysiert werden muss. Daher erfolgt die Validierung normalerweise erst, nachdem das endgültige Modell am Ende des Prozesses erstellt wurde.

Diese Methode ist auch insofern innovativbetrifft die Verwendung von Zertifikaten, Beispiele, die den korrekten Betrieb des Modells veranschaulichen. Wie der Forscher feststellte: „Wenn wir das Modell ändern, muss es durch ein neues Zertifikat nicht mehr validiert werden.

Es ist viel billiger, das Zertifikat anzupassenals den Überprüfungsprozess neu zu starten. Die Autoren erläutern den Prozess und schlagen vor, dass anstelle der Validierung des neuen Modells das Zertifikat des ursprünglichen Modells an das neue angepasst werden kann. Die größte Herausforderung besteht derzeit darin, diese Techniken in vorhandene Softwaremodellierungswerkzeuge und -umgebungen zu integrieren.

Lesen Sie auch:

Die Erde wird in 20 Jahren eine kritische Temperatur erreichen.

Abtreibung und Wissenschaft: Was wird mit den Kindern geschehen, die gebären werden?

Die älteste Felskunst der Welt wurde gefunden.

Das argentinische Gesundheitsministerium gab Daten zu Nebenwirkungen bei denjenigen bekannt, die Sputnik V erhielten.