Megkülönböztetünk specifikáció-alapú (black-box) és struktúra-alapú (white-box) tesztelési módszereket.

Célszerű a verifikációs és validációs (V&V) tevékenységeket minél később elvégezni a fejlesztés során, mert ez költséghatékonyabb.

Agilis életciklus modell esetén nem szokás tesztelni.

Statikus elemzés során a statikus változók viselkedését vizsgáljuk.