Všeobecné zásady tvorby programov - testovanie a ladenie programu

Z Kiwiki
Skočit na navigaci Skočit na vyhledávání
Predmet

Konfigurovateľné mikroprocesorové systémy
Tématická časť:
Všeobecné zásady tvorby programov

Testovanie je kontrola parametrov riešenia úlohy na základe požiadaviek (výsledok analýzy). Testujú sa štandardné stavy, neštandardné stavy a havarijné stavy, ktoré sú umelo vyvolané.

Testuje sa

  • Správnosť,
  • Použiteľnosť
  • Spoľahlivosť
  • Robustnosť
  • Výkonnosť

Testovanie bez spustenia:

  • Inšpekcia kódu –odhaliť miesta kde by mohlo dôjsť k chybe
  • Statická analýza - nový pohľad na riešenie hľadá sa: nedosiahnuteľný kód , nedeklarované premenné, nepoužité premenné, nesúhlas typu , alebo počtu premenných, neštruktúrované skoky atd.
  • Matematické metódy overovania správnosti dokazuje správnosť chovania vo všetkých situ áciach (už vo vývoji programu)
  • Strojová analýza kódu

Testovanie so spustením:

Spustenie test. Programu na vstupných údajoch a porovnávanie skutočných výstupov s očakávanými

  • Testovanie podľa špecifikácie (dáta podľa zadania), neberie sa do úvahy kód -
  • Testovanie podľa kódu , dáta pomocou ktorých sa prejde najviac ciest v programe.

Dlhodobá funkčnosť systému:

  • stabilita HW SW
  • hraničné zaťaženie (teplota, dátové toky, výkonové zataženie)

Výsledkom je riešenie úlohy, ktoré je v súlade zo zadanými požiadavkami. Súčasťou riešenia je katalóg požiadaviek, popis riešenia, technická dokumentácia a parametre a testovacie protokoly. Ladením odstraňujeme chyby vzniknuté v projekte.


Príklad

Testovanie

Pri testovaný sa zameriame na také veci ako napr. správne údaje o teplote, ktoré vieme porovnať s referenčným teplomer, či sme správne naprogramovali kód a byt z ktorého čítame teplotu od DS18S20. Ďalej to môže byť spoľahlivosť teplomera pri zmene teploty, dlhodobé funkčnosť HW a SW, hraničné hodnoty teplomera a presnosť merania 0,5°C a stabilita celého systému. Výsledný systém musí spĺňať všetky zadané požiadavky.