Přednášky:
Základní pojmy diagnostiky.
Druhy poruch v číslicových systémech.
Generování testů pro číslicové obvody. Intuitivní zcitlivění cesty.
D-algoritmus: přenos, průnik, konzistence.
Booleovské diference.
Vestavěné diagnostické prostředky.
Hraniční testování - BST (Boundary-Scan Testing).
Programovací jazyky pro BST.
Zkoušeče, kategorizace na typy, hlavní funkční bloky.
Technika hledání poruch.
Vestavěné diagnostické prostředky.
Testování pamětí - modely poruch.
Testování mikroprocesorů.
Diagnostika pomocí vývojových systémů.
Směry dalšího rozvoje testovací techniky.
Cvičení:
Ve cvičeních jsou počítány příklady na zjišťování přítomnosti poruch, jsou generovány pseudonáhodné testovací vektory a vyhodnocovány případové studie pro pokrytí testem u různých typů číslicových obvodů a systémů
Projekty:
Projekt: vytvoření metody testování středně složité jednotky počítače.
Počítačové laboratoře:
Počítačová cvičení jsou prováděna na počítačové učebně, kde jsou řešeny příklady a spouštěny simulace vybraných experimentů.
Základní pojmy diagnostiky.
Druhy poruch v číslicových systémech.
Generování testů pro číslicové obvody. Intuitivní zcitlivění cesty.
D-algoritmus: přenos, průnik, konzistence.
Booleovské diference.
Vestavěné diagnostické prostředky.
Hraniční testování - BST (Boundary-Scan Testing).
Programovací jazyky pro BST.
Zkoušeče, kategorizace na typy, hlavní funkční bloky.
Technika hledání poruch.
Vestavěné diagnostické prostředky.
Testování pamětí - modely poruch.
Testování mikroprocesorů.
Diagnostika pomocí vývojových systémů.
Směry dalšího rozvoje testovací techniky.
Cvičení:
Ve cvičeních jsou počítány příklady na zjišťování přítomnosti poruch, jsou generovány pseudonáhodné testovací vektory a vyhodnocovány případové studie pro pokrytí testem u různých typů číslicových obvodů a systémů
Projekty:
Projekt: vytvoření metody testování středně složité jednotky počítače.
Počítačové laboratoře:
Počítačová cvičení jsou prováděna na počítačové učebně, kde jsou řešeny příklady a spouštěny simulace vybraných experimentů.