Добрый день. Весьма заинтересовался темой тестирование и верификации ПО. Нашел книжку Канера и несколько доп.ссылок. Не могли бы люди, осведомленные в этой области, порекомендовать что-нибудь в качестве так сказать "лабораторных работ", на примере которых можно чему-то научиться. Заранее благодарен, спасибо.
По-моему в России на это дело давно уже большой болт положили У буржуев я тоже особо не слышал слов про это, хотя в конце 70-х была куча публикаций и я даже изучал это дело углубленно вплоть до "доказательство правильности алгоритма" Видимо такое серьзно теперь есть там, где все засекречено... Естественно тестирование и верификация есть, но вот многие технологии под замком.
Да хотя бы на своих же программах, если вы их пишите. Или же вполне подойдут банальные университетские лабы по программированию. Изучите тестирование методами белого и черного ящика, составлением МГТ-таблиц, и прогоняйте их по своим прогам. ЗЫ это самый базис...системы автоматического тестирование уже другая опера
