Elk project vereist de ontwikkeling van een reeks initiële plannen voordat de implementatie begint, die als basis dienen
Ingenieurs gebruiken simulatie om te beschrijvenprogramma vanuit een specifiek oogpunt, bijvoorbeeld met de gegevens die het zal gebruiken, de componenten ervan of de manier waarop ze verwachten te werken. Terugkerend naar het voorbeeld van een bouwproject, zullen de plannen 'modellen' zijn die als leidraad kunnen dienen tijdens de ontwerpfase, maar ook voor modellering en testen.
Volgens onderzoekers de meest voorkomendeHet type model dat wordt gebruikt, is de Unified Modeling Language (UML) klassediagramnotatie, die wordt gebruikt om de structuur van een softwaresysteem te beschrijven. Het voordeel van het werken met deze modellen is dat ze abstracter zijn dan de broncode, die veel specifieke details bevat over de gebruikte technologie. En deze modellen kunnen beknopter, gemakkelijker te vervaardigen en te begrijpen zijn. "
Dus de simulatie zou kunnen dieneneerder een voorbereidende stap dan een alternatief voor de broncode. Modellen maken het gemakkelijker om het systeem dat wordt ontwikkeld te begrijpen, en kunnen ook worden gebruikt om specifieke implementatie-elementen te creëren, waardoor de meest repetitieve delen van het programmeerproces worden geautomatiseerd.
Ingenieurs gebruiken verificatietools om fouten te voorkomen die van invloed kunnen zijn op de code zelf en daarmee op de uiteindelijke implementatie van het systeem.
“We moeten ervoor zorgen dat de modellen correct zijn om eventuele softwarefouten die hierdoor kunnen ontstaan tot een minimum te beperken.”
Professor aan de Oberta de Catalunya Universiteit, lid van de SOM Research Lab-onderzoeksgroep Robert Clariso
Elke keer dat er een wijziging wordt aangebracht in het model,bijvoorbeeld het toevoegen, verwijderen of wijzigen van informatie - dit betekent dat het hele systeem opnieuw moet worden geanalyseerd, dus validatie vindt meestal pas plaats nadat het definitieve model aan het einde van het proces is gemaakt.
Ook daarin is deze methode innovatiefbetreft het gebruik van certificaten, voorbeelden die de juiste werking van het model illustreren. Zoals de onderzoeker opmerkte: “Als we het model aanpassen, hoeft het niet meer te worden gevalideerd met een nieuw certificaat.
Het is veel goedkoper om het certificaat aan te passendan het verificatieproces opnieuw starten. Om het proces uit te leggen, stellen de auteurs voor dat in plaats van het nieuwe model te valideren, het originele modelcertificaat kan worden aangepast aan het nieuwe. De grootste uitdaging waarmee ze momenteel worden geconfronteerd, is het integreren van deze technieken in bestaande softwaremodelleringstools en -omgevingen.
Lees ook:
Over twintig jaar bereikt de aarde een kritische temperatuur.
Abortus en wetenschap: wat gebeurt er met de kinderen die zullen bevallen.
De oudste rotstekeningen ter wereld werden gevonden.
Het Ministerie van Volksgezondheid van Argentinië heeft gegevens bekendgemaakt over bijwerkingen bij degenen die Sputnik V.