Применение графо-аналитических моделей при верификации программных продуктов
Научно-технические аспекты процедуры сертификации по требованиям безопасности информации программных продуктов в России. Исследование методики верификации программных средств с использованием графо-аналитической модели и комплексных кубических покрытий.
Подобные документы
Использование различных механизмов защиты с целью обеспечения информационной безопасности организации. Условия применение физических, аппаратных, программных, аппаратно-программных, криптографических, административных и морально-этических средств защиты.
статья, добавлен 30.03.2019Рассмотрение современных программных средств для решения задач организации строительства. Характеристика специальных ПК для решения задач организации строительства. Исследование распространенных примеров применения программных средств в строительстве.
реферат, добавлен 30.03.2016- 53. Обзор программных продуктов в области корпоративных информационных систем управления предприятием
Характеристика возможностей программных продуктов в области корпоративных информационных систем управления предприятием. Ознакомление с функциональной структурой системы "Галактика". Рассмотрение и анализ основных компонентов программы "Lotus Notes".
статья, добавлен 18.12.2017 Обзор программных продуктов, применяемых на практике для исследования метрических характеристик баз данных. Описание и анализ особенностей применения исследуемых программ, оценка их главных преимуществ и недостатков, условия и возможности применения.
статья, добавлен 30.07.2018Экспертная оценка качества инновационных программных продуктов, обоснование управленческих решений. Критерии комбинаторного покрытия для получения набора тестов и экспертных оценок. Правомерность использования возможностей метода модульного тестирования.
статья, добавлен 22.05.2017Определение основных направлений компьютерных преступлений. Исследование методов защиты информации. Характеристика программных и программно-аппаратных методов защиты. Обзор современных программных средств, обеспечивающих обслуживание устройств ПК.
реферат, добавлен 22.04.2016UML как язык визуального описания принципов работы программных продуктов, созданный для определения, визуализации, проектирования и документирования, в основном, программных систем. Плюсы и минусы языка моделирования, динамичное развитие и поддержка.
статья, добавлен 30.04.2019Наиболее важные по роду аналитической деятельности качества программных продуктов, используемых в стоимостном анализе банков. Возможности современных информационных систем банковского аналитика. Анализ доступности продуктов и оценка их интерфейса.
статья, добавлен 06.03.2019AutomatiCS ADT как современная автоматизированная система проектирования систем контроля и управления: анализ программного пакета, анализ сфер применения. Рассмотрение программных продуктов для автоматизации проектирования технического обеспечения АСУТП.
статья, добавлен 22.03.2018Анализ определяющих требований к разрабатываемой документации и определяющих процессов жизненного цикла программных средств. Документирование программных изделий. Пользовательская документация программных средств и документация по их сопровождению.
курсовая работа, добавлен 27.05.2014Анализ проблем при разработке крупных программных продуктов. Изучение особенностей обнаружения дублирующегося кода и его последующего удаления. Аналитическое определение порогового значения размера фрагмента кода. Формализация математической модели.
статья, добавлен 10.08.2018Разработка структурной и инфологической модели. Идентификация аппаратных и информационных ресурсов. Перечень угроз и их описание на основе стандарта ISO/IEC PDTR 13335. Политика информационной безопасности по разработке и реализации программных средств.
курсовая работа, добавлен 15.11.2009Анализ существующих программных агентов, описание инструментария. Языки программирования и платформы для создания программных агентов. Средства спецификаций типовых моделей. Архитектура мультиагентных приложений. Модель программного агента ресурсов.
дипломная работа, добавлен 27.10.2016Виды и задачи программных средств для несанкционированного доступа (НСД). Классификация программных средств для НСД. Методы защиты информации. Сущность использования "люков" или "trap door". Основные цели функционирования программ типа логической бомбы.
реферат, добавлен 12.10.2010Анализ индустрии программного обеспечения России. Назначение проекта "1С" для автоматизации бухгалтерского учета. Система распознавания FineReader. Особенность архиватора WinRAR. Применение "Антивируса Касперского" для защиты компьютерной информации.
реферат, добавлен 07.07.2014Возможности модельно-ориентированное проектирование при помощи программных продуктов MathWorks, позволяющие автоматизировать процесс разработки, отладки и верификации программного обеспечения для встраиваемых систем управления. Пакет прикладных программ.
статья, добавлен 13.02.2016Создание специализированных программных продуктов системной обработки геолого-геофизической информации. Создание моделей функционирования подземных резервуаров. Программно-технические продукты, увязываемые с системой управления базой данных скважины.
статья, добавлен 14.12.2015Рассматриваются вопросы построения модели качества программных средств космического назначения (ПСКН). С учетом особенностей ПСКН и требований к ним предложена базовая модель качества. Целесообразность иерархической структуры для модели качества ПС.
статья, добавлен 20.01.2018Рассмотрение продуктов для проектного менеджмента ввиду появления новых бизнес-моделей продажи и распространения программных продуктов. Характеристика преимуществ продажи дистрибутива продукта на физическом носителе или по электронным каналам связи.
статья, добавлен 24.01.2017Выбор программных средств систем контроля, управления доступом. Вопросы выбора программных средств систем контроля и управления доступом. Биометрические средства аутентификации. Специфика аппаратурной реализации отдельных методов биометрического контроля.
реферат, добавлен 27.04.2022Краткая характеристика материально-технического и программного обеспечения учебных лабораторий КиТ. Осуществление интеграции программных модулей. Ревьюирование программных продуктов. Изучены основы проектирования и разработка информационных систем.
отчет по практике, добавлен 11.05.2021Обеспечение безопасности взаимодействия пользователей, процессов и систем как одна из актуальных задач защиты информации в информационно-телекоммуникационных сетях. Общая характеристика методов и средств верификации криптографических протоколов.
статья, добавлен 24.03.2019Необходимость применения инструментальных программных средств при изучении алгоритмов дискретной математики. Иллюстрация пошагового процесса решения задачи о максимальном потоке. Описание всех этапов взаимодействия программного средства и пользователя.
статья, добавлен 10.08.2018Рассмотрение стандартов информационных технологий в области разработки программных средств. Особенности методик и технологий внутрикорпоративных стандартов. Основные этапы разработки внутрикорпоративного стандарта. Разработка программного обеспечения.
презентация, добавлен 31.10.2016Методы для анализа и оценки качества программных продуктов, автоматизирующих расчёты ресурсов и экономическую эффективность проекта. Характеристика режимов и уровней модели конструктивных затрат. Определение трудоёмкости и времени разработки программы.
статья, добавлен 24.07.2020