Οποιοδήποτε έργο απαιτεί την ανάπτυξη μιας σειράς αρχικών σχεδίων πριν ξεκινήσει η υλοποίηση, τα οποία χρησιμεύουν ως βάση και
Οι μηχανικοί χρησιμοποιούν προσομοίωση για να περιγράψουνπρόγραμμα από μια συγκεκριμένη άποψη, για παράδειγμα, με τα δεδομένα που θα χρησιμοποιήσει, τα στοιχεία του ή τον τρόπο που αναμένουν να λειτουργήσουν. Επιστρέφοντας στο παράδειγμα του κατασκευαστικού έργου, τα σχέδια θα είναι «μοντέλα» που μπορούν να χρησιμοποιηθούν ως οδηγός κατά τη φάση του σχεδιασμού, καθώς και για μοντελοποίηση και δοκιμή.
Σύμφωνα με τους ερευνητές, το πιο κοινόΟ τύπος του μοντέλου που χρησιμοποιείται είναι ο συμβολισμός διαγράμματος κλάσης Unified Modeling Language (UML), ο οποίος χρησιμοποιείται για την περιγραφή της δομής ενός συστήματος λογισμικού. Το πλεονέκτημα της συνεργασίας με αυτά τα μοντέλα είναι ότι είναι πιο αφηρημένα από τον πηγαίο κώδικα, ο οποίος περιέχει πολλές συγκεκριμένες λεπτομέρειες σχετικά με την τεχνολογία που χρησιμοποιείται. Και αυτά τα μοντέλα μπορούν να είναι πιο συνοπτικά, ευκολότερα στην κατασκευή και κατανόηση. "
Έτσι η προσομοίωση θα μπορούσε να εξυπηρετήσειμάλλον ένα προκαταρκτικό βήμα παρά ένα εναλλακτικό στον πηγαίο κώδικα. Τα μοντέλα διευκολύνουν την κατανόηση του συστήματος που αναπτύσσεται και μπορούν επίσης να χρησιμοποιηθούν για τη δημιουργία συγκεκριμένων στοιχείων εφαρμογής, αυτοματοποιώντας τα πιο επαναλαμβανόμενα μέρη της διαδικασίας προγραμματισμού.
Οι μηχανικοί χρησιμοποιούν εργαλεία επαλήθευσης για να αποτρέψουν σφάλματα που θα μπορούσαν να επηρεάσουν τον ίδιο τον κώδικα και επομένως την τελική υλοποίηση του συστήματος.
«Πρέπει να βεβαιωθούμε ότι τα μοντέλα είναι σωστά για να ελαχιστοποιήσουμε τυχόν σφάλματα λογισμικού που θα μπορούσαν να προκύψουν ως αποτέλεσμα».
Καθηγητής στο Πανεπιστήμιο Oberta de Catalunya, μέλος της ερευνητικής ομάδας SOM Research Lab Robert Clariso
Κάθε φορά που γίνεται αλλαγή στο μοντέλο,για παράδειγμα, προσθήκη, αφαίρεση ή αλλαγή πληροφοριών - αυτό σημαίνει ότι ολόκληρο το σύστημα πρέπει να αναλυθεί, επομένως η επικύρωση γίνεται συνήθως μόνο μετά τη δημιουργία του τελικού μοντέλου στο τέλος της διαδικασίας.
Αυτή η μέθοδος είναι επίσης καινοτόμος σε αυτόαφορά τη χρήση πιστοποιητικών, παραδείγματα που δείχνουν τη σωστή λειτουργία του μοντέλου. Όπως σημείωσε ο ερευνητής: «Όταν τροποποιούμε το μοντέλο, η κατοχή νέου πιστοποιητικού καταργεί την ανάγκη επικύρωσής του.
Είναι πολύ φθηνότερο να προσαρμόσετε το πιστοποιητικόαπό την επανεκκίνηση της διαδικασίας επαλήθευσης. Εξηγώντας τη διαδικασία, οι συγγραφείς προτείνουν ότι αντί να επικυρωθεί το νέο μοντέλο, το πιστοποιητικό του αρχικού μοντέλου μπορεί να προσαρμοστεί στο νέο. Η μεγαλύτερη πρόκληση που αντιμετωπίζουν σήμερα είναι η ενσωμάτωση αυτών των τεχνικών σε υπάρχοντα εργαλεία και περιβάλλοντα μοντελοποίησης λογισμικού.
Διαβάστε επίσης:
Η γη θα φτάσει σε κρίσιμη θερμοκρασία σε 20 χρόνια.
Άμβλωση και επιστήμη: τι θα συμβεί στα παιδιά που θα γεννήσουν.
Βρέθηκε η παλαιότερη ροκ τέχνη στον κόσμο.
Το Υπουργείο Υγείας της Αργεντινής αποκάλυψε στοιχεία σχετικά με τις παρενέργειες σε εκείνους που έλαβαν Sputnik V.