Міністерство освіти і науки України Національний університет „Львівська політехніка” Кафедра ЕОМ Звіт з лабораторної роботи №1 на тему: „Тестування АЛП” Підготував: ст. гр. СКС-5 Львів 2006 Мета роботи: ознайомлення з загальною схемою тестування цифрової техніки. Засвоєння методів та засобів тестування комбінаційних схем на прикладі арифметико-логічного пристрою (АЛП). Необхідно розробити програму тестування АЛП, описати поведінку еталонного АЛП (створити еталон), за результатами тестування АЛП визначити несправні елементі досліджуваного пристрою, несправні контакти визначених елементів та тип несправності (обрив, закоротка). Короткі теоретичні відомості. Основні принципи тестування, налагодження і контролю. Основний принцип тестування, налагодження і контролю – це порівняння результатів роботи досліджуваного взірця (об'єкта) тестування і еталонного взірця – еталона (рис. 1). n Результати (Р) Генератор Тестових Послідовностей (ГТП) Тести = = Об'єкт Помилка n Еталонні результати (Е) Еталон Рис.1. Структурна схема тестування, налагодження і контролю Тестові послідовності з генратора тестових послідовностей (ГТП) подаються одночасно на об’єкт тестування і на еталон. Схема порівняння перевіряє на збігання результати роботи об’єкта з еталонними результатами. У випадку незбігання результатів на виході схеми порівняння формується ознака несправності – сигнал “Помилка”. Еталони можуть бути найрізноманітнішими (рис.2). Еталон-модель регулювальник може тримати на папері – в технічних умовах (ТУ) на об’єкт і тоді порівняня результатів робить людина. При використанні засобів автоматизації модель може зберігатися у вигляді файлів. Наприклад, якщо об’єкт повинен обраховувати занчення y=sin(x), то для кожного тестового значення, засоби автоматизації також можуть обраховувати значення сінуса (функціональна модель). Або ці значення вже наперед обраховані і зберігаються у вигляді моделі (таблична модель). Еталон-взірець може повністю збігатися за своїми характеристиками з об’єктом. Може бути простішим за нього. Наприклад, якщо перевіряється робота об’єкта, який має в своєму складі канал RS-232 і контролер ЛОМ, то під час перевірки роботи по каналу RS-232 немає необхідності, щоб еталон мав в собі контролер ЛОМ. реальний взірець модель “на папері” програмна повний еквівалент об’єкту, що тестуєм спрощений об’єкт ускладнений об’єкт таблична функціональна еталон Рис. 2. Класифікація еталонів Еталон може бути складнішим за об’єкт, наприклад, під час перевірки реакції об’єкта на нештатну ситуацію – збій парності при роботі по каналу, яку неускладнений працездатний об’єкт ніколи допустити не може. Загальна схема випробовування цифрових пристроїв При налагодженні цифрових пристроїв найчастіше користуються еталоном-моделлю. В цьому випадку загальна схема випробовування цифрових пристроїв набуває вигляду рис. 3, де позначено: ГТП – генератор тестових послідовностей; ГЕП – генератор еталонних послідовностей; Еталон (Е) Результати (Р) Рис. 3. Загальна схема випробовування цифрових пристроїв n n n Об'єкт = = Тести (Т) Маскування результатів (М) Помилка ГТП ГЕП ГМП ГМП – генератор масочних послідовностей. Маскування дозволяє проводити порівняння лише коли відомі еталонні значення (коли усунуті всі невизначені стани об’єкта). Маскування дозволяє також перевіряти тільки визначений набір вихідних сигналів об’єкта. Вузол порівння формує сигнал помилки згідно з формулою Помилка = ( P0 ≠ E0 ) & M0 v ( P1 ≠ E1 ) & M1 v … v ( Pn-1 ≠ En-1 ) & Mn-1, де n – кількість двійкових розрядів результата (еталона, маски). Генератори можуть мати різну складність – від простих тумблерів і кнопок до спеціалізованих комп’ютерів. Схема порівняння також може бути реалізована по різному. Це може бути просто візуальнп перевірка стану індикаторів, яку робить людина, і це може бути спеціалізований комп’ютер, який в реальному масштабі часу накопичує результати роботи об’єкта і робить їхнє апарат...