Применение графо-аналитических моделей при верификации программных продуктов
Научно-технические аспекты процедуры сертификации по требованиям безопасности информации программных продуктов в России. Исследование методики верификации программных средств с использованием графо-аналитической модели и комплексных кубических покрытий.
Подобные документы
Рассмотрение стандартов информационных технологий в области разработки программных средств. Особенности методик и технологий внутрикорпоративных стандартов. Основные этапы разработки внутрикорпоративного стандарта. Разработка программного обеспечения.
презентация, добавлен 31.10.2016Методы для анализа и оценки качества программных продуктов, автоматизирующих расчёты ресурсов и экономическую эффективность проекта. Характеристика режимов и уровней модели конструктивных затрат. Определение трудоёмкости и времени разработки программы.
статья, добавлен 24.07.2020Проектирование локальной сети предприятия и организация защиты информации. Характеристики и параметры оборудования вычислительных сетей. Разработка проектной документации программных продуктов с использованием современных пакетов прикладных программ.
отчет по практике, добавлен 29.05.2015Использование прикладного программного обеспечения для решения повседневных задач обработки информации. Классификация программных средств. Жизненный цикл прикладной программы, методология и технология ее разработки. Тестирование программных средств.
курсовая работа, добавлен 07.06.2013Анализ и разработка методов защиты информации без использования вспомогательных аппаратных средств. Создание интегрируемого пакета программных модулей для защиты систем автоматизации дистанционного обучения (АСДО) вне доверенной вычислительной среды.
дипломная работа, добавлен 11.08.2010Дидактическая роль программ финансового анализа и создание модели нового или действующего предприятия. Характеристика аналитической системы Project Expert, ее возможности, достоинства и недостатки. Сравнительный анализ и значение программных продуктов.
реферат, добавлен 10.08.2011Программные средства различного назначения в едином комплексе. Классификация программных закладок. Модели взаимодействия программных закладок с компьютером. Защита от программных закладок. Хранение истории запроса в браузере. Удаление истории запроса.
курсовая работа, добавлен 13.01.2014Классификация продуктов, выполняющих кластеризацию текстовой информации. Описание платформ RapidMiner, SAS analytics, Demantra, IBM SPSS Modeler, STATISTICA Text Miner. Выбор лучшего программного продукта среди аналогов с помощью метода Т. Саати.
статья, добавлен 07.11.2018Исследование и характеристика особенностей программных продуктов конкурентов. Ознакомление с основными требованиями к информационной и программной совместимости. Определение и анализ значения электронных носителей информации в учебных заведениях.
курсовая работа, добавлен 16.02.2016Применение объектно-ориентированного подхода к проектированию программных продуктов. Особенность исследования основных языков программирования. Главные характеристики продукта Delphi. Исследование масштабируемых средств для построения баз данных.
лекция, добавлен 03.03.2018Рассмотрение цифровой системы управления на основе интеграции математических и схемотехнических программных средств. Создание библиотек программных моделей. Микросхемы, специализированные для цифрового управления преобразовательными устройствами.
статья, добавлен 27.02.2019Исследование встроенных средств развития, предназначенных для сборки программных систем (ПС) из готовых проблемных модулей. Анализ канонической структуры и средств декларации оболочки ПС. Пример создания компоненты ПС в виде схемы потоков данных.
статья, добавлен 15.04.2018Сравнительный анализ программных средств оценки восприятия человеком зрительной информации. Критерии исследования (качество, скорость, гибкость настройки параметров, полнота отчетов, удобство интерфейса). Показатель качества, превышающий базовое значение.
статья, добавлен 20.07.2018Изучение средств защиты от несанкционированного доступа. Суть программных, аппаратных и программно-аппаратных методов охраны информации. Основные принципы информационной безопасности. Применение нагрузочного, регрессионного и системного тестирования.
статья, добавлен 08.06.2018Проблемы организации документирования программных средств. Цикл поэтапного определения формирования совокупности спецификаций требований к компонентам и документации проекта. Реальные ограничения ресурсов, используемых в процессе его разработки.
реферат, добавлен 14.02.2015Принципы взаимодействия между клиентскими и серверными частями в локальных сетях Интернет. Основные преимущества протоколов удаленного вызова процедур и архитектура процессора базы данных. Анализ программных средств разработки персональных баз данных.
курсовая работа, добавлен 29.07.2015Эффективность и оптимизация программ. Обеспечение качества, назначение, область применения программного продукта. Контроль информации, требования к составу и параметрам технических средств, программной совместимости. Организация входных и выходных данных.
курсовая работа, добавлен 29.05.2013Разработка коммерческих программных продуктов с помощью языка программирования С++. Основная сущность алгоритма и его свойств. Исследование переменной структурированного типа в программе. Анализ объявления массива с использованием собственного типа.
контрольная работа, добавлен 23.12.2016Состав и особенности эксплуатации программных и технических средств обработки информации в Институте развития информационного общества (ИРИО). Анализ использования технических и программных средств подразделения на примере работы проекта "Субсидии".
отчет по практике, добавлен 09.12.2015Технические условия для сертификации прикладных программных средств тренажеров тепловых электростанций и сетей. Программа реформирования системы профессиональной подготовки, переподготовки и повышения квалификации персонала. Специализированный тренажер.
статья, добавлен 26.02.2017Средства и методы имитационного моделирования. Обоснование и выбор компонентов и программных средств управления. Тестирование, отладка и моделирование работы системы, соответствие техническому заданию. Составление имитационной модели разработанной сети.
дипломная работа, добавлен 28.11.2012Организационная структура ЧП "КИТ-Центр", применение процессных методов в управлении деятельностью ИТ-подразделения. АРМ сотрудников, автоматизация учета с использованием программных продуктов. Современные технологии при разработке серверных приложений.
отчет по практике, добавлен 12.12.2014Защита информации в автоматизированных системах обработки данных. Концептуальная модель информационной безопасности. Характеристика условий доступа к конфиденциальной информации и неправомерного использования. Эффективность программных средств защиты.
контрольная работа, добавлен 08.03.2011Программное обеспечение для формирования плана оптимальной укладки грузов в транспортное средство. Экономия средств при использовании CargoWiz. Графическая спецификация погрузки. Сравнительный анализ программных средств. Система идентификации водителя.
статья, добавлен 31.07.2018Расширение методологии проектирования интеллектуальных программных агентов для крупномасштабных гетерогенных сетей. Методика заполнения параметрического пространства расширенной объектно-ориентированной модели интеллектуального программного агента.
статья, добавлен 06.05.2018