методы обеспечения качества программных продуктов, тестирование, верификация, спецификация, проверка моделей, статический и динамический анализ кода