Будь-який проект вимагає розробки серії початкових планів до початку реалізації, які є основою та
Інженери використовують моделювання для описупрограми з певної точки зору, наприклад, з даними, які вона буде використовувати, її компонентами або очікуваним ними чином роботи. Повертаючись до прикладу будівельного проекту, плани будуть «моделями», які можна використовувати в якості керівництва на етапі розробки, а також для проведення моделювання та випробувань.
За словами дослідників, найбільш частовикористовуваним типом моделі є нотація діаграми класів UML (Unified Modeling Language), яка використовується для опису структури програмної системи. Перевага роботи з цими моделями полягає в тому, що вони більш абстрактні, ніж вихідний код, який містить безліч конкретних деталей про використовуваної технології. І ці моделі можуть бути більш короткими, простими у виготовленні і розумінні ».
Таким чином, моделювання могло б служитишвидше підготовчим етапом, ніж альтернативою вихідного коду. Моделі спрощують розуміння розроблюваної системи, а також можуть використовуватися для створення певних елементів реалізації, автоматизуючи найбільш повторювані частини процесу програмування.
Інженери використовують інструменти перевірки, щоб запобігти помилкам, які можуть вплинути на сам код і, отже, на остаточну реалізацію системи.
"Ми повинні переконатися, що моделі вірні, щоб звести до мінімуму можливі помилки в програмному забезпеченні, які можуть виникнути в результаті".
професор Університету Оберта де Каталонія, член дослідницької групи SOM Research Lab Роберт Кларісо
Кожен раз, коли вносяться зміни в модель,наприклад, додавання, видалення або зміна інформації - це означає, що вся система повинна бути повторно проаналізована, тому перевірка зазвичай виконується тільки після того, як остаточна модель була створена в кінці процесу.
Цей метод також є новаторським в тому, щостосується використання сертифікатів, прикладів, що ілюструють правильну роботу моделі. Як зазначив дослідник: «Коли ми модифікуємо модель, наявність нового сертифікату усуває необхідність в її перевірці.
Адаптація сертифіката обходиться набагато дешевше,ніж повторний запуск процесу перевірки. Пояснюючи процес, автори пропонують, щоб замість перевірки нової моделі сертифікат вихідної моделі можна було адаптувати до нової. Найбільша проблема, з якою вони зараз стикаються, полягає в інтеграції цих методів в існуючі інструменти та середовища програмного моделювання.
Читати також:
Земля досягне критичної позначки температури через 20 років.
Аборти і наука: що буде з дітьми, яких народять.
Знайдена найстаріша в світі наскальний живопис.
МОЗ Аргентини розкрив дані про побічні ефекти у отримали «Супутник V».