впевненості в його правильності.
Тести, які не сприяють виявленню помилок і тільки підтверджують коректність функціонування програмного виробу, є не ефективними, тому призводять до марним витрат ресурсів і часу.
Якщо завдання тестовіка - продемонструвати, що у програмному забезпеченні немає помилок, то підсвідомість спонукає його вибирати такі тести, які з великою ймовірністю будуть виконуватися правильно, і знайде він помилок не надто багато. Якщо ж його мета - розкрити наявність помилок у ньому, він знайде значну їх частину!
Необхідно з самого початку не допускати помилок у програмному забезпеченні. Тоді роль тестування буде полягати в тому, щоб визначити місцезнаходження нечисленних помилок, що залишилися в добре спроектованому програмному забезпеченні.
Тест - це прорахований вручну або іншим способом приклад, вихідні, проміжні і кінцеві результати якого використовуються для контролю правильності (живучості) програмного забезпечення.
Тест складається з вихідних даних і тих значень (результуючих, а іноді і проміжних), які повинне видати програмне забезпечення при роботі за цим тестом. Ці значення повинні бути записані в точності в тому вигляді, в якому їх повинна видати ЕОМ. Ці значення бажано отримати будь-яким шляхом, не обов'язково тим, що реалізований в програмному забезпеченні, тому в останньому випадку можна не помітити помилки в алгоритмізації, які потім не виявить та налагодження.
Тести складаються після розробки алгоритму, але до програмування.
Комплект тестів повинен бути таким, щоб перевірити всі варіанти зовнішнього ефекту програмного виробу і варіанти його внутрішньої роботи - алгоритму.
Комплект тестів повинен забезпечити проходження всіх гілок лгорітма, принаймні, по одному разу, а також перевірку всіх контролюючих граничних і вироджених випадків. Перевірка граничних випадків допомагає виявити часті в практиці програмування помилки, коли цикл недопрацьовує або переробляє один раз.
У деяких випадках тестування рекомендується проводити «мініатюризацію» програми, тобто розумно скорочувати обсяг даних в порівнянні з реальним. Наприклад, створити укорочену базу даних. Перевірити матрицю 50x50 вручну неможливо. Тому в якості тесту може бути використана матриця 5x5. Точно так само, якщо деяка підпрограма працює в циклі 5 раз, вона зможе працювати і 105 разів. Правда, при мініатюризації програми можуть відбутися ситуації: або існуючі в програмі помилки в результаті спрощують змін стануть неявними або тимчасово зникнуть, або з'являться нові помилки.
Тестові дані повинні підбиратися таким чином, щоб програміст був в змозі обчислити правильний результат ще до початку тестового прогону. Якщо цього не зробити завчасно, то потім дуже легко піддатися спокусі вважати машинний результат достовірним.
У цілому складання тестів - велике мистецтво, тому повністю цей процес формалізації не піддається.
Програмні вироби як об'єкти тестування мають ряд особливостей, які відрізняють процес їх тестування від традиційного, застосовуваного для перевірки апаратури та інших технічних виробів.
Для великих програмних виробів практично завжди відсутня повністю певний і точний еталон для всіх тестових наборів.
У зв'язку з цим для тестування програмного забезпечення в якості еталону використовується ряд непрямих даних, які не повностю відображають функції і характеристики Отлаживаются програмних виробів.
Для великих програмних виробів недосяжно вичерпне їх тестування, яке гарантуватиме абсолютно повну їх перевірку.
Тому тестування програмного забезпечення проводиться в обсягах, мінімально необхідних для його перевірки в деяких обмежених межах зміни параметрів і умов їх функціонування.
Обмеженість ресурсів тестування призвела до необхідності упорядкування застосовуваних методів і конкретних значень параметрів з метою отримання при тестуванні програмного забезпечення найбільшої глибини його перевірок.
Для прискорення налагодження не байдужий порядок пропуску тестів: спочатку пропускаються прості тести ...
Прості тести перевіряють початкову мета тестування - чи працює програмне забезпечення взагалі.
Тест, який використовується для перевірки основної гілки програми, повинен виявити грубі помилки.
Ускладнення тестових даних має відбуватися поступово.
Процес тестування програмного забезпечення можна розділити на три етапи:
перевірка в нормальних умовах;
перевірка в екстремальних умовах;
