Вважають, щопрограмапрацюєкоректно, якщо вона задовольняєнаступнимкритеріям:

Мета тесту – довести/спростувати тезу, тобто визначити наявність/відсутність конкретного дефекту. На основі тези обираються вхідні і визначаються правильні вихідні дані тесту, після чого він проводиться.

Тестування – це процес випробування програми за допомогою вибраного набору варіантів тесту з метою

Мета тестера ПЗ – якомога раніше знаходити помилки і робити так, щоб вони були  не виправлені.

Слід планувати тестування, негласно вважаючи, що помилок немає.

Автоматичнетестування, якщо воно виконано коректно, забезпечує більш швидке, якісне і ефективне тестування, що приводить до збільшення кількості тестів, скороченню часу тестування, підвищення стійкості системи.

Якщо мета тесту – визначити дефекти, то якісний варіант тесту той, що найімовірніше виявить незнайдений досі дефект.

Нажаль, це неможливо, навіть для найпростіших програм, через наступні чотири ключові причини:

Тест – контрольна задача для перевірки коректності функціонування системи та/або її ПЗ

Слово «принцип» має декілька значень: