PyModel

PyModel είναι ένα open-source μοντέλο που βασίζεται σε πλαίσιο δοκιμών σε Python.
Σε δοκιμές της μονάδας, οι κωδικοί προγραμματιστής οι περιπτώσεις δοκιμών, καθώς επίσης και τους κωδικούς τους ισχυρισμούς που ελέγχει αν κάθε δοκιμή πέρασε. Σε δοκιμές μοντέλου που βασίζεται, οι κωδικοί προγραμματιστής ένα «μοντέλο» που δημιουργεί όσες περιπτώσεις δοκιμή όπως θέλετε και επίσης λειτουργεί ως το χρησμό που ελέγχει τις περιπτώσεις.
Μοντέλο με βάση τη δοκιμή συνιστάται όταν τόσες πολλές περιπτώσεις δοκιμών που απαιτούνται ώστε να μην είναι εφικτό να τους όλο τον κώδικα με το χέρι. Η ανάγκη αυτή προκύπτει κατά τη δοκιμή συμπεριφορές που παρουσιάζουν την ιστορία, την εξάρτηση και nondeterminism, έτσι ώστε πολλές παραλλαγές (τιμές δεδομένων, interleavings, κλπ) θα πρέπει να ελέγχονται για κάθε σενάριο (ή χρησιμοποιήστε την περίπτωση). Παραδείγματα περιλαμβάνουν πρωτόκολλα επικοινωνίας, εφαρμογές web, συστήματα ελέγχου, και διεπαφές χρήστη.
PyModel υποστηρίζει on-the-fly δοκιμών, το οποίο μπορεί να δημιουργήσει επ 'άπειρον δοκιμές μη-επαναλαμβανόμενη και η δοκιμή εκτελείται. PyModel μπορεί να εστιάσει περιπτώσεις ελέγχου για τα σενάρια των τόκων από την σύνθεση, μια έξυπνη τεχνική που συνδυάζει τα μοντέλα με το συγχρονισμό κοινές δράσεις και διεμπλοκή επιμερισμένα ενέργειες. PyModel μπορεί να καθοδηγήσει την κάλυψη δοκιμή σύμφωνα με την προγραμματιζόμενη στρατηγικές που κωδικοποιείται από τον προγραμματιστή.
PyModel παρέχει τρία προγράμματα:
- Αναλυτή pma.py pymodel: δημιουργεί μια μηχανή πεπερασμένων καταστάσεων (FSM) και υπολογίζει ιδιότητες εξερευνώντας ένα πρότυπο πρόγραμμα, FSM, σουίτα δοκιμής, ή ένα προϊόν από αυτά.
- Γραφικά pmg.py pymodel: δημιουργεί ένα αρχείο γραφικών εντολές από ΗΠΜ.
- Pmt.py pymodel tester: εμφανίζει ίχνη, δημιουργεί τεστ offline, εκτελεί συνδεδεμένος δοκιμές, ή δημιουργεί και εκτελεί δοκιμές on-the-fly.
Χρησιμοποιήστε PMA και pmg να απεικονίσει και να κάνετε προεπισκόπηση της συμπεριφοράς της PMT. Κάθε μονοπάτι μέσα από το γράφημα δημιουργήθηκε από PMA (και που από PMG) είναι ένα ίχνος (δοκιμαστική λειτουργία), που μπορούν να δημιουργηθούν με PMT, όταν γίνεται επίκληση PMA και PMT με τα ίδια επιχειρήματα.
PyModel επηρεάζεται από NModel, αλλά δεν είναι μια μετάφραση ή την εκ νέου εφαρμογή

Απαιτήσεις :.

• Python