Εξαγωγή Διανυσμάτων Δοκιμής Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών
Περίγραμμα ργρ Παρουσίασης Είδη Συνόλων Δοκιμής Ντετερμινιστικά σύνολα δοκιμής Συμβολισμοί και Βασικές λειτουργίες D PODEM FAN Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών 2
Είδη Συνόλων Δοκιμής Δεν λαμβάνουν υπόψη τους συγκεκριμένο μοντέλο σφαλμάτων» Εξαντλητικός έλεγχος (Exhaustive)(» Ψευδοεξαντλητικός έλεγχος (Pseudoexhaustive) Λαμβάνουν υπόψη τους συγκεκριμένο μοντέλο σφαλμάτων» Τυχαία διανύσματα δοκιμής (Random)» Ψευδοτυχαία διανύσματα δοκιμής (Pseudorandom-PR)» Ντετερμινιστικό σύνολο δοκιμής (Deterministic) Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών 3
Τυχαία και ψευδοτυχαία σύνολα δοκιμής Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών 4
Σφάλματα που δεν ανιχνεύονται εύκολα με ψευδοτυχαία διανύσματα Παράδειγμα Test set 0 0 0 0 0 x x 2 x 3 x 4 x 5 y Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών 5
Κάλυψη σφαλμάτων δ. Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών 6
Κάλυψη σφαλμάτων δ.2 Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών 7
Ντετερμινιστικά σύνολα δοκιμής Είδη» Algebraic - Boolean Difference» Algorithmic - D-Algorithm - PODEM Goel - FAN Fujiwara - Critical paths Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών 8
Αλγεβρική εξαγωγή διανυσμάτων δοκιμής δ. Η ανίχνευση σφάλματος απαιτεί R R f =, όπου R: απόκριση του κυκλώματος που δεν έχει σφάλμα Rf: απόκριση του κυκλώματος με σφάλμα Εάν το σφάλμα είναι σε κάποια από τις κύριες εισόδους του κυκλώματος τότε : f( x, K, x = 0, K, x ) f( x, K, x =, K, x ) = i n i n Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών 9
Αλγεβρική εξαγωγή διανυσμάτων δοκιμής δ.22 Boolean difference : fx (, K, x= 0, K, x) fx (, K, x=, K, x) = i n i n or df(x)/dx i : Η επίλυση της εξίσωσης δίνει τις τιμές των κυρίων εισόδων πού επιτρέπουν την παρατηρησημότητα ενός απλού σφάλματος μόνιμης τιμής στην κύρια είσοδο xi του κυκλώματος Τα διανύσματα δοκιμής τότε δίνονται από την επίλυση των σχέσεων: x i df(x)/dx i = for s-a-0 & x i ' df(x)/dx i = for s-a- Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών 0
Παράδειγμα αλγεβρικής εξαγωγής διανυσμάτων δοκιμής Ι (/2) x x2 x3 g f f(x) = x x 2 +x 3 Θα μελετήσουμε τα απλά σφάλματα μόνιμης τιμής στην είσοδο x2. df (x)/dx 2 = x 3 (x + x 3 ) = x 3 x = x = and x 3 = 0. Τότε τα διανύσματα δοκιμής είναι: για SA x x 2 x 3 = (00) και για SA0 x x 2 x 3 = (0) Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών
Παράδειγμα αλγεβρικής εξαγωγής διανυσμάτων δοκιμής Ι (2/2) f(x) = x x 2 +x 3 Απλά σφάλματα μόνιμης τιμής στην είσοδο x3 df (x)/dx 3 = x x 2 = (x x 2 ) = x x 2 = (00) or (0) or (0) Τότε τα διανύσματα δοκιμής είναι : for x 3 / x x 2 x 3 = (000) or (00) or (00) and for x 3 /0 x x 2 x 3 = (00, 0, or 0) Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών 2
Παράδειγμα αλγεβρικής εξαγωγής διανυσμάτων δοκιμής ΙΙ x x2 x3 g f f(x) ( ) = x x 2 + x 3= g (x) + x 3 Απλά σφάλματα μόνιμης τιμής στον κόμβο g df (x, g(x))/dg(x) = x 3 = x 3 = x 3 = 0 Για SA0 g(x) πρέπει να είναι ίσο με, γι αυτό x x 2 = x = x 2 = Για SA g(x) πρέπει να είναι ίσο με 0, γι αυτό x x 2 = 0 (x x 2 ) = (00) or (0) or (0) Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών 3
Αλγοριθμική εξαγωγή διανυσμάτων δοκιμής Algorithmic» D-Algorithm» PODEM» FAN» Critical paths Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών 4
Βασικές λειτουργίες στην αλγοριθμική εξαγωγή διανυσμάτων δοκιμής Ενεργοποίηση σφάλματος (controllability) Διάδοση σφάλματος (observability) Υποστήριξη τιμής μιας γραμμής (Line justification) Συνεπαγωγή γή (Implication) p Αναδρομή (Backtracking) Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών 5
Βασικές λειτουργίες Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών 6
Συνεπαγωγή 0 x 0 x 0 0 0 x 0 Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών 7
Υποστήριξη τιμής 0 0 0 Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών 8
Ορολογία D ο κόμβος έχει τη λογική τιμή όταν το κύκλωμα δεν έχει σφάλμα και τη λογική τιμή 0 όταν έχει σφάλμα D ο κόμβος έχει τη λογική τιμή 0 όταν το κύκλωμα δεν έχει σφάλμα και τη λογική τιμή όταν έχει σφάλμα Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών 9
Ενεργοποίηση σφάλματος και διάδοση σφάλματος Για να ενεργοποιήσουμε ένα σφάλμα πρέπει να θέσουμε τον κόμβο που έχει το σφάλμα σε μια τιμή που είναι συμπληρωματική της τιμής του σφάλματος Για να διαδώσουμε δώ το σφάλμα πρέπει να κάνουμε τις συνέπειες του σφάλματος να εμφανιστούν σε κάποια έξοδο του κυκλώματος ως D ή D. Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών 20
Πράξεις συνόλων AND 0 x D D' OR 0 x D D' A A' 0 0 0 0 0 0 0 0 x D D 0 0 x D D x 0 x x x x x x x x x x D 0 D x D 0 D D x D D 0 x D' D' 0 D x 0 D' D' D x D' D' D Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών 2
Εξαγωγή γή διανύσματος δοκιμής G2 G4 C G3 G5 B A G X s/0 Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών 22
Ενεργοποίηση η σφάλματος G2 G4 C G3 G5 B= A G X D s/0 Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών 23
Διάδοση σφάλματος G2 G4 C=0 G3 D G5 B= A G X D s/0 Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών 24
Συνεπαγωγή γή G4 G2 C=0 G3 D G5 B= A G X D s/0 Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών 25
Συνεπαγωγή G4 0 G2 C=0 G3 D G5 B= A G X D s/0 Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών 26
Συνεπαγωγή αντίφαση G4 0 G2 C=0 G3 D G5 B= A G X D s/0 Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών 27
Αναδρομή G4 G2 C G3 G5 B A G X s/0 Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών 28
Ενεργοποίηση η σφάλματος G2 G4 C G3 G5 B A= G X D s/0 Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών 29
Διάδοση σφάλματος G2 G4 C=0 G3 D G5 B A= G X D s/0 Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών 30
Συνεπαγωγή γή G4 G2 C=0 G3 D G5 B A= G X D s/0 Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών 3
Διάδοση σφάλματος G4 G2 C=0 G3 D G5 B A= G X D s/0 Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών 32
Υποστήριξη τιμής G4 G2 C=0 G3 D G5 B=0 A= G X D s/0 Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών 33
Εξαγωγή γή διανύσματος δοκιμής G4 G2 C=0 G3 D G5 D B=0 A= G X D s/0 Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών 34
Λογική εξομοίωση * G4 G2 C=0 G3 G5 0 B=0 A= G Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών 35
Εξομοίωση σφαλμάτων* Ι G4 G2 C=0 B=0 A= G G3 G5 X 0 s/0 Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών 36
Εξομοίωση σφαλμάτων* ΙΙ G4 G2 s/0 X 0 C=0 G3 G5 0 B=0 A= G Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών 37
Εξομοίωση σφαλμάτων* III G2 0 G4 X s/0 0 C=0 G3 G5 B=0 A= G Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών 38
Εξαγωγή γή διανύσματος δοκιμής G2 G4 X s/0 C G3 G5 B A G Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών 39
Αλγόριθμος D Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών 40
Αλγόριθμος D- παράδειγμα D 0 D 0? 0 : D frontier Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών 4
Αλγόριθμος D- παράδειγμα (συνεχίζεται) D Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών 42
Αλγόριθμος D- παράδειγμα (συνεχίζεται) D 0 D D D 0 Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών 43
Ενεργοποίηση σφάλματος και διάδοση σφάλματος inputs outputs A B C G F E Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών 44
Μέτρα δοκιμαστικότητας (Testability Measures - TM) /2 Η εξαγωγή ενός διανύσματος δοκιμής απαιτεί:» τον έλεγχο της τιμής ενός κόμβου του κυκλώματος από τις κύριες εισόδους του (controlling a point in the circuit from the primary inputs)» παρατήρηση της τιμής ενός εσωτερικού κόμβου του κυκλώματος από τις κύριες εξόδους του (observing the results at a primary output) Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών 45
Μέτρα δοκιμαστικότητας (Testability Measures - TM) 2/2 Η εκτίμηση της ελεγξιμότητας και παρατηρησιμότητας ενός κόμβου του κυκλώματος μπορεί να είναι χρήσιμη για τον προσδιορισμό της ευκολίας ή δυσκολίας εξαγωγής διανυσμάτων δοκιμής Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών 46
SCOAP Τρία μέτρα για συνδυαστικά και τρία για ακολουθιακά κυκλώματα Συνδυαστικά μέτρα δοκιμαστικότητας» CC0: Συνδυαστική Ελεγξιμότητα για 0 (Combinational Controllability to 0)» CC: Συνδυαστική Ελεγξιμότητα για (Combinational Controllability to )» CO : Συνδυαστική Παρατηρησιμότητα (Combinational Observability) Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών 47
SCOAP αρχικές τιμές μς Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών 48
Υπολογισμός ελεγξιμότητας της εξόδου μιας πύλης από τις ελεγξιμότητες των εισόδων της Εάν η τιμή εξόδου μιας λογικής πύλης καθορίζεται θέτοντας μόνο μια είσοδό της σε μια τιμή ελέγχου τότε: ελεγξιμότητα εξόδου = ελεγξιμότητα της εισόδου που έχει την ελάχιστη τιμή + Εάν για να θέσουμε την έξοδο μιας λογικής πύλης σε μια τιμή πρέπει να θέσουμε όλες τις εισόδους της σε συγκεκριμένες λογικές τιμές, τότε: ελεγξιμότητα εξόδου = το άθροισμα των ελεγξιμοτήτων όλων των εισόδων της πύλης + Eάν μπορούμε να θέσουμε την έξοδο μιας λογικής πύλης σε μια τιμή, θέτοντας τις εισόδους της εναλλακτικά σε περισσότερους ρ από έναν συνδυασμούς διαφορετικών τιμών τότε: ελεγξιμότητα εξόδου = το αθροίσμα των ελεγξιμοτήτων του συνδυασμού τιμών που οδηγεί στην ελάχιστη τιμή ελεγξιμότητας + Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών 49
Παραδείγματα υπολογισμού ελεγξιμότητας A Z CC(Z) = CC0(A)+ CC0(Z) = CC(A) + A B Z CC0(Z) = min { CC0(A), CC0(B)} + CC(Z)=CC(A) + CC(B) + A CC(Z) = min { CC(A), Z CC(B )} + B CC0(Z)=CC0(A) + CC0(B) + A B Z CC(Z) = min {(CC(A) + CC0(B)), (CC0(A) + CC(B))} + CC0(Z) = min {(CC(A) + CC(B)), (CC0(A) + CC0(B))} + Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών 50
Υπολογισμός παρατηρησημότητας ημ η Η παρατηρησημότητα της εισόδου μιας λογικής πύλης ισούται με το άθροισμα της παρατηρησημότητας της εξόδου της λογικής πύλης και των ελεγξιμοτήτων των άλλων εισόδων της πύλης για τιμές μη ελέγχου Σε ένα σημείο διακλάδωσης η παρατηρησημότητα του μίσχου (stem) ισούται με την παρατηρησημότητα του κλάδου που έχει τη μικρότερη τιμή παρατηρησημότητας Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών 5
Παραδείγματα υπολογισμού της παρατηρησημότητας A Z CO(A) = C0(Z)+ A CO(B) = CO(Z) + CC(A)+ Z B CO(A) = CO(Z) + CC(B) + A CO(A) = CO(Z) + CC0(B) + Z B CO(B) = CO(Z) + CC0(A) + A CO(A) = CO(Z) + min {CC0(B), CC(B)} + Z B CO(B) = CO(Z) + min {CC0(A), CC(A)} + A Z 2... Z CO(A) = min {CO(Z ), CO(Z 2 ), C0(Z 3 ), } Z K Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών 52
Ανάλυση δοκιμαστικότητας: Παράδειγμα C G F A B C B A A2 B2 C2 G2 G3 H H H2 G G4 G5 Y Z Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών 53
Αλγόριθμος PODEM Ι Υπολογισμός των μέτρων δοκιμαστικότητας για κάθε κόμβο του κυκλώματος. Επιλογή σφάλματος. Βασιζόμενοι στα μέτρα ελεγξιμότητας επιλέγουμε στόχο για την ενεργοποίηση η του σφάλματος. Βασιζόμενοι στα μέτρα ελεγξιμότητας μετακινούμε το στόχο (ιχνηλάτηση) σε μια κύρια είσοδο. Αποδίδουμε την τιμή στην κύρια είσοδο και κάνουμε συνεπαγωγή. Εάν δεν ενεργοποιήθηκε το σφάλμα επαναλαμβάνουμε τη διαδικασία καθορισμού στόχου, μετακίνησης στόχου σε κάποια από τις κύριες εισόδους και συνεπαγωγή. Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών 54
Αλγόριθμος PODEM ΙΙ Εάν σε κάποιο βήμα προκύψει αντίφαση, στην κύρια είσοδο που έλαβε τελευταία τιμή δίνουμε τη συμπληρωματική της τιμή (αναδρομή) και κάνουμε συνεπαγωγή. Εάν το σφάλμα δεν ενεργοποιήθηκε και δεν υπάρχει άλλος συνδυασμός τιμών εισόδου, τότε το σφάλμα είναι μη ανιχνεύσιμο. Εάν το σφάλμα ενεργοποιήθηκε, τότε βασιζόμενοι στα μέτρα παρατηρησημότητας ημ η επιλέγουμε πύλη και θέτουμε στόχο για τη διάδοση των συνεπειών του σφάλματος μέσω αυτής της πύλης. Βασιζόμενοι στα μέτρα ελεγξιμότητας μετακινούμε το στόχο (ιχνηλάτηση) σε μια κύρια είσοδο. Αποδίδουμε την τιμή στην κύρια είσοδο και κάνουμε συνεπαγωγή. Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών 55
Αλγόριθμος PODEM ΙΙΙ Εάν οι συνέπειες του σφάλματος, δηλαδή το D ή το D, δεν έφτασαν σε κάποια από τις κύριες εξόδους του κυκλώματος, επαναλαμβάνουμε τη διαδικασία καθορισμού στόχου, μετακίνησης στόχου σε κάποια από τις κύριες εισόδους και κάνουμε συνεπαγωγή. Εάν σε κάποιο βήμα προκύψει αντίφαση, στην κύρια είσοδο που έλαβε τελευταία τιμή δίνουμε τη συμπληρωματική της τιμή (αναδρομή) ρ και κάνουμε συνεπαγωγή. γή Εάν το D ή το D δεν διαδόθηκε σε κάποια από τις κύριες εξόδους του κυκλώματος και δεν υπάρχει άλλος συνδυασμός τιμών εισόδου, τότε το σφάλμα είναι μη ανιχνεύσιμο. Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών 56
Ιχνηλάτηση η η (Backtrace) επιλογή αρχικού στόχου για ενεργοποίηση σφάλματος επιλογή επόμενου στόχου επιλογή μιας πύλης από το μέτωπο των D για γατην διάδοση δάδοσητου D Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών 57
Παράδειγμα εφαρμογής του αλγόριθμου PODEM (0, G 2 ) (X 2,) (X 3, ) Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών 58
Παράδειγμα εφαρμογής του αλγόριθμου PODEM II = =0 (D, G 5 ) =D D frontier: { G5, G6} Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών 59
Παράδειγμα εφαρμογής του αλγόριθμου PODEM III = =0 =D =D D frontier: { G6, G8} Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών 60
Παράδειγμα εφαρμογής του αλγόριθμου PODEM IV-b =0 = =D =D (0, x 4 ) = (, G 6 ) =0 D frontier: { G6, G8} Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών 6
Παράδειγμα εφαρμογής του αλγόριθμου PODEM IV-a =0 = =D =D (D, G 8 ) (, x 4 ) (0, G 3 ) (, G 7 ) D frontier: { G6, G8} Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών 62
Παράδειγμα εφαρμογής του αλγόριθμου PODEM V-a =0 = =D =D =D =D (, x 4 ) (0, G 3 ) (, G 7 ) Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών 63
FAN Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών 64
Μονοπάτια μοναδικής διάδοσης Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών 65
Ευαισθητοποίηση των μονοπατιών μοναδικής διάδοσης Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών 66
Στρατηγική Ευαισθητοποιήστε τα μονοπάτια μοναδικής διάδοσης Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών 67
Επικεφαλείς γραμμές & Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών 68
Στρατηγική 2 Σταματήστε την ιχνηλάτηση σε μια επικεφαλής γραμμή και αναβάλλετε την υποστήριξη της τιμής της για αργότερα Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών 69
Πολλαπλές ιχνηλατήσεις Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών 70
Στρατηγική 3 Εάν με την πολλαπλή ιχνηλάτηση σ' ένα σημείο διακλάδωσης προκύψουν περισσότεροι από ένας διαφορετικοί στόχοι, τότε πρέπει να σταματήσουμε την ιχνηλάτηση και να δώσουμε σ' αυτό το σημείο μια λογική τιμή Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών 7
Παράδειγμα ιχνηλάτησης που συνεχίζεται [6, 0] [, 0] [, 0] [, 0] [, 0] [, 0] [, 0] -- # 0 s = Σ Branch # 0 s, # s = Σ Branch # s Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών 72
Παράδειγμα ιχνηλάτησης πού σταματά σε σημείο διακλάδωσης [, 4] [5, 0] [, 0] [0, 2] [0, ] [0, ] [5, 0] -- # 0 s = Σ Branch # 0 s, # s = Σ Branch # s Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών 73
Παράδειγμα εφαρμογής του FAN D 0 D D D 0 Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών 74
Σύγκριση FAN και PODEM Χρόνος υπολογισμού Μέσος αριθμός αναδρομών ανά σφάλμα Circuit PODEM FAN PODEM FAN 3.3 49 4.9 2.2 2 3.6 42.3 5.2 3 5.6 6.9 0.6 4.9 5.0 0.2 5 4.8 53.0 23.2 Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών 75
Κύρια χαρακτηριστικά D, PODEM και FAN αλγόριθμος D PODEM FAN χώρος όλοι οι όλες οι κύριες οι επικεφαλείς γραμμές απόδοσης κόμβοι του είσοδοι του και τα σημεία τιμών κυκλώματος κυκλώματος διακλάδωσης σειρά εξαρτάται σε μια κύρια πρώτα σε σημεία διακλάδωσης με απόδοσης τιμών από την υλοποίηση είσοδο κάθε φορά αντιφατικούς στόχους και μετά σε επικεφαλείς γραμμές ευριστικές μέθοδοι καμία μέτρα δοκιμαστικότητας μέτρα δοκιμαστικότητας και πρόσθετες στρατηγικές Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών 76
Συμπίεση του συνόλου δοκιμής (Test Set Compaction) Δυναμική συμπίεση Στατική συμπίεση» πλήρως ορισμένων διανυσμάτων δοκιμής» διανυσμάτων δοκιμής με αδιάφορους όρους Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών 77
Συνδυασμός ψευδοτυχαίου και ντετερμινιστικού τρόπου εξαγωγής διανυσμάτων δοκιμής Φτιάξε τη λίστα σφαλμάτων Περήγαγε ψευδοτυχαίο διάνυσμα δοκιμής Εξομοίωση σφαλμάτων Αφαίρεσε από τη λίστα τα σφάλματα που ανιχνεύτηκαν όχι Ικανοποιείται η συνθήκη ή άδεια λίστα σφαλμάτων; ναι Άδεια λίστα σφαλμάτων; όχι Για τα υπόλοιπα σφάλματα εφάρμοσε ντετερμενιστικό τρόπο εξαγωγής διανυσμάτων δοκιμής περιγραφή κυκλώματος Αποτελέσματα Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών 78
Συνδυασμός ψευδοτυχαίου και ντετερμινιστικού τρόπου εξαγωγής διανυσμάτων δοκιμής με εξομοίωση σφαλμάτων περιγραφή κυκλώ- ματος Φτιάξε λίστα σφαλμάτων Παρήγαγε ψευδοτυχαίο διάνυσμα Κάνε εξομοίωση σφαλμάτων Επέλεξε ένα σφάλμα από τη λίστα σφαλμάτων Εξήγαγε ντετερμινιστικά ένα διάνυσμα δοκιμής για το σφάλμα αυτό όχι Αφαίρεσε από τη λίστα όλα τα σφάλματα που ανιχνεύτηκαν Η συνθήκη ικανοποιείται ή ηλίστα σφαλμάτων είναι άδεια; Κάνε εξομοίωση σφαλμάτων Αφαίρεσε από τη λίστα τα σφάλματα που ανιχνεύονται από το διάνυσμα δοκιμής ναι Άδεια λίστα σφαλμάτων; ναι όχι Άδεια λίστα σφαλμάτων ή επιθυμητή κάλυψη σφαλμάτων; Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών ναι όχι Αποτελέσματα 79