Badania przeprowadzane w celu sprawdzenia właściwego wykonania projektu i zgodności z wymaganiami programu dla jednego elementu oprogramowania (np. jednostka , moduł) lub zbiór elementów oprogramowania.