Сваки пројекат захтева израду серије почетних планова пре почетка имплементације, који служе као основа и
Инжењери користе симулацију за описивањепрограм са одређене тачке гледишта, на пример, са подацима које ће користити, његовим компонентама или начином на који они очекују да раде. Враћајући се на пример грађевинског пројекта, планови ће бити „модели“ који се могу користити као водич током фазе пројектовања, као и за моделирање и испитивање.
Према истраживачима, најчешћиТип модела који се користи је запис дијаграма класе Унифиед Моделинг Лангуаге (УМЛ), који се користи за описивање структуре софтверског система. Предност рада са овим моделима је што су апстрактнији од изворног кода, који садржи многе специфичне детаље о кориштеној технологији. А ови модели могу бити сажетији, лакши за производњу и разумевање “.
Дакле, симулација би могла послужитирадије прелиминарни корак него алтернатива изворном коду. Модели олакшавају разумевање система који се развија, а такође се могу користити за стварање специфичних елемената имплементације, аутоматизујући најчешће понављајуће делове процеса програмирања.
Инжењери користе алате за верификацију да би спречили грешке које би могле да утичу на сам код и самим тим на коначну имплементацију система.
„Морамо се уверити да су модели исправни како бисмо свели на минимум све софтверске грешке које би могле настати као резултат.
Професор на Универзитету Оберта де Цаталуниа, члан истраживачке групе СОМ Ресеарцх Лаб Роберт Цларисо
Каждый раз, когда вносятся изменения в модель, на пример, додавање, уклањање или промена информација - то значи да се читав систем мора поново анализирати, па се валидација обично врши тек након што се на крају процеса креира коначни модел.
Ова метода је такође иновативна у томеодноси се на употребу сертификата, примери који илуструју исправан рад модела. Као што је истраживач приметио: „Када модификујемо модел, поседовање новог сертификата уклања потребу за валидацијом.
Много је јефтиније прилагодити сертификатнего поновно покретање поступка верификације. Објашњавајући поступак, аутори предлажу да се уместо валидације новог модела, сертификат оригиналног модела може прилагодити новом. Највећи изазов са којим се тренутно суочавају је интеграција ових техника у постојеће алате и окружења за моделирање софтвера.
Прочитајте и:
Земља ће за 20 година достићи критичну температуру.
Побачај и наука: шта ће бити са децом која ће се родити.
Пронађена је најстарија стенска уметност на свету.
Министарство здравља Аргентине обелоданило је податке о нежељеним ефектима код оних који су добили Спутњик В.