Уважаемые коллеги,
начинаю интересоваться функциональным тестированием web-приложений.
Насколько я понимаю, имеется несколько продуктов, предназначенных для этого дела.
Видел несколько презентаций типа "Наш софт немеряно крут, все работает очень быстро и просто, покупайте не сомневайтесь!".

Однако хотелось бы больше конкретики.

Хотелось бы ознакомиться с принципами тестирования.
1. Каким образом можно автоматизированно проверить, что по нажатию некой кнопки выполняется именно то, что нужно? Особенное, если учесть, что некоторая часть логики вынесена в хранимые процедуры БД.

2. Каким образом можно проверить, что пользователь видит именно те данные, которые ему разрешено видеть? Опять же тут многое связано с логикой в БД.

3. Каким образом можно проверить, что некая последовательность действий приводит имеено к ожидаемым результатам?

Я буду благодарен за указание материалов на обозначенную тему.