SofCheck Επιθεωρητής είναι ένα στατικό εργαλείο ανάλυσης που ανακαλύπτει λάθη στα bytecodes Java. Χρησιμοποιεί στατικό έλεγχο ροής, της ροής πληροφοριών, και την πιθανή αξία σετ διάδοσης (PVP) τεχνικές για την αναγνώριση των χώρων στους οποίους υπάρχει πιθανότητα Run λάθη φορά. Αυτή η αυτοματοποιημένη τεχνική ποιότητα του λογισμικού παρέχει 100% κάλυψη διαδρομή και επιτρέπει ατέλειες που πρέπει να εντοπιστούν και να εξαλειφθούν από πολύ νωρίς στον κύκλο ζωής του λογισμικού, πριν από το χρόνο εκτέλεσης. Επιθεωρητής δημιουργεί προϋποθέσεις και postconditions που χαρακτηρίζουν τη συμπεριφορά του κώδικα Java και είναι χρήσιμες για τη λευκή κώδικα κουτί επιθεωρήσεις. Εντοπίζει συνθήκες του αγώνα, ο δείκτης εκτός ορίων, υπερχειλίσεις, διαιρέστε με μηδέν, νεκρός κώδικα, αχρησιμοποίητο αναθέσεις, πάντα θα δοκιμές έναν τρόπο, ή να πεταχτεί εξαιρέσεις. Αυτό είναι ένα 45 ημερών δοκιμαστική έκδοση που υποστηρίζει έως και 200 κατηγορίες. Το προϊόν περιέχει μια έκδοση του JRE της Sun
Απαιτήσεις :.
Windows XP / Server 2003
Περιορισμοί :
45-day trial
Τα σχόλια δεν βρέθηκε