Лабораторная работа: Контроль і діагностика програмних систем

Під час виконання роботи я засвоїла основні методи контролю помилок.

Міністерство освіти і науки

Відкритий міжнародний університет розвитку людини ”Україна”

Лабораторна робота №2

З предмету:

Контроль і діагностика програмних систем

На тему:

Построение груповых кодов и их применение для обнаружения и исправления ошибок

Виконав студент групи ПА-41

Руденко О.

Перевірив викладач

Капшук О.О.

Київ – 2010

Лабораторна робота №2

Теоретична частина

Лінійним блоковим (n,k) кодом – називається безліч N послідовностей довжини n над GF(q), званих кодовими словами, які характеризується тим, що сума двох кодових слів є кодовим словом, а твір будь-якого кодового слова на елемент поля також є кодовим словом.

Зазвичай N=qk, де до - деяке ціле число. Якщо q=2, лінійні коди називаються груповими, оскільки кодові слова утворюють математичну структуру, звану групою. При формування цієї коди лінійною операцією є підсумовування по mod2.

Способи завдання лінійних кодів

1. Перерахуванням кодових слів, тобто складанні списку всіх кодових слів коди.

Приклад. У таблиці 1 представлені всі кодові слова (5,3) - коди (ai - інформаційні, а bi - перевірочні символи).

Таблиця 1
№	a1	a2	a3	b1	b2
1	0	0	1	1	0
2	0	1	0	1	1
3	0	1	1	0	1
4	1	0	0	0	1
5	1	0	1	1	1
6	1	1	0	1	0
7	1	1	1	0	0
8	0	0	0	0	0

2. Системою перевірочних рівнянь, що визначають правила формування перевірочних символів по відомих інформаційних:

де

j - номер перевірочного символу;

i - номер інформаційного символу;

hij - коефіцієнти, що приймають значення 0 або 1 відповідно до правил формування конкретних групових код.

Приклад. Для коди (5,3) перевірочні рівняння мають вигляд:

b1= a2 + a3;

b2= a1 + a2.

3. Матричне, засноване на побудові матриць, що породжують і перевірочної.