A technique for producing a test executable in a computer. The technique
involves forming multiple instruction streams. The technique further
involves dividing the multiple instruction streams into portions, and
generating a combined instruction stream having the portions interleaved.
Additionally, the technique involves creating a test executable from the
combined instruction stream. The test executable can be used for testing a
simulated processor in a computer. In particular, the test executable is
loaded. Then, the test executable is run through the simulated processor
to generate processor results and through a reference model to generate
reference results. The processor results and the reference results are
compared to determine whether the simulated processor operates correctly.
Μια τεχνική για μια δοκιμή εκτελέσιμη σε έναν υπολογιστή. Η τεχνική περιλαμβάνει τη διαμόρφωση των πολλαπλάσιων ρευμάτων οδηγίας. Η τεχνική περιλαμβάνει περαιτέρω τη διαίρεση των πολλαπλάσιων ρευμάτων οδηγίας σε μερίδες, και την παραγωγή ενός συνδυασμένου ρεύματος οδηγίας που έχει τις μερίδες. Επιπλέον, η τεχνική περιλαμβάνει τη δημιουργία μιας δοκιμής εκτελέσιμης από το συνδυασμένο ρεύμα οδηγίας. Η δοκιμή εκτελέσιμη μπορεί να χρησιμοποιηθεί για τη δοκιμή ενός μιμούμενου επεξεργαστή σε έναν υπολογιστή. Ειδικότερα, η δοκιμή εκτελέσιμη φορτώνεται. Κατόπιν, η δοκιμή εκτελέσιμη οργανώνεται μέσω του μιμούμενου επεξεργαστή για να παραγάγει τα αποτελέσματα επεξεργαστών και μέσω ενός προτύπου αναφοράς για να παραγάγει τα αποτελέσματα αναφοράς. Τα αποτελέσματα επεξεργαστών και τα αποτελέσματα αναφοράς συγκρίνονται για να καθορίσουν εάν ο μιμούμενος επεξεργαστής λειτουργεί σωστά.
