Верификация и валидация ПО: технологии и инструменты Открытые системы. СУБД Изда В таблице названия инструментов