Здравствуйте, Paralax, Вы писали:

P>Здравствуйте уважаемые!

P>Интересен следующий перечень вопросов:

Нам тоже

А вообще, на мой взгляд, ты слишком много хочешь для одного вопроса на форуме.
По твоим вопросам знающий человек (я не из них ) книжку написать сможет.

А вот задал бы ты, например, вопрос только про средства автоматического тестирования,
то сразу бы получил ссылки на Rational Robot, SilkTest
и семейство "фреймфорков" для модульного тестирования (CppUnit, JUnit)

По поводу специфицирования...
Наверное все зависит от типа систем. Кое-что удается совершенно формально специфицировать,
а многие вещи — нет. В жизни очень часть спецификации системы
предназначены прежде всего для людей, чтобы разработчик понял что нужно разрабатывать
а тестер — что и как нужно тестировать...

То, что удается формально специфицировать, то можно пытаться формально верефицировать...
Например протоколы, парсеры...