Ανάλυση

Για την κατανόηση, τον προσδιορισμό και την έκφραση των απαιτήσεων από το λογισμικό είναι απαραίτητο ένα ιδεατό μοντέλο (conceptual model) των διεργασιών του συστήματος στο οποίο θα λειτουργήσει το λογισμικό. Τα μοντέλα αυτά χρησιμοποιούν τις παρακάτω τεχνικές παράστασης:

Ροή δεδομένων (data flow)
Μηχανή πεπερασμένων καταστάσεων (finite state machine)
επικοινωνούσες ταυτόχρονες διεργασίες (communicating concurrent processes)
Μοντέλο οντοτήτων σχέσεων (entity relationship models)
Εξομοίωση (simulation)
Λειτουργική σύνθεση (functional composition)

Η δομημένη ανάλυση (structured analysis) χρησιμοποιεί ως βάση το μοντέλο ροής δεδομένων και μια σειρά από εξειδικευμένους συμβολισμούς για την καταγραφή των απαιτήσεων:

το διάγραμμα ροής δεδομένων (data flow diagram),
τα δομημένα αγγλικά (structured english),
το λεξικό δεδομένων (data dictionary) και
το διάγραμμα οντοτήτων συσχετίσεων (entity relationship diagram)

Εκτός από τη δομημένη ανάλυση η οποία ταιριάζει με το διαδικασιακό παράδειγμα προγραμματισμού όπως υποστηρίζεται από τις γλώσσες C, Pascal, Fortran κλπ, στις μέρες μας χρησιμοποιείται συχνά και η αντικειμενοστρεφής ανάλυση (object oriented analysis) σε συνδυασμό με αντικειμενοστρεφείς γλώσσες όπως η C++, Java, Eiffel, Smalltalk κλπ.