2.4 В разделе «Проверка программы» должно быть приведено описание способов проверки, позволяющих дать общее заключение о работоспособности программы (4.1) (контрольные примеры (4.2), методы прогона (4.3), результаты (4.4)) [из 2.4 ГОСТ 19.503—79]