Każdy projekt wymaga opracowania szeregu wstępnych planów przed rozpoczęciem realizacji, które służą jako podstawa i
Inżynierowie używają symulacji do opisuprogram z określonego punktu widzenia, na przykład z danymi, których będzie używał, jego składowymi lub sposobem, w jaki mają działać. Wracając do przykładu projektu budowlanego, plany będą „modelami”, które można wykorzystać jako przewodnik na etapie projektowania, a także do modelowania i testowania.
Według naukowców najczęściejTyp używanego modelu to notacja diagramu klas w języku UML (Unified Modeling Language), która służy do opisu struktury systemu oprogramowania. Zaletą pracy z tymi modelami jest to, że są one bardziej abstrakcyjne niż kod źródłowy, który zawiera wiele szczegółowych informacji o zastosowanej technologii. Modele te mogą być bardziej zwięzłe, łatwiejsze do wykonania i zrozumienia ”.
Więc symulacja może służyćraczej krok wstępny niż alternatywa dla kodu źródłowego. Modele ułatwiają zrozumienie tworzonego systemu, a także mogą służyć do tworzenia konkretnych elementów wdrożeniowych, automatyzując najbardziej powtarzalne części procesu programowania.
Inżynierowie używają narzędzi weryfikacyjnych, aby zapobiec błędom, które mogłyby mieć wpływ na sam kod, a tym samym na ostateczną implementację systemu.
„Musimy upewnić się, że modele są prawidłowe, aby zminimalizować wszelkie błędy oprogramowania, które mogą w rezultacie powstać”.
Profesor Uniwersytetu Oberta de Catalunya, członek grupy badawczej SOM Research Lab Robert Clariso
Za każdym razem, gdy wprowadzana jest zmiana w modelu,na przykład dodawanie, usuwanie lub zmiana informacji - oznacza to, że cały system musi zostać ponownie przeanalizowany, więc walidacja jest zwykle wykonywana dopiero po utworzeniu ostatecznego modelu na końcu procesu.
Ta metoda jest również pod tym względem innowacyjnadotyczy stosowania certyfikatów, przykłady ilustrujące poprawność działania modelu. Jak zauważył badacz: „Kiedy modyfikujemy model, posiadanie nowego certyfikatu eliminuje konieczność jego walidacji.
O wiele taniej jest dostosować certyfikatniż ponowne rozpoczęcie procesu weryfikacji. Wyjaśniając ten proces, autorzy proponują, aby zamiast walidacji nowego modelu, można było zaadaptować certyfikat oryginalnego modelu do nowego. Największym wyzwaniem, przed jakim obecnie stają, jest integracja tych technik z istniejącymi narzędziami i środowiskami do modelowania oprogramowania.
Czytaj także:
Ziemia osiągnie krytyczną temperaturę za 20 lat.
Aborcja i nauka: co stanie się z dziećmi, które będą rodzić.
Znaleziono najstarszą sztukę naskalną na świecie.
Ministerstwo Zdrowia Argentyny ujawniło dane dotyczące skutków ubocznych u osób, które otrzymały Sputnik V.