Svaki projekt zahtijeva izradu niza početnih planova prije početka implementacije, koji služe kao osnova i
Inženjeri za opis koriste simulacijuprogram s određenog gledišta, na primjer s podacima koje će koristiti, njegovim komponentama ili načinom na koji očekuju da će raditi. Vraćajući se primjeru građevinskog projekta, planovi će biti "modeli" koji se mogu koristiti kao vodič tijekom faze projektiranja, kao i za modeliranje i ispitivanje.
Prema istraživačima, najčešćiTip modela koji se koristi je zapis dijagrama klase Unified Modeling Language (UML) koji se koristi za opisivanje strukture softverskog sustava. Prednost rada s ovim modelima je u tome što su apstraktniji od izvornog koda, koji sadrži mnoge specifične detalje o korištenoj tehnologiji. A ti modeli mogu biti sažetiji, lakši za proizvodnju i razumijevanje. "
Dakle, simulacija bi mogla poslužitiradije preliminarni korak nego alternativa izvornom kodu. Modeli olakšavaju razumijevanje sustava u razvoju, a mogu se koristiti i za stvaranje specifičnih elemenata implementacije, automatizirajući najčešće ponavljajuće dijelove procesa programiranja.
Inženjeri koriste alate za provjeru kako bi spriječili pogreške koje bi mogle utjecati na sam kod, a time i na konačnu implementaciju sustava.
"Moramo biti sigurni da su modeli ispravni kako bismo minimizirali sve softverske pogreške koje bi mogle nastati kao rezultat."
Profesor na Sveučilištu Oberta de Catalunya, član istraživačke skupine SOM Research Lab Robert Clariso
Svaki put kad se napravi promjena na modelu,na primjer, dodavanje, uklanjanje ili promjena podataka - to znači da se cijeli sustav mora ponovno analizirati, pa se provjera valjanosti obično vrši tek nakon što se na kraju postupka stvori konačni model.
Ova metoda je također inovativna u tomeodnosi se na upotrebu certifikata, primjeri koji ilustriraju ispravan rad modela. Kao što je istraživač primijetio: „Kada modificiramo model, posjedovanjem novog certifikata uklanja se potreba za validacijom.
Mnogo je jeftinije prilagoditi certifikatnego ponovno pokretanje postupka provjere. Objašnjavajući postupak, autori predlažu da se umjesto potvrde novog modela certifikat izvornog modela može prilagoditi novom. Najveći izazov s kojim se trenutno suočavaju jest integracija ovih tehnika u postojeće alate i okruženja za modeliranje softvera.
Pročitajte i:
Zemlja će za 20 godina doseći kritičnu temperaturu.
Pobačaj i znanost: što će se dogoditi s djecom koja će roditi.
Pronađena je najstarija rock umjetnost na svijetu.
Ministarstvo zdravlja Argentine otkrilo je podatke o nuspojavama onih koji su primili Sputnik V.