Minden projekt megköveteli egy sor kezdeti terv kidolgozását a megvalósítás megkezdése előtt, amelyek alapul szolgálnak és
A mérnökök szimulációval írják leprogram egy adott szempontból, például az általa használt adatokkal, összetevőivel vagy a munkájuk elvárásaival. Visszatérve egy építési projekt példájára, a tervek olyan „modellek” lesznek, amelyek útmutatóként felhasználhatók a tervezési szakaszban, valamint modellezésre és tesztelésre.
A kutatók szerint a leggyakoribbA használt modell típusa az Unified Modeling Language (UML) osztálydiagram jelölése, amely egy szoftverrendszer felépítésének leírására szolgál. Ezekkel a modellekkel való együttműködés előnye, hogy elvontabbak, mint a forráskód, amely számos konkrét részletet tartalmaz az alkalmazott technológiáról. És ezek a modellek tömörebbek, könnyebben gyárthatók és érthetőbbek lehetnek. "
Tehát a szimuláció szolgálhatinkább egy előzetes lépés, mintsem a forráskód alternatívája. A modellek megkönnyítik a fejlesztés alatt álló rendszer megértését, és felhasználhatók speciális megvalósítási elemek létrehozására is, automatizálva a programozási folyamat legismétlőbb részeit.
A mérnökök ellenőrző eszközöket használnak, hogy megakadályozzák azokat a hibákat, amelyek magát a kódot, és ezáltal a rendszer végső megvalósítását is befolyásolhatják.
"Győződjön meg arról, hogy a modellek megfelelőek, hogy minimalizáljuk az ebből adódó szoftverhibákat."
Az Oberta de Catalunya Egyetem professzora, a SOM Research Lab kutatócsoport tagja, Robert Clariso
Minden alkalommal, amikor a modellen változtatnak,például információk hozzáadása, eltávolítása vagy megváltoztatása - ez azt jelenti, hogy a teljes rendszert újra kell elemezni, így az érvényesítés általában csak azután történik, hogy a folyamat végén elkészült a végleges modell.
Ez a módszer abban is innovatívtanúsítványok használatára vonatkozik, példák a modell helyes működésére. Mint a kutató megjegyezte: „Amikor módosítjuk a modellt, az új tanúsítvány birtoklása feleslegessé teszi annak érvényesítését.
Sokkal olcsóbb a tanúsítvány adaptálásamint az igazolási folyamat újraindítása. A folyamat ismertetésével a szerzők azt javasolják, hogy az új modell érvényesítése helyett az eredeti minta tanúsítványt az újhoz igazítsák. A legnagyobb kihívás, amellyel jelenleg szembesülnek, e technikák integrálása a meglévő szoftver modellezési eszközökbe és környezetekbe.
Olvassa el még:
A föld 20 év múlva eléri a kritikus hőmérsékletet.
Abortusz és tudomány: mi lesz a gyerekekkel, akik szülni fognak.
Megtalálták a világ legrégebbi rock-művészetét.
Az argentin egészségügyi minisztérium a Sputnik V. kezelésben részesülők mellékhatásainak adatait hozta nyilvánosságra.