Кіріспе

Ақаулық моделі – жабдықтың құрастырылуы немесе жұмыс істеуі кезінде не нәрсе дұрыс болмауы мүмкін екенін көрсететін инженерлік модель. Осы модельден инженер немесе пайдаланушы осы нақты ақаудың салдарына болатын нәрсені болжауға болады. Ақаулық модельдері инженерлік саласының дерлік барлық тармақтарында қолданылады.

Қаттылық құлдырау

Ақаулық жиынтықтарын кішірек жиынтықтарға келтірудің екі негізгі тәсілі бар.

Теңдестіктің құлдырауы

Екі немесе одан көп ақаулардың барлық кіріс мәліметтері үшін бірдей қателі мінез-құлықты тудыруы мүмкін. Мұндай ақаулар эквивалентті ақаулар деп аталады. Эквивалентті ақаулар жиынтығынан кез келген бір ақау бүкіл жиынтықтың өкілі бола алады. Бұл жағдайда, n сигналдық сызығы бар схема үшін k × n ақаулық тестілеуінен әлдеқайда аз тестілер қажет болады. Ақаулардың толық жиынтығынан эквивалентті ақауларды жою – ақауларды ығыстыру деп аталады. Ақауларды ығыстыру тексеруге қажет ақаулар санын едәуір азайтады. Мысал диаграммасында қызыл түспен белгіленген ақаулар, жебелермен көрсетілген ақауларға эквивалентті, сондықтан оларды схемадан алып тастауға болады. Бұл жағдайда ақауларды ығыстыру коэффициенті 12/20-ге тең.

Үстемдік құлдырап жатыр

F ақаулығы F' ақаулығына басым деп аталады, егер F' ақаулығының барлық сынақтары F ақаулығын анықтаса. Бұл жағдайда F ақаулығы тізімнен алынып тасталуы мүмкін. Егер F, F'-ге басым болса және F' F-ге басым болса, онда бұл екі ақау теңдес болады. Мысалда NAND есігі көрсетілген, шығыстың SA0-ын сынауға болатын барлық кіріс мәндерінің жиынтығы {00, 01, 10} құрайды. Ал бірінші кірістің SA1-ін тексеруге болатын барлық кіріс мәндерінің жиынтығы {01} болып табылады. Осы жағдайда шығыс SA0 ақаулығы басым және оны ақаулар тізімінен жоюға болады.

Функционалдық құлдырау

Екі ақау функциялық түрде баламалы болып есептеледі, егер олар бірдей бұрмаланған функцияларды тудырса немесе екі ақауды бастапқы шығыстарда (PO) кез келген кіріс сынақ векторы арқылы ажырату мүмкін болмаса, олар функциялық түрде баламалы болады.

Аэроғарыш саласы

Аэроғарыш саласындағы ақаулық моделі – ұшу кезінде қозғалтқышта, желіде ауыстырылатын құрылғыда (LRU) немесе қосалқы қуат блогында (APU) туындаған мәселені анықтауға және оқшаулауға қолданушыларға немесе жүйелерге көмектесетін құрылымдалған ақпараттар жиынтығы. Бұл ақаулық моделімен бірге ұсынылған жөндеу процедурасы мен ұшақтарды күту нұсқаулықтарына сілтемелер де болуы мүмкін (~ Жеңіл техникалық қызмет көрсету нұсқаулығы).