Верификация программного обеспечения при интеграции новой функциональности в существующую систему

После интеграции новой функциональности в уже существующую систему необходимо тщательное тестирование всей системы, что требует больших затрат. В работе предложен метод решения этой проблемы, основанный на широко известном верификационном подходе - проверка на моделях (model checking) и на теории частичных спецификаций (partial specifications).