Реестровая запись: ЭЛ № ФС77-79395 от 02.11.2020 ISSN: 2782-1528 DOI 10.34660/c0727-6092-6372-a
Верификатор автоматический (Mechanical verifier) — схема обеспечения автоматического доказательства правильности программ. Включает генератор условий верификаций и блок доказательства теорем. [Домарева В.В. «Безопасность информационных технологий. Системный подход» —
Управление разработкой программных систем (software management) – деятельность, направленная на обеспечение необходимых условий для работы коллектива разработчиков программного обеспечения, на планирование и контроль деятельности этого коллектива
Устойчивость программного обеспечения – свойство осуществлять требуемое преобразование информации при сохранении выходных решений программы в пределах допусков, установленных спецификацией при воздействии на программы таких факторов
Анализ функциональный – рассмотрение объекта как комплекса выполняемых им функций. [Камаев В. А., Костерин В. В. Основные термины и определения. Технологии программирования. Факультет электроники и вычислительной
СОМ (Component Object Model) (модель компонентных объектов) – спецификация метода создания компонентов и построения из них программ. [Камаев В. А., Костерин В. В. Основные термины и
Бета-тестирование — это фаза общего тестирования, при которой программное изделие поставляется ограниченному кругу конечных пользователей для более жесткого тестирования. [Камаев В. А., Костерин В. В. Основные
Аттестация (certification) – авторитетное подтверждение правильности программы. [Камаев В. А., Костерин В. В. Основные термины и определения. Технологии программирования. Факультет электроники и вычислительной техники (ФЭВТ) (ВолгГТУ).
Альфа тестирование (системное тестирование, лабораторные испытания) — фаза тестирования, выполняемая разработчиками для подтверждения, что все фрагменты правильно интегрированы в систему, а сама система работает надежно. [Камаев
Объект агрегированный — объект, составленный из подобъектов. Подобъекты называются частями агрегата, и агрегат отвечает за них. [Камаев В. А., Костерин В. В. Основные термины и определения. Технологии
Тестирование автономное (module testing) – контроль отдельного модуля в изолированной среде (например, с помощью ведущей программы), инспекция текста модуля на сессии программистов, которая иногда дополняется математическим