Портал освітньо-інформаційних послуг «Студентська консультація»

  
Телефон +3 8(066) 185-39-18
Телефон +3 8(093) 202-63-01
 (093) 202-63-01
 studscon@gmail.com
 facebook.com/studcons

<script>

  (function(i,s,o,g,r,a,m){i['GoogleAnalyticsObject']=r;i[r]=i[r]||function(){

  (i[r].q=i[r].q||[]).push(arguments)},i[r].l=1*new Date();a=s.createElement(o),

  m=s.getElementsByTagName(o)[0];a.async=1;a.src=g;m.parentNode.insertBefore(a,m)

  })(window,document,'script','//www.google-analytics.com/analytics.js','ga');

 

  ga('create', 'UA-53007750-1', 'auto');

  ga('send', 'pageview');

 

</script>

Оптимізація послідовностей тест-векторів в процесі тестового комбінованого діагностування цифрових мікропроцесорних пристроїв

Тип роботи: 
Автореферат
К-сть сторінок: 
28
Мова: 
Українська
Оцінка: 

на оптимізацію послідовностей, які призначаються для тестування об’єкта діагностування в статичних режимах роботи і не враховують особливостей прояву несправностей динамічного типу.

Серед особливостей прояву несправностей динамічного типу слід відзначити те, що вони визначаються не потенційними значеннями сигналів, які подаються на входи об’єкта діагностування під час тестових випробувань, а перехідними процесами, які виникають при зміні вказаних значень. Це пояснює можливість прояву впливу несправностей динамічного типу не лише при перевірці об’єкта діагностування за допомогою окремих блоків тест-векторів, але й під час зміни одного блока тест-векторів іншим.
Зазначений чинник не враховується на сьогоднішній день при побудові та оптимізації послідовностей тест-векторів, що призводить до зниження достовірності процесу діагностування цифрових мікропроцесорних пристроїв.
Другий розділ присвячений розробці математичної моделі, а також методик та алгоритмів підготовки вихідних даних і оптимізації послідовностей тест-векторів.
При розробці математичної моделі була визначена необхідність наявності засобів для опису та аналізу наступних множин:
Mкт – множина контрольних точок об’єкта діагностування;
L – множина станів об’єкта діагностування;
Т – множина блоків тест-векторів, розроблених для ідентифікації станів об’єкта діагностування.
Кожен блок тест-векторів tiT, в свою чергу, складається з множини тест-векторів Тi, яка характеризується певною кількістю тест-векторів та визначеним порядком їх слідування.
Зважаючи, що вплив несправностей динамічного типу може виявлятися під час зміни одного блока тест-векторів іншим, в роботі запропоновано враховувати перевіряючі здатності сукупностей блоків тест-векторів. Зазначені перевіряючі здатності визначаються шляхом аналізу можливості прояву несправностей динамічного типу для різноманітних попарних об’єднань блоків тест-векторів ti-tj (tiT та tjT) при умові їх послідовного подання на об’єкт діагностування.
З метою усунення неоднозначності були сформульовані визначення здатності блоків тест-векторів та сукупностей блоків тест-векторів розділяти стани об’єкта діагностування.
Визначення 1. Під здатністю блока тест-векторів tiT розділяти стани об’єкта діагностування ylL та ykL будемо розуміти його здатність розділяти множину L на підмножини L (ti) L та L (ti) L, якщо виконуються умови ylL (ti) та ykL (ti), або ylL (ti) та ykL (ti).
Визначення 2. Під здатністю сукупності блоків тест-векторів ti-tj (tiT та tjT) розділяти стани об’єкта діагностування ylL та ykL будемо розуміти її здатність розділяти множину L на підмножини L (ti) L та L (ti) L, якщо виконуються умови ylL (ti) та ykL (ti), або ylL (ti) та ykL (ti).
Для опису процесу діагностування та оптимізації послідовностей тест-векторів в запропоновану математичну модель введені булеві змінні ознак, перерахованих нижче, та сформульовано правила їх визначення:
  – ознака визначеності рівня сигналу для контрольної точки kmMкт під час подання тест-вектора   при умові tiT:
 
 =1, якщо значення рівня сигналу визначене;
 =0, якщо значення рівня сигналу може бути довільним;
 
  – ознака рівня сигналу для контрольної точки kmMкт під час подання тест-вектора   при умові tiT:
 
 =1, якщо сигнал визначається високим рівнем;
 =0, якщо сигнал визначається високим рівнем або якщо =0;
 
  – ознака визначеності характеру контрольної точки kmMкт під час подання тест-вектора   при умові tiT:
 
 =1, якщо контрольна точка використовується як вхід або як вихід об’єкта діагностування;
 =0, якщо контрольна точка може використовуватися як вхід або вихід об’єкта діагностування без зміни глибини діагностування;
 
  – ознака направлення передавання даних для контрольної точки kmMкт під час подання тест-вектора   при умові tiT:
 
 =1, якщо контрольна точка використовується як вхід об’єкта діагностування;
 =0, якщо контрольна точка використовується як вихід об’єкта діагностування або якщо ;
 - ознака здатності блока тест-векторів tiT розділяти стани об’єкта діагностування уmL та уNL (уNL – справний стан об’єкта діагностування):
 =1, якщо блок тест-векторів має здатність розділяти зазначені стани об’єкта діагностування;
 =0, якщо блок тест-векторів не має здатності розділяти зазначені стани об’єкта діагностування;
  – ознака здатності сукупності блоків тест-векторів ti-tj, tiT та tjT, розділяти стани об’єкта діагностування уmL та уNL:
 =1, якщо сукупність блоків тест-векторів має здатність розділяти зазначені стани об’єкта діагностування;
 =0, якщо сукупність блоків тест-векторів не має здатності розділяти зазначені стани об’єкта діагностування.
 
З метою проведення попередньої оцінки можливості вирішення поставленої задачі з бажаною точністю сформульовані та доведені умови, виконання яких необхідне для досягнення потрібної глибини діагностування.
При контролі за принципом “справний-несправний” такою умовою є:
 
Для можливості виконання діагностування з повною ідентифікацією станів об’єкта діагностування повинна виконуватись умова:
 
Невиконання умов (1) та (2) при вирішенні відповідних задач свідчить про наявність у множині L станів об’єкта діагностування ymL та ylL (ml), розрізнити які на підставі вихідних даних неможливо. Визначити такі стани можна за умови:
 
В роботі визначено засоби, які дозволяють досягнути потрібної глибини діагностування при невиконанні умови (1) або (2), найефективнішим серед яких є доповнення множини блоків тест-векторів елементами, що нададуть можливість розрізнити стани об’єкта, визначені за умови (3).
З метою порівняння ефективності подання блоків тест-векторів та їх сукупностей на об’єкт діагностування виведені формули розрахунку функції переваги Ф (ti) та Ф
Фото Капча