A fost creat un instrument care vă permite să detectați erori chiar în momentul scrierii codului

Orice proiect necesită elaborarea unei serii de planuri inițiale înainte de începerea implementării, care servesc drept bază și

îndrumări pentru întregul proces. O procedură similară este urmată în dezvoltarea de software care implică un pas specific cunoscut sub numele de modelare.

Inginerii folosesc simularea pentru a descrieun program dintr-un punct de vedere specific, cum ar fi datele pe care le va folosi, componentele sale sau modul în care se așteaptă ca acestea să funcționeze. Revenind la exemplul proiectului de construcție, planurile vor fi „modele” care pot fi utilizate ca ghid în timpul fazei de proiectare, precum și pentru modelare și testare.

Potrivit cercetătorilor, cele mai frecventeTipul de model utilizat este notația diagramei de clasă Unified Modeling Language (UML), care este utilizată pentru a descrie structura unui sistem software. Avantajul de a lucra cu aceste modele este că sunt mai abstracte decât codul sursă, care conține multe detalii specifice despre tehnologia utilizată. Și aceste modele pot fi mai concise, mai ușor de fabricat și de înțeles. "

Deci, simularea ar putea servimai degrabă un pas preliminar decât o alternativă la codul sursă. Modelele facilitează înțelegerea sistemului în curs de dezvoltare și pot fi folosite și pentru a crea elemente de implementare specifice, automatizând cele mai repetitive părți ale procesului de programare.

Inginerii folosesc instrumente de verificare pentru a preveni erorile care ar putea afecta codul în sine și, prin urmare, implementarea finală a sistemului.

„Trebuie să ne asigurăm că modelele sunt corecte pentru a minimiza orice erori de software care ar putea apărea ca urmare.”

Profesor la Universitatea Oberta de Catalunya, membru al grupului de cercetare SOM Research Lab Robert Clariso

De fiecare dată când se face o modificare a modelului,de exemplu, adăugarea, eliminarea sau modificarea informațiilor - acest lucru înseamnă că întregul sistem trebuie să fie reanalizat, deci validarea se face de obicei numai după ce modelul final a fost creat la sfârșitul procesului.

Această metodă este, de asemenea, inovatoare în acest sensse referă la utilizarea certificatelor, exemple care ilustrează funcționarea corectă a modelului. După cum a remarcat cercetătorul: „Când modificăm modelul, deținerea unui nou certificat elimină necesitatea validării acestuia.

Este mult mai ieftin să adaptați certificatuldecât repornirea procesului de verificare. Explicând procesul, autorii propun că, în loc de validarea noului model, certificatul modelului original poate fi adaptat noului model. Cea mai mare provocare cu care se confruntă în prezent este integrarea acestor tehnici în instrumentele și mediile de modelare software existente.

Citește și:

Pământul va atinge o temperatură critică peste 20 de ani.

Avortul și știința: ce se va întâmpla cu copiii care vor naște.

A fost găsită cea mai veche artă rock din lume.

Ministerul Sănătății din Argentina a dezvăluit date despre efectele secundare la cei care au primit Sputnik V.