процесу тестування) в силу великої різноманітності ПІ по їх складності, функціональним призначенням, галузі використання і т.д.
Стосовно до ПІ тестування - це процес багаторазового виконання програми з метою виявлення помилок.
Загальноприйнята думка, що тестування - це процес, що демонструє відсутність помилок в програмі або доводить коректність виконуваних програмою функцій - є не просто помилковим, але і вкрай шкідливим, оскільки це щось протилежне тому, що слід розуміти під тестуванням.
Програма тестується для того, щоб підвищити рівень її надійності, тобто виявити максимальне число помилок.
Мета тестування - виявлення якомога більшої кількості помилок.
З правильного визначення тестування випливає ряд принципів,
які інтуїтивно зрозумілі, але саме тому на них не звертають належної уваги.
Велика трудомісткість тестування і обмежені ресурси призводять до необхідності систематизації процесу і методів тестування. p align="justify"> Розглянемо докладніше послідовно застосовувані методи тестування:
статичний,
детермінований,
стохастичний
в реальному масштабі часу.
Кожен метод тестування передбачає використання конкретних процедур для реалізації.
Статичний тестування - найбільш формалізоване, базується на правилах структурної побудови програм і обробки даних. Перевірка ступеня виконання цих правил проводиться без зміни об'єктного коду програми шляхом формального аналізу тексту програми на мові програмування.
Оператори та операнди тексту програми аналізуються в символьному вигляді, тому цей метод тестування іноді називають символічним тестуванням.
Найбільш трудомістким і деталізованим є детерміноване тестування, яке вимагає багаторазового виконання програми на ЕОМ з використанням певних, спеціальним чином підібраних тестових наборів даних. При детермінованому тестуванні контролюються кожна комбінація вихідних даних і відповідні їй результати виконання програми, а також кожне твердження в специфікації, тестує програми.
Детерминированное тестування чинності трудомісткості, можливо застосовувати для окремих модулів в процесі складання програми або для невеликих і нескладних програмних комплексів.
...
