Питання | Сторінка 134365

Припустимо, що алгоритм описано у вигляді послідовності кроків.

Загальна

методика

доведення правильності алгоритму заключається в наступному:

(виберіть всі вірні твердження)

Потрібно запропонувати вибрати той чи інший набір тестових вхідних даних (тест сервер) для перевірки всіх підходящіх вхідних даних і всіх підходящіх вихідних даних.

Потрібно виконати повне дослідження тестами для програмного коду та деяке обґрунтування застосування для кожного з тестів.

Потрібно запропонувати деяке обґрунтування правомірності для кожного кроку (зокрема, може знадобитися лема про умови, що діють до та після пройденого кроку).

100%

Потрібно запропонувати доведення кінцевості (результативності) алгоритму, при цьому будуть перевірені всі підходящі вхідні дані і отримані всі підходящі вихідні дані.

100%

Переглянути це питання

Crowdly

Questions Bank (1400878 total)