Всеки проект изисква разработването на серия от първоначални планове преди да започне изпълнението, които служат като основа и
Инженерите използват симулация, за да опишатпрограма от конкретна гледна точка, например с данните, които ще използва, нейните компоненти или начина, по който те очакват да работят. Връщайки се към примера на строителния проект, плановете ще бъдат „модели“, които могат да се използват като ориентир по време на фазата на проектиране, както и за моделиране и тестване.
Според изследователите най-често срещанитеТипът на използвания модел е обозначение на диаграмата на класа на Unified Modeling Language (UML), което се използва за описание на структурата на софтуерна система. Предимството на работата с тези модели е, че те са по-абстрактни от изходния код, който съдържа много конкретни подробности за използваната технология. И тези модели могат да бъдат по-кратки, по-лесни за производство и разбиране. "
Така че симулацията може да служипо-скоро предварителна стъпка, отколкото алтернатива на изходния код. Моделите улесняват разбирането на системата, която се разработва, и могат да се използват и за създаване на специфични елементи за изпълнение, автоматизиращи най-повтарящите се части от процеса на програмиране.
Инженерите използват инструменти за проверка, за да предотвратят грешки, които биха могли да засегнат самия код и следователно окончателното внедряване на системата.
„Трябва да сме сигурни, че моделите са правилни, за да сведем до минимум всички софтуерни грешки, които биха могли да възникнат в резултат на това.“
Професор в университета Оберта де Каталуня, член на изследователската група SOM Research Lab Робърт Кларисо
Всеки път, когато се прави промяна в модела,например добавяне, премахване или промяна на информация - това означава, че цялата система трябва да бъде анализирана повторно, така че валидирането обикновено се извършва само след като окончателният модел е създаден в края на процеса.
Този метод също е иновативен в товазасяга използването на сертификати, примери, илюстриращи правилната работа на модела. Както изследователят отбелязва: „Когато модифицираме модела, наличието на нов сертификат премахва необходимостта от валидирането му.
Много по-евтино е да адаптирате сертификатаотколкото рестартиране на процеса на проверка. Обяснявайки процеса, авторите предлагат, вместо да валидират новия модел, сертификатът на оригиналния модел може да бъде адаптиран към новия. Най-голямото предизвикателство, с което се сблъскват в момента, е интегрирането на тези техники в съществуващите инструменти и среди за софтуерно моделиране.
Прочетете също:
Земята ще достигне критична температура след 20 години.
Аборт и наука: какво ще се случи с децата, които ще раждат.
Открито е най-старото скално изкуство в света.
Министерството на здравеопазването на Аржентина разкри данни за странични ефекти при тези, които са получили Sputnik V.