Большой англо-русский и русско-английский словарь
1. проверка программы
2. программный контроль (в отличие от аппаратного), программная проверка
Англо-русский словарь технических терминов
1)проверка программы
2)программный контроль
«program check»
program check в энциклопедиях