Inšpekcia produktu

Inšpekcia produktu
Inou metódou validácie produktu používanou aj vo veľkých firmách ako je IBM je tzv. Inšpekcia produktu. Pri inšpekcii sa nejedná o hodnotenie produktu a vyvodzovanie dôsledkov hodnotenia pre autorov, ale čiste o proces, ktorého snahou je detekcia možných chýb. Pri inšpekcii sa chyby iba odhalujú, nejdná sa o ich korekciu.

Podkladom pre inšpekciu je jednak úplná špecifikácia kontrolovaného produktu a ďalej úplné riešenie. Inšpekcia je obvykle uskutočňovaná v týme, ktorý tvoria tri kategórie osôb – autori produktu, inšpektori produktu a moderátor. Inšpektori čítajú predkladané riešenie a snažia sa odhaliť miesta, v ktorých by mohlo dôjsť k chybám. Autori obhajujú riešenie a diskusiu riadi moderátor, ktorý by pokiaľ je možné nemal byť na projekte zúčastnený.

Inšpekcia by nemala trvať príliš dlho a je teda pomerne málo nákladná. Môže však priniesť značné úspory v neskoršom testovaní, lebo chyby indikované pri inšpekcii už obvykle nie je nutné korigovať pri testovaní.

Statická analýza produktu
Inšpekcia je zameraná na novom pohľade inšpektora na riešený produkt. Snahou inšpektora je odhaliť pochybné miesta v produkte. V rade situácií mu môže byť nápomocná statická analýza programu. Označenie statická vychádza z faktu, že program nie je nutné vykonávať. Pri statickej analýze sú obyčajne vyhľadávané nasledujúce anomálie v produkte:
 nedosiahnuteľný kód
 nedeklarované premenné
 nepoužité premenné
 premenné použité pred deklaráciou
 nesúlad typu alebo počtu parametrov
 možné prekročenie rozsahu
 neštrukturované skoky

Pre statickú analýzu bola vyvinutá rada pomocných nástrojov. Ako príklad je možné uviesť program lint pre statickú analýzu programov v jazyky C, ktorý je k dispozícii pod OS UNIX.