Применение графо-аналитических моделей при верификации программных продуктов
Научно-технические аспекты процедуры сертификации по требованиям безопасности информации программных продуктов в России. Исследование методики верификации программных средств с использованием графо-аналитической модели и комплексных кубических покрытий.
Подобные документы
Принципы управления предприятием MRP, MRP II, ERP, ERP II. Моделирование производственной и управленческой деятельности компании. Построение функциональной модели процесса. Применение программных продуктов при планировании распределения ресурсов.
курсовая работа, добавлен 28.06.2020Физическое и математическое моделирование. Сравнение имитационной и аналитической моделей. Характеристика программных комплексов, которые позволяют проводить построение и исследование моделей. Возможности компьютерных симуляций. Выбор программы AnyLogic.
статья, добавлен 13.04.2022Определение эффективных методов принятия решений при проектировании программных систем. Исследование, изучение и сравнение методов многокритериальных решений, связанных с моделированием программных систем. Критерии и ограничения принятия решений.
статья, добавлен 16.12.2024Основные этапы развития средств разработки программного обеспечения. Структурный, объектный и компонентный подход к программированию. Языки программирования и методологии. Система обозначений, используемых для описания некоторого класса моделей.
курсовая работа, добавлен 15.12.2019Рассмотрение проблемы угроз безопасности информации. Определение уязвимости компьютерных сетей. Характеристика средств защиты информации и их классификация. Возможности аппаратных и программных средств защиты информации, их достоинства и недостатки.
курсовая работа, добавлен 03.10.2017Данная работа представляет собой сравнительный анализ двух ведущих программных продуктов для моделирования транспортного потока: SUMO и PTV Vissim. Исследование вдавалось в особенности каждого инструмента, выявляя их возможности, преимущества, недостатки.
статья, добавлен 11.12.2024Современные способы обеспечения информационной безопасности, включающие в себя мандатный подход. Характеристика программных продуктов, поддерживающих его. ОС Astra Linux Special Edition, которая предоставляет хранилище информации о правах пользователя.
статья, добавлен 16.10.2024Рассмотрение программных решений возможностей импорта данных о товарах и поставщиках. Характеристика особенностей аналитической иерархической процедуры Саати. Изучение значения весовых коэффициентов, соответствующих функциональным возможностям продуктов.
статья, добавлен 20.07.2018Необходимость правового обеспечения, лицензирования и сертификации в области защиты информации. Применение организационных, аппаратных, криптографических, программных и физических методов и средств защиты автоматизированных систем обработки данных.
реферат, добавлен 12.09.2012Сущность информационной системы как взаимосвязанной совокупности средств, методов и персонала, используемых для хранения, обработки и выдачи информации. Классификация и структура программных продуктов обработки. Составление и расчет сетевого графика.
курсовая работа, добавлен 20.11.2013Система ввода-вывода звука. Устройства для работы с видеокадрами, хранения мультимедийной информации. Демонстрационный материал. Виды проекционной техники. Этапы создания компьютерной презентации. Разработка ее с использованием программных средств.
презентация, добавлен 19.09.2013Виды систем управления базами данных. Обеспечение безопасности информации. Работа в многопользовательских средах. Анализ основных характеристик программных продуктов, используемых в правовой сфере. Доступ к корпоративным данным посредством языка SQL.
реферат, добавлен 24.03.2022- 113. Модель жизненного цикла разработки программного обеспечения в рамках научно-исследовательских работ
Обзор проблем, возникающих при разработке экспериментальных образцов программных продуктов в рамках научно-исследовательских работ (НИР). Анализ модели жизненного цикла программного обеспечения в рамках НИР, особенности и возможности ее применения.
статья, добавлен 15.10.2018 Анализ существующих моделей и программных комплексов и систем обработки потоковой информации в многопередельном производстве (СОПИМП). Обоснование выбора базовой методологии и средств моделирования СОПИМП, особенности разработки имитационной модели.
автореферат, добавлен 02.08.2018Разработка системного подхода к инженерной подготовке и разработке организационно-технологической документации. Характеристика программных продуктов для строительного производства. Сущность создания интегрированной информационно-аналитической системы.
статья, добавлен 30.05.2017Защита программного обеспечения от несанкционированного копирования законами об авторских правах. Приобретение лицензии (права) на использование. Схемы серверных продуктов. Условно-бесплатное распространение программного обеспечения для компьютера.
реферат, добавлен 22.04.2014Понятие языка программирования. Способы и методы оптимизации программы, аспекты структурного программирования и вычисления констант, понятие оптимизирующих компиляторов. Общая характеристика основных языков программирования, их отличительные черты.
курсовая работа, добавлен 26.03.2009Анализ текущей ситуации на рынке биометрических программных интерфейсов, их внедрение для защиты важной информации, а также в современных системах обеспечения безопасности. Использование биометрических программных интерфейсов в банковском секторе.
статья, добавлен 19.12.2017Автоматизация тестирования коммерческих программных продуктов. Методы многокритериальной оптимизации оценки экономической эффективности. Разработка приложений, соответствующих требованиям сервис-ориентированных архитектур. Информационное обеспечение.
дипломная работа, добавлен 13.04.2022Исследование программной системы, предназначенной для моделирования и верификации вероятностных многоагентных систем. Вероятностные темпоральные логики ветвящегося и линейного времени. Алгоритм верификации полиномиальной сложности. Язык программ агентов.
статья, добавлен 19.01.2018Группы программных средств, применяемых в экономических информационных системах. Значение и основные компоненты экспертных систем. Характеристика многомерных, реляционных и гибридных OLAP продуктов. Роль Internet-технологий в современной экономике.
реферат, добавлен 23.10.2012Анализ особенностей разработки и стандартизации программных средств и информационных технологий, рассмотрение основных требований. Знакомство с этапами формирования отчета "Заказы за период". Общая характеристика способов установки и запуска программы.
курсовая работа, добавлен 14.06.2013Разработка методики анализа программного кода на предмет анализируемости, позволяющей получать объективную, количественную оценку показателя качества в соответствии с поставленными требованиями, назначением и специфическими особенностями продукта.
автореферат, добавлен 02.05.2018Рассмотрение основных угроз информационной безопасности и их классификация. Характеристика и классификация средств защиты информации. Раскрытие возможности аппаратных и программных средств защиты информации, выявление их достоинств и недостатков.
курсовая работа, добавлен 05.05.2019Применение автоматизированных систем в управлении, направления и преимущества их использования. Рассмотрение лидирующих производителей программных продуктов на рынке России и стран Содружества Независимых Государств, перспективы и сложности их развития.
статья, добавлен 25.07.2021