Det er opprettet et verktøy som lar deg oppdage feil akkurat når du skriver koden

Ethvert prosjekt krever utvikling av en rekke innledende planer før implementeringen starter, som tjener som grunnlag og

veiledning for hele prosessen. En lignende prosedyre følges i programvareutvikling som involverer et spesifikt trinn kjent som modellering.

Ingeniører bruker simulering for å beskriveet program fra et spesifikt synspunkt, for eksempel dataene det vil bruke, dets komponenter eller måten de forventer at de skal fungere på. Når vi går tilbake til eksemplet på et byggeprosjekt, vil planene være ”modeller” som kan brukes som en veiledning i designfasen, samt for modellering og testing.

Ifølge forskere, den vanligsteModellen som brukes er UML-klassediagramnotasjonen Unified Modeling Language, som brukes til å beskrive strukturen til et programvaresystem. Fordelen med å jobbe med disse modellene er at de er mer abstrakte enn kildekoden, som inneholder mange spesifikke detaljer om teknologien som brukes. Og disse modellene kan være mer konsise, lettere å produsere og forstå. "

Så simuleringen kunne tjeneheller et foreløpig trinn enn et alternativ til kildekoden. Modeller gjør det lettere å forstå systemet som utvikles, og kan også brukes til å lage spesifikke implementeringselementer, og automatisere de mest repeterende delene av programmeringsprosessen.

Ingeniører bruker verifikasjonsverktøy for å forhindre feil som kan påvirke selve koden og dermed den endelige implementeringen av systemet.

"Vi må sørge for at modellene er riktige for å minimere eventuelle programvarefeil som kan oppstå som et resultat."

Professor ved Oberta de Catalunya University, medlem av forskningsgruppen SOM Research Lab Robert Clariso

Hver gang det foretas en endring av modellen,for eksempel å legge til, fjerne eller endre informasjon - dette betyr at hele systemet må analyseres på nytt, så validering gjøres vanligvis bare etter at den endelige modellen er opprettet på slutten av prosessen.

Denne metoden er også nyskapende i detgjelder bruk av sertifikater, eksempler som illustrerer riktig bruk av modellen. Som forskeren bemerket: “Når vi endrer modellen, fjerner behovet for å validere å ha et nytt sertifikat.

Det er mye billigere å tilpasse sertifikatetenn å starte bekreftelsesprosessen på nytt. Forklarende prosessen foreslår forfatterne at sertifikatet for den opprinnelige modellen kan tilpasses den nye i stedet for å validere den nye modellen. Den største utfordringen de for øyeblikket står overfor er å integrere disse teknikkene i eksisterende programvaremodelleringsverktøy og miljøer.

Les også:

Jorden vil nå en kritisk temperatur om 20 år.

Abort og vitenskap: hva vil skje med barna som skal føde.

Den eldste bergkunst i verden ble funnet.

Helsedepartementet i Argentina avslørte data om bivirkninger hos de som fikk Sputnik V.