456-0305/01 – Diagnostika počítačů (DGP)
| Garantující katedra | Katedra informatiky | Kredity | 5 |
| Garant předmětu | prof. Ing. Karel Vlček, CSc. | Garant verze předmětu | prof. Ing. Karel Vlček, CSc. |
| Úroveň studia | pregraduální nebo graduální | Povinnost | volitelný odborný |
| Ročník | 1 | Semestr | zimní |
| | Jazyk výuky | čeština |
| Rok zavedení | 2003/2004 | Rok zrušení | 2009/2010 |
| Určeno pro fakulty | FEI | Určeno pro typy studia | navazující magisterské |
Cíle předmětu vyjádřené dosaženými dovednostmi a kompetencemi
Seznámení s teoretickými i praktickými postupy hledání poruch a vytváření testovacích programů.
Absolvent získá orientaci v metodikách diagnostiky a návrhu testovacích postupů číslicových systémů. Zvláštní pozornost je věnována návrhu diagnostiky zákaznických obvodů navržených jako periferie počítačů.
Vyučovací metody
Přednášky
Cvičení (v učebně)
Projekt
Anotace
Vznik diagnostiky počítačů se datuje stejným okamžikem jako vznik návrhu obvodů počítačů. Testování je praktická činnost diagnostiky, je nezbytná ke stanovení příčiny poruchy ze zjištěných chyb. Zvyšující se složitost obvodů číslicových počítačů vede k nutnosti používat sofistikované postupy testování. Přehled metod testování polovodičových pamětí je doplněn o statistické vyhodnocení četnosti poruch a efektivitu zachycení chyb při testech. V této souvislosti jsou uvedeny
specifické požadavky na konstrukci testerů pro testování pametí. Zvláštní kapitola se pak zabývá testováním dynamických parametrů pamětí. V souvislosti s paměťmi je proveden výklad průběžné metod diagnostiky, která má za cíl provádět opravu chyb kódovým zabezpečením zapsaných souborů.
Povinná literatura:
Doporučená literatura:
Forma způsobu ověření studijních výsledků a další požadavky na studenta
Průběžná kontrola studia:
Zpracování semestrálního projektu
E-learning
Další požadavky na studenta
Prerekvizity
Předmět nemá žádné prerekvizity.
Korekvizity
Předmět nemá žádné korekvizity.
Osnova předmětu
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ů.
Podmínky absolvování předmětu
Výskyt ve studijních plánech
Výskyt ve speciálních blocích
Hodnocení Výuky