Τι u εννοούμε με τον όρο σχεδιασμό για την επαλήθευση

[lufeng21cn]

όπως η μέθοδος επαλήθευσης ισχυρισμό, μπορεί να σας δώσει μια άνετη λεωφόρο για να επιβεβαιώσουν το σωστό σχεδιασμό σας.

 

[jackson_peng]

στην εύκολη λόγια, η χρήση «Ισχυρισμός" στην βελτίωση debug το χρόνο σας. Όπως συμβαίνει ήδη σε C.

 

[sarath51]

Requries διαδικασία επαλήθευσης. Verifiaction μοντέλα πάγκο συμπεριφορά μοντέλα και τις βασικές δοκιμές με άλλα λόγια μπορούμε να πούμε ότι το σχεδιασμό ενός Becch δοκιμής και κτίριο υψηλής trasactors επίπεδα πάνω από τα πρότυπα συμπεριφοράς, έτσι ώστε οι περιπτώσεις δοκιμή μπορεί να γραφτεί με αποτελεσματικό τρόπο. Η becn μπορεί επίσης να περιλαμβάνει iuntergrated monotirs και τα πούλια που χρησιμοποιούν ισχυρισμούς και άλλο σπίτι κρατώντας ενότητες