пошук помилок реалізації (коду), що здійснюються за

допомогою системи PVS (Prototype Verification System)

синтаксичний і семантичний

аналіз вихідного тексту, аналіз конструкцій; іноді робляться спроби побудови

алгоритму до початкового тексту. Метод “білого ящика”.

запуск програми і

спостереження за її діями (викликаними подачею на вхід різних даних), модифікація аналізованої програми.

вивчення поведінки ПЗ за

допомогою подачі на вхід різних значень змінних. Метод “чорного ящика”.