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

Методи перевірки того, що тестовий об'єкт працює відповідно до вимог, із частковим доступом до архітектури системи.

Методи, засновані тільки на очікуваному використанні програмного забезпечення.

Техніки, засновані на аналізі архітектури.