Formalne lub nieformalne badania prowadzone w trakcie opracowywania systemu lub składnik, zazwyczaj w środowisku programistycznym przez autora.