To tylko jedna z 17 stron tej notatki. Zaloguj się aby zobaczyć ten dokument.
Zobacz
całą notatkę
Testowanie z zastosowaniem techniki kompresji odpowiedzi Definicja Kompresją K wyników testowania nazywamy jednoznaczne przekształcenie zbioru możliwych ciągów reakcji na ciąg wymuszeń elementarnych , w zbiór elementów alfabetu abstrakcyjnego
Metody kompresji zliczanie wartości (zero lub jeden),
zliczanie przejść z lub ,
kontrola parzystości,
syndrom,
analiza sygnatur. Zliczanie jedynek Dla układu C z jednym wejściem, odpowiedź Układ kompresji: licznik
Stopień kompresji: Przykład gdzie: - wartość wyjściowa dla układu zdatnego;
- wartość wyjściowa dla układu z uszkodzeniem s-a-1;
- wartość wyjściowa dla układu z uszkodzeniem s-a-0;
Rozważmy układ testowany za pomocą m -losowych wektorów.
Niech :
Jeżeli błędnych sekwencji są jednakowo prawdopodobne to - jest prawdopodobieństwem maskowania.
Charakterystyki metody zliczania wartości: prawdopodobieństwo maskowania jest najniższe gdy wartość sygnatury leży na krańcach przedziału i wzrasta do wartości maksymalnej dla ;
dla lub m , nie występuje maskowanie;
uszkodzenie generujące nieparzystą liczbę błędów w sekwencji odpowiedzi jest zawsze wykrywane, jeżeli liczba błędów jest parzysta, uszkodzenie może być niewykryte.
TWIERDZENIE Prawdopodobieństwo maskowania błędu dla układu kombinacyjnego przy zastosowaniu metody zliczania jedynek dąży do wartości .
Zliczanie przejść - oznacza operację dodawania modulo 2
Stopień kompresji: Przykład Niech T będzie sekwencją testową o długości m dla układu N i - odpowiedzią układu zdatnego, gdzie: .
Niech będzie sekwencją o długości m . ma miejsc (granic) gdzie może nastąpić zamiana . Istnieje różnych sposobów zmian takich, że będzie miała liczbę przejść r . Zatem istnieje różnych ciągów.
Liczba sekwencji błędnych:
Prawdopodobieństwo maskowania:
Funkcja ta ma podobne właściwości jak w przypadku zliczania jedynek.
Kompresja z kontrolą parzystości Analiza sygnatur Ciągi bitów danych pojawiających się w jednym punkcie układu można przedstawić w postaci wielomianu binarnego jednej zmiennej:
gdzie:
- operator przesunięcia o kwant czasu;
- dana pojawiająca się w chwili i ;
- iloczyn logiczny (koniunkcja);
- suma modulo 2 (różnica symetryczna);
... zobacz całą notatkę
Komentarze użytkowników (0)