Доказывает ли получение правдоподобного результата правильности программы

Совершенно нет, рассмотрим такую вот программу: к примеру программа должна определять, является ли число положительным, предположим что имеется такая функция: boolian isnumbermorethenzero(integer num)    //функция булевая, т.е. //возращает одно из значений - true/false, принемает на вход число {     boolian result;       //есть переменная хранящая результат,                                 //или ответ если пожелаете     result = false;       //по умолчанию он равен false         if (num < = 0)    //тут к примеру ошибка,                                 //проверяем является ли число больше либо равно 0                                 //(мы допустили ошибку и указали меньше)         {             result = true;       //если да, то число положительное и ответ true         }     return result;       //вернуть значение } если на входных данных будет 0 - он является положительным числом, программа выведет true - что является правильным ответом.но если мы введем любое отрицательное число, то ответ так же будет true - что является ошибкой.подай на вход мы положительное число, то программа выведет false - и это ошибка. вывод такой: функция функционирует правильно в часных случаях, к примеру как с 0, однако в других случаях она не способна вывести правельный ответ.проще говоря, просто подтверждаем ответ на ваш вопрос - "нет, программа не будет правильно функционировать в целом, а лишь в частных случаях".производный вопрос - а как этого избежать? ответ: покрыть код программы и все её логические блоки - тестами.

посадка дерева: 1.купить семя.

2.найти место для посадки.3.вскопать яму.4.посадить семя.5.закопать яму.переход улицы по светофору: 1.подойти к дороге (к светофору)2.посмотреть на цвет, который сейчас горит.3.дождаться нужного цвета.4.перейти дорогу.5.отправиться дальше.

обьем вини изначальный

прирост от меда

прирост от сгущенки

время реализации прироста

время худенья

радиус дверей