Disclosed is a device and method for testing of a program or a design of an electronic device comprising digital logic circuitry. The method comprises testing the design of software or an electronic device and injecting, after initiation of the testing step, a predetermined error pattern into a value operated upon by the design of the digital logic circuitry. In a preferred embodiment, the software is a simulation of the design of a processor having a cache with error detection and/or correction circuitry. A triggering condition is preferably a cache hit, in response to which a detectable error is injected into the cache. The simulated operations of the model are observed to determine whether the injected error is detected, as should happen if the processor's error detection circuitry has been designed properly. In another respect, the invention is an apparatus, or computer software embedded on a computer readable medium, for testing a program comprising an error detector. The apparatus or software comprises the program, an error injector module connected to the program; and a checker module connected to the program. The checker module is capable of determining whether the program responds appropriately to an error dynamically produced by the error injector module during execution of the program. By injecting errors dynamically the invention easily facilitates precisely focused testing at any time during simulated operation regardless of initialization conditions.

Αποκαλύπτονται μια συσκευή και μια μέθοδος για τη δοκιμή ενός προγράμματος ή ένα σχέδιο μιας ηλεκτρονικής συσκευής περιλαμβάνοντας τα ψηφιακά στοιχεία κυκλώματος λογικής. Η μέθοδος περιλαμβάνει τη δοκιμή του σχεδίου του λογισμικού ή μιας ηλεκτρονικής συσκευής και την έγχυση, μετά από την έναρξη του εξεταστικού βήματος, ενός προκαθορισμένου σχεδίου λάθους σε μια αξία που χρησιμοποιείται επάνω από το σχέδιο των ψηφιακών στοιχείων κυκλώματος λογικής. Σε μια προτιμημένη ενσωμάτωση, το λογισμικό είναι μια προσομοίωση του σχεδίου ενός επεξεργαστή που έχει μια κρύπτη με τα στοιχεία κυκλώματος ανίχνευσης ή/και διορθώσεων λάθους. Ένας προκαλώντας όρος είναι κατά προτίμηση ένα χτύπημα κρύπτης, σε απάντηση στο οποίο ένα ανιχνεύσιμο λάθος εγχέεται στην κρύπτη. Οι προσομοιωμένες διαδικασίες του προτύπου παρατηρούνται για να καθορίσουν εάν το εγχεθμένο λάθος ανιχνεύεται, όπως πρέπει να συμβούν εάν τα στοιχεία κυκλώματος ανίχνευσης λάθους του επεξεργαστή έχουν σχεδιαστεί κατάλληλα. Από μια άλλη άποψη, η εφεύρεση είναι μια συσκευή, ή λογισμικό υπολογιστών που ενσωματώνεται σε ένα αναγνώσιμο μέσο υπολογιστών, για τη δοκιμή ενός προγράμματος που περιλαμβάνει έναν ανιχνευτή λάθους. Η συσκευή ή το λογισμικό περιλαμβάνει το πρόγραμμα, μια ενότητα εγχυτήρων λάθους που συνδέεται με το πρόγραμμα και μια ενότητα ελεγκτών σύνδεσε με το πρόγραμμα. Η ενότητα ελεγκτών είναι σε θέση εάν το πρόγραμμα αποκρίνεται κατάλληλα σε ένα λάθος που παράγεται δυναμικά από την ενότητα εγχυτήρων λάθους κατά τη διάρκεια της εκτέλεσης του προγράμματος. Με την έγχυση των λαθών δυναμικά η εφεύρεση διευκολύνει εύκολα την ακριβώς δοκιμή οποιαδήποτε στιγμή κατά τη διάρκεια της προσομοιωμένης λειτουργίας ανεξάρτητα από τους όρους έναρξης.