В
Все
М
Математика
О
ОБЖ
У
Українська мова
Д
Другие предметы
Х
Химия
М
Музыка
Н
Немецкий язык
Б
Беларуская мова
Э
Экономика
Ф
Физика
Б
Биология
О
Окружающий мир
Р
Русский язык
У
Українська література
Ф
Французский язык
П
Психология
А
Алгебра
О
Обществознание
М
МХК
В
Видео-ответы
Г
География
П
Право
Г
Геометрия
А
Английский язык
И
Информатика
Қ
Қазақ тiлi
Л
Литература
И
История
ника2761
ника2761
20.11.2020 06:41 •  Информатика

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

Показать ответ
Ответ:
toshakalashnik
toshakalashnik
20.08.2020 23:19
Совершенно нет, рассмотрим такую вот программу:К примеру программа должна определять, является ли число положительным, предположим что имеется такая функция:

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, однако в других случаях она не вывести правельный ответ.Проще говоря, просто подтверждаем ответ на ваш вопрос - "НЕТ, программа не будет правильно функционировать в целом, а лишь в частных случаях".Производный вопрос - а как этого избежать? ответ: покрыть код программы и все её логические блоки - тестами.
0,0(0 оценок)
Популярные вопросы: Информатика
Полный доступ
Позволит учиться лучше и быстрее. Неограниченный доступ к базе и ответам от экспертов и ai-bota Оформи подписку
logo
Начни делиться знаниями
Вход Регистрация
Что ты хочешь узнать?
Спроси ai-бота