Der er oprettet et værktøj, der giver dig mulighed for at opdage fejl lige ved skrivning af kode

Ethvert projekt kræver udvikling af en række indledende planer, før implementeringen begynder, som tjener som grundlag og

vejledning i hele processen. En lignende procedure følges i softwareudvikling, der involverer et specifikt trin kendt som modellering.

Ingeniører bruger simulering til at beskriveprogrammer fra et specifikt synspunkt, for eksempel med de data, det vil bruge, dets komponenter eller den måde, de forventer at arbejde på. Når vi vender tilbage til eksemplet på et byggeprojekt, vil planerne være ”modeller”, der kan bruges som en guide i designfasen og til modellering og test.

Ifølge forskere er den mest almindeligeDen anvendte model er UML-klassediagramnotationen, der bruges til at beskrive strukturen i et softwaresystem. Fordelen ved at arbejde med disse modeller er, at de er mere abstrakte end kildekoden, som indeholder mange specifikke detaljer om den anvendte teknologi. Og disse modeller kan være mere koncise, lettere at fremstille og forstå. "

Så simuleringen kunne tjenesnarere et indledende trin end et alternativ til kildekoden. Modeller gør det lettere at forstå det system, der udvikles, og kan også bruges til at oprette specifikke implementeringselementer, der automatiserer de mest gentagne dele af programmeringsprocessen.

Ingeniører bruger verifikationsværktøjer til at forhindre fejl, der kan påvirke selve koden og dermed den endelige implementering af systemet.

"Vi er nødt til at sikre, at modellerne er korrekte for at minimere eventuelle softwarefejl, der kan opstå som følge heraf."

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

Hver gang der foretages en ændring af modellen,for eksempel tilføjelse, fjernelse eller ændring af information - det betyder, at hele systemet skal analyseres igen, så validering udføres normalt kun, når den endelige model er oprettet i slutningen af ​​processen.

Denne metode er også nyskabende i detvedrører brugen af ​​certifikater, eksempler, der illustrerer den korrekte funktion af modellen. Som forskeren bemærkede: ”Når vi ændrer modellen, fjerner behovet for at validere det at have et nyt certifikat.

Det er meget billigere at tilpasse certifikatetend genstart af bekræftelsesprocessen. Forklaringen af ​​processen foreslår forfatterne, at certifikatet for den originale model kan tilpasses den nye i stedet for at validere den nye model. Den største udfordring, de i øjeblikket står overfor, er at integrere disse teknikker i eksisterende softwaremodelleringsværktøjer og miljøer.

Læs også:

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

Abort og videnskab: hvad vil der ske med de børn, der føder.

Den ældste rockkunst i verden blev fundet.

Sundhedsministeriet i Argentina har videregivet data om bivirkningerne hos dem, der modtog Sputnik V.