Një mjet i ri për të lehtësuar dizajnin e shpejtë, pa gabime të software

Çdo projekt ndërtimi kërkon formulimin e një serie planesh fillestare para fillimit të ndërtimit për të shërbyer si bazë dhe udhëzues për të gjithë procesin. Një procedurë e ngjashme ndiqet në zhvillimin e software, me përfshirjen e një hapi specifik të njohur si modelimi. “Procesi është i barabartë me prodhimin e një sërë planesh për një ndërtesë para ndërtimit të saj,” shpjegoi Universiteti Oberta de Catalunya (UOC) Fakulteti i Shkencave Kompjuterike, profesor i Multimedias dhe Telekomunikacionit dhe anëtar i grupit kërkimor SOM Research Lab nga interneti Instituti Ndërdisiplinor (IN3), Robert Clarisó. Inxhinierët përdorin modelimin për të përshkruar një sistem software nga një perspektivë specifike, siç janë të dhënat që do të përdorë, përbërësit e tij ose mënyra se si ata presin që të funksionojë. Kthimi te shembulli i projektit të ndërtesës, planet do të ishin modele, të cilat mund të përdoren për udhëzime gjatë fazës së zhvillimit, si dhe për kryerjen e simulimeve dhe provave.

Sipas studiuesit, “Lloji i modelit që përdoret më shpesh është shënimi i klasës UML (Gjuha e Unifikuar e Modelimit), i cili përdoret për të përshkruar strukturën e një sistemi software”. Përparësia e punës me këto modele është se ato janë më abstrakte sesa kodi burimor, i cili përmban shumë detaje specifike në lidhje me teknologjinë që po përdoret. Sipas fjalëve të Clarisó, “Modelet mund të jenë më koncize, më të lehta për t’u prodhuar dhe kuptuar”.

Si i tillë, modelimi do të shërbente më shumë si një hap paraprak sesa një alternativë ndaj kodit burimor. Modelet e bëjnë më të lehtë për të kuptuar sistemin që po zhvillohet dhe gjithashtu mund të përdoren për të gjeneruar disa elemente të implementimit, duke automatizuar pjesët më të përsëritura të procesit të programimit.

Roli i mjeteve të verifikimit

Inxhinierët përdorin mjete verifikimi për të parandaluar gabime që mund të ndikojnë në vetë kodin dhe, për këtë arsye, në zbatimin përfundimtar të sistemit. Duke theksuar rëndësinë e këtij procesi, Clarisó tha, “Ne duhet të sigurojmë që modelet janë të sakta në mënyrë që të minimizojmë gabimet e mundshme në software që mund të ndodhin si rezultat”.

Si pjesë e një studimi të botuar në Journal of Object Technology, Clarisó, së bashku me kolegët e tij, Carlos A. González (studiues i Gran Telescopio Canarias) dhe Jordi Cabot (studiues i ICREA), ka dalë me një teknikë të re verifikimi për UML / OCL modele që zgjidhin një problem të përbashkët. Sa herë që një projektues bën një ndryshim – të tillë si shtimi, fshirja ose modifikimi i informacionit – në model, kjo do të thotë që i gjithë sistemi duhet të ri-analizohet, e cila është arsyeja pse verifikimi zakonisht kryhet vetëm pasi të jetë bërë një model përfundimtar prodhuar në fund të procesit.

Siç shpjegoi Clarisó, “Artikulli ynë përshkruan zbatimin e metodave rritëse të verifikimit, domethënë, ne e bëjmë më të lehtë për të verifikuar një model në çdo kohë që bëhen ndryshimet.” Në vend që të jetë në gjendje të verifikojë vetëm modelin në fund të procesit, siç është aktualisht rasti, kjo lejon që ai të verifikohet gjatë ndërtimit, pa pasur nevojë të fillojë nga e para, gjë që lehtëson zbulimin e hershëm të gabimeve.

Një komunitet aktiv, si në shkallë kombëtare dhe globale

Kjo metodë është gjithashtu inovative në lidhje me përdorimin e saj të çertifikatave, shembuj që ilustrojnë funksionimin e duhur të modelit. Siç theksoi studiuesi, “Kur modifikojmë një model, të kesh një çertifikatë të re do të hiqte nevojën për verifikimin e tij.

Farshtë shumë më pak e kushtueshme të përshtatësh një çertifikatë sesa të rishkruash procesin e verifikimit. “Duke shpjeguar procesin, autorët propozojnë që, në vend që të verifikojnë modelin e ri, një çertifikatë nga modeli origjinal mund të përshtatet me atë të ri. sfida me të cilën përballen tani është integrimi i këtyre teknikave në mjetet dhe mjediset ekzistuese të modelimit të software-it.

Duke komentuar sektorin në përgjithësi, Clarisó, i cili veproi si koordinator i Rrjetit Spanjoll të Ekselencës në Inxhinierinë e Programeve të drejtuar nga Model, theksoi se, “komuniteti Spanjoll i modelimit është ende shumë aktiv dhe merr pjesë në një shumëllojshmëri të projekteve kërkimore kombëtare dhe ndërkombëtare “

Në fakt, megjithëse rrjeti nuk është më funksional, komuniteti ende punon së bashku dhe bashkëpunon si pjesë e Konferencës vjetore të Inxhinierisë së Programit dhe Bazës së të Dhënave, e cila ka një hapësirë ​​të dedikuar për Inxhinierinë e Programeve të drejtuara nga Modeli.