Bet kuriam projektui prieš įgyvendinant reikia parengti keletą pradinių planų, kurie naudojami kaippagrindas ir
Inžinieriai apibūdina modeliavimąprograma konkrečiu požiūriu, pavyzdžiui, su duomenimis, kuriuos ji naudos, jos komponentais ar būdu, kuriuo jie tikisi dirbti. Grįžtant prie statybos projekto pavyzdžio, planai bus „modeliai“, kurie gali būti naudojami kaip orientyras projektavimo etape, taip pat modeliavimui ir bandymams.
Tyrėjų teigimu, dažniausiaiNaudojamo modelio tipas yra „Unified Modeling Language“ (UML) klasės diagramos žymėjimas, kuris naudojamas programinės įrangos sistemos struktūrai apibūdinti. Darbo su šiais modeliais privalumas yra tas, kad jie yra abstraktesni nei šaltinio kodas, kuriame yra daug konkrečių detalių apie naudojamą technologiją. Ir šie modeliai gali būti glaustesni, lengviau gaminami ir suprantami “.
Taigi modeliavimas gali būti naudingasveikiau preliminarus žingsnis nei alternatyva šaltinio kodui. Modeliai padeda lengviau suprasti kuriamą sistemą, taip pat gali būti naudojami kuriant konkrečius įgyvendinimo elementus, automatizuojant labiausiai pasikartojančias programavimo proceso dalis.
Inžinieriai naudoja patvirtinimo įrankius, kad užkirstų kelią klaidoms, kurios gali turėti įtakos pačiam kodui, taigi ir galutiniam sistemos įgyvendinimui.
"Turime įsitikinti, kad modeliai yra teisingi, kad sumažintume galimas programinės įrangos klaidas, kurios galikyla dėl to."
Oberta de Catalunya universiteto profesorius, SOM tyrimų laboratorijos tyrimų grupės narys Robertas Clariso
Kiekvieną kartą pakeitus modelį,pavyzdžiui, informacijos pridėjimas, pašalinimas ar keitimas - tai reiškia, kad reikia iš naujo išanalizuoti visą sistemą, todėl patvirtinimas paprastai atliekamas tik sukūrus galutinį modelį proceso pabaigoje.
Šis metodas taip pat yra novatoriškassusijęs su sertifikatų naudojimu, pavyzdžiais, iliustruojančiais teisingą modelio veikimą. Kaip pastebėjo tyrėjas: „Kai mes modifikuojame modelį, turint naują sertifikatą nebereikia jo patvirtinti.
Daug pigiau pritaikyti sertifikatąnei iš naujo pradėti tikrinimo procesą. Aiškindami procesą, autoriai siūlo užuot patvirtinus naują modelį, originalaus modelio pažymėjimą galima pritaikyti naujam. Didžiausias iššūkis, su kuriuo jie susiduria, yra šių metodų integravimas į esamas programinės įrangos modeliavimo priemones ir aplinką.
Taip pat skaitykite:
Žemė pasieks kritinę temperatūrą per 20 metų.
Abortas ir mokslas: kas nutiks gimdantiems vaikams.
Buvo rastas seniausias roko menas pasaulyje.
Argentinos sveikatos ministerija atskleidė duomenis apie šalutinį poveikį tiems, kurie vartojo „Sputnik V“.