Tout projet nécessite l'élaboration d'une série de plans initiaux avant le début de la mise en œuvre, qui servent de base et
Les ingénieurs utilisent la simulation pour décrireprogramme d'un point de vue spécifique, par exemple, avec les données qu'il utilisera, ses composants ou la façon dont ils s'attendent à fonctionner. Revenant à l'exemple d'un projet de construction, les plans seront des «modèles» qui pourront servir de guide lors de la phase de conception, ainsi que pour la modélisation et les tests.
Selon les chercheurs, le plus courantLe type de modèle utilisé est la notation de diagramme de classe UML (Unified Modeling Language), qui est utilisée pour décrire la structure d'un système logiciel. L'avantage de travailler avec ces modèles est qu'ils sont plus abstraits que le code source, qui contient de nombreux détails spécifiques sur la technologie utilisée. Et ces modèles peuvent être plus concis, plus faciles à fabriquer et à comprendre. "
Donc la simulation pourrait servirplutôt une étape préliminaire qu'une alternative au code source. Les modèles facilitent la compréhension du système en cours de développement et peuvent également être utilisés pour créer des éléments d'implémentation spécifiques, automatisant les parties les plus répétitives du processus de programmation.
Les ingénieurs utilisent des outils de vérification pour éviter les erreurs qui pourraient affecter le code lui-même et donc la mise en œuvre finale du système.
« Nous devons nous assurer que les modèles sont corrects afin de minimiser les erreurs logicielles qui pourraient en résulter. »
Professeur à l'Université Oberta de Catalunya, membre du groupe de recherche SOM Research Lab Robert Clariso
Chaque fois qu'une modification est apportée au modèle,par exemple, ajouter, supprimer ou modifier des informations - cela signifie que l'ensemble du système doit être ré-analysé, de sorte que la validation n'est généralement effectuée qu'après la création du modèle final à la fin du processus.
Cette méthode est également innovante en ce queconcerne l'utilisation de certificats, exemples illustrant le bon fonctionnement du modèle. Comme l'a noté le chercheur: «Lorsque nous modifions le modèle, avoir un nouveau certificat supprime la nécessité de le valider.
C'est beaucoup moins cher d'adapter le certificatque de redémarrer le processus de vérification. Expliquant le processus, les auteurs proposent qu'au lieu de valider le nouveau modèle, le certificat du modèle original puisse être adapté au nouveau. Le plus grand défi auquel ils sont actuellement confrontés est l'intégration de ces techniques dans les outils et environnements de modélisation logicielle existants.
Lisez aussi:
La terre atteindra une température critique dans 20 ans.
Avortement et science: qu'adviendra-t-il des enfants qui accoucheront?
L'art rupestre le plus ancien du monde a été découvert.
Le ministère de la Santé de l'Argentine a divulgué des données sur les effets secondaires chez ceux qui ont reçu Spoutnik V.