Доказательство корректности программы - Разработка ПО

Разработка и тестирование

Форум программистов и сисадминов Киберфорум

Войти

Регистрация
Восстановить пароль

@bormash 1 / 1 / 1 Регистрация: 27.04.2017 Сообщений: 18

	Доказательство корректности программы 25.06.2019, 14:30. Показов 1345. Ответов 0 Метки тестирование (Все метки) В некоторой абстрактной программе есть некоторый метод, который принимает на вход абсолютно любые значения, а выдаёт некоторое другое значение, если введённое число больше двух, или значение, но посчитанное по другому алгоритму, если число на входе равно 1 или 2, или выкидывает Exception, если значение отрицательное. Нужно доказать что программа работает корректно: я создал юнит тесты, один для отрицательного значения, по одному для значений 1, 2, 3 и ещё один для случайного значения в диапазоне (3, +Infinity) (например, 100). Как, используя эти тесты (или, возможно, некоторые другие) доказать, что и при значениях от 3 до 100, и при значениях больше 100, программа работает корректно? 0

IT_Exp

Эксперт

34794 / 4073 / 2104

Регистрация: 17.06.2006

Сообщений: 32,602

Блог

25.06.2019, 14:30

Ответы с готовыми решениями:

Доказательство корректности алгоритма сортировки вставкой
В учебнике дается доказательство алгоритма вставки через математическую индукцию Как понять эту строку : A’ = (A, A, A) ? ...

Доказательство корректности алгоритма и вычисление вычислительной сложности
Всем привет, Мне предстоит решить/написать работу по теме "Алгоритмы для реорганизации и оптимизации вебсайтов". И если...

Доказательство корректности алгоритма Краскаля "своими словами"
Хочу придумать доказательство корректности данного алгоритма но своими словами. Ведь на интуитивном уровне понятно что он будет работать...

Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.

BasicMan

Эксперт

29316 / 5623 / 2384

Регистрация: 17.02.2009

Сообщений: 30,364

Блог

25.06.2019, 14:30

Помогаю со студенческими работами здесь

Проверка корректности даты.
Ребят,вот есть такая задача : Нужно сделать проверку корректности введеной даты. Пример : дата 30.02.1998 некорректная дата и необходимо...

Не работает проверка корректности
Я ввожу даты, и их нужно проверять на корректность. Число и месяц проверяются нормально таким же способом, а вот именно год не хочет...

Проверка корректности ИНН
Может у кого-нибудь есть уже реализованная функция для проверки корректности ИНН.

Проверка корректности IP + маска
Здраствуйте, есть ф-ия проверки корректного ввода ip var tested_ip = /\b((?\d?\d|2\d|25)\.){3}(?\d?\d|2\d|25)\b/; function check...

Проверка корректности данных
Вводятся числа. Необходимо проверить, что данные введены действительно числового формата (double, например). Если вводятся буквы, другие...

Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:

Новые блоги и статьи Все статьи Все блоги /
сукцессия микоризы: основная теория в виде двух уравнений. anaschu 11.01.2026 https:/ / rutube. ru/ video/ 7a537f578d808e67a3c6fd818a44a5c4/	WordPad для Windows 11 Jel 10.01.2026 WordPad для Windows 11 — это приложение, которое восстанавливает классический текстовый редактор WordPad в операционной системе Windows 11. После того как Microsoft исключила WordPad из. . .	Classic Notepad for Windows 11 Jel 10.01.2026 Old Classic Notepad for Windows 11 Приложение для Windows 11, позволяющее пользователям вернуть классическую версию текстового редактора «Блокнот» из Windows 10. Программа предоставляет более. . .	Почему дизайн решает? Neotwalker 09.01.2026 В современном мире, где конкуренция за внимание потребителя достигла пика, дизайн становится мощным инструментом для успеха бренда. Это не просто красивый внешний вид продукта или сайта — это. . .
Модель микоризы: классовый агентный подход 3 anaschu 06.01.2026 aa0a7f55b50dd51c5ec569d2d10c54f6/ O1rJuneU_ls https:/ / vkvideo. ru/ video-115721503_456239114	Owen Logic: О недопустимости использования связки «аналоговый ПИД» + RegKZR ФедосеевПавел 06.01.2026 Owen Logic: О недопустимости использования связки «аналоговый ПИД» + RegKZR ВВЕДЕНИЕ Введу сокращения: аналоговый ПИД — ПИД регулятор с управляющим выходом в виде числа в диапазоне от 0% до. . .	Модель микоризы: классовый агентный подход 2 anaschu 06.01.2026 репозиторий https:/ / github. com/ shumilovas/ fungi ветка по-частям. коммит Create переделка под биомассу. txt вход sc, но sm считается внутри мицелия. кстати, обьем тоже должен там считаться. . . .	Расчёт токов в цепи постоянного тока igorrr37 05.01.2026 / * Дана цепь постоянного тока с сопротивлениями и источниками (напряжения, ЭДС и тока). Найти токи и напряжения во всех элементах. Программа составляет систему уравнений по 1 и 2 законам Кирхгофа и. . .

Наверх