A4B33SI, Úvod do testování

Úvod do testování a verifikace

20000 rad mı́sto 86 rad, systém reálného času vytvořený 1 programátorem, neexistujı́cı́ formálnı́ specifikace a testovacı́ kritéria, hardwarové zámky nahrazeny programovými, pokud byla ...

Strukturované testování

September 14, 2007

Jakub Kákona

odraženého fotonu malá, tak jsou využı́vány různé techniky pro zlepšenı́ poměru S/N. Často jde o metody statického zpracovánı́ nebo o lock-in měřenı́. Tato metoda má vzhledem k před...

Přijímací zkoušky do roku 2001 - Katedra matematiky a didaktiky

představivost a všeobecnou matematickou kulturu. Nevyžadujeme znalosti diferenciálnı́ho a integrálnı́ho počtu ani matematické statistiky. K řešenı́ úloh nejsou zapotřebı́ tabulky ani kal...

T estovanı konecnych autom atu O bsah K onecne autom aty v praxi

Konečná množina přechodů, které pro každý stav a každý symbol vstupnı́ abecedy vracı́ množinu možných následujı́cı́ch stavů.

Snímky ze 2. přednášky Soubor

4. First scan (or first pass) – when the PLC is first powered ON or whenever the PLC program is started – used for initializations

Iterativní přístup k tvorbě software

pevné a předem známé specifikace, známý cíl známý výrobní postup, přesné odhady na začátku malá míra variability a nutnost reakce na změny problémem je logistika a ekonomie výroby kopií

Formální metody

proces přezkušovánı́ specifikacı́ (výzvy) jako část validačnı́ho procesu. [ “animace” specifikace: běh testů - má smysl pouze pokud specifikace majı́ konstrukčnı́ charakter, programy na ...

Optimalizace sady testu

Faktor: entita, parametr, na kterém závisı́ testovacı́ přı́pad. Úroveň: každý faktor má konečný počet možných hodnot nazývaných úrovněmi. Přı́klad: tři faktory A, B, C a každý ...

Certifikovaný tester