Varje projekt kräver utveckling av en serie initiala planer innan implementeringen påbörjas, vilka fungerar som grund och
Ingenjörer använder simulering för att beskrivaett program ur en viss synvinkel, till exempel de data det kommer att använda, dess komponenter eller hur de förväntar sig att de ska fungera. Om vi går tillbaka till exempel på byggprojekt kommer planerna att vara ”modeller” som kan användas som en guide under designfasen, samt för modellering och testning.
Enligt forskare, den vanligasteDen typ av modell som används är UML-klassdiagramnotationen Unified Modeling Language, som används för att beskriva strukturen för ett programvarusystem. Fördelen med att arbeta med dessa modeller är att de är mer abstrakta än källkoden, som innehåller många specifika detaljer om den använda tekniken. Och dessa modeller kan vara mer kortfattade, lättare att tillverka och förstå. "
Så simuleringen kan tjänasnarare ett preliminärt steg än ett alternativ till källkoden. Modeller gör det lättare att förstå systemet som utvecklas och kan också användas för att skapa specifika implementeringselement, automatisera de mest repetitiva delarna av programmeringsprocessen.
Ingenjörer använder verifieringsverktyg för att förhindra fel som kan påverka själva koden och därmed den slutliga implementeringen av systemet.
"Vi måste se till att modellerna är korrekta för att minimera eventuella programvarufel som kan uppstå som ett resultat."
Professor vid Oberta de Catalunya University, medlem av forskningsgruppen SOM Research Lab Robert Clariso
Varje gång en modell ändras,till exempel lägga till, ta bort eller ändra information - det betyder att hela systemet måste analyseras om, så validering görs vanligtvis bara efter att den slutliga modellen har skapats i slutet av processen.
Denna metod är också innovativ i detgäller användning av certifikat, exempel som illustrerar att modellen fungerar korrekt. Som forskaren konstaterade, ”När vi modifierar modellen, tar vi bort ett nytt certifikat behovet av att validera det.
Det är mycket billigare att anpassa certifikatetän att starta om verifieringsprocessen. Förklara processen föreslår författarna att istället för att validera den nya modellen kan certifikatet för den ursprungliga modellen anpassas till den nya. Den största utmaningen de för närvarande står inför är att integrera dessa tekniker i befintliga programvarumodelleringsverktyg och miljöer.
Läs också:
Jorden kommer att nå en kritisk temperatur om 20 år.
Abort och vetenskap: vad kommer att hända med barnen som kommer att föda.
Den äldsta bergkonsten i världen hittades.
Argentinas hälsovårdsministerium avslöjade uppgifter om biverkningar hos dem som fick Sputnik V.