
Hugilv
5 год назад
доказывает ли получение правдоподобного результата правильности программы
ОТВЕТЫ

Спаска
Oct 24, 2020
Совершенно нет, рассмотрим такую вот программу:К примеру программа должна определять, является ли число положительным, предположим что имеется такая функция:
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, однако в других случаях она не способна вывести правельный .Проще говоря, просто подтверждаем на ваш вопрос - .Производный вопрос - а: .
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, однако в других случаях она не способна вывести правельный .Проще говоря, просто подтверждаем на ваш вопрос - .Производный вопрос - а: .
300