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

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

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

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