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

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

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

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