Вы перечислили техники, основанные на требованиях.
Мне еще известны техники, основанные на опыте (предположение об ошибках, исследовательское тестирование). И техники, так сказать Structure-Based, как перевести? Основанные на структуре? основанные на коде? «белого ящика», в общем (Statement testing, Branch decision testing, Condition testing, Decision condition testing, Multiple condition testing, Modified condition/decision coverage testing, Path testing).
Я знаю, что еще выделяют техники, снованные на дефектах. Применение таксономий дефектов. Я сама никогда не применяла, даже на примерах, даже в обучающих целях. И не видела никого, кто применял бы. И еще не слишком отличаю от техники предположения об ошибках. Так что, просто назвала.