Применение графо-аналитических моделей при верификации программных продуктов
Верификации программных продуктов как проблема информационной безопасности. Особенности применения графо-аналитических моделей при верификации программных продуктов. Анализ перспектив использования кубических покрытий в областях безопасности информации.
Подобные документы
Разработка программных продуктов и применение техники декомпозиции. Объектно-ориентированное представление программных систем и его основание на принципах абстрагирования, инкапсуляции, модульности и иерархической организации программных продуктов.
статья, добавлен 02.02.2019Современные подходы к процедуре верификации программных средств. Показано, что процедура верификации должна включать три стадии. Разработаны положения процедуры проверки программного средства, являющегося частью методики определения условий облучения.
статья, добавлен 03.10.2013Исследование аналитических программных продуктов, позволяющих максимально автоматизировать анализ инвестиционного проекта в строительстве. Сравнительная характеристика программных продуктов по стоимости лицензии, системным требованиям и языку интерфейса.
статья, добавлен 25.04.2016Разработка метода проектирования программных моделей протоколов передачи данных. Разработка алгоритма разметки раскрашенной сети Петри для осуществления верификации архитектурных диаграмм программных моделей. Метод построения раскрашенной сети Петри.
автореферат, добавлен 02.12.2017Разработка метода верификации описаний аппаратуры на основе использования эталонных программных моделей. Исследование зависимости качества тестирования и времени его проведения. Нахождение ошибок в процессе верификации в проекте высокой сложности.
автореферат, добавлен 02.05.2018Автоматизация управления и учета на базе программных продуктов 1С. Разработка и внедрение на предприятиях собственной конфигурации программы. Анализ и выявление "слабых" сторон в организации бизнес-процесса "Сопровождение программных продуктов 1С".
курсовая работа, добавлен 30.01.2014Анализ подходов к верификации систем на примере политик безопасности компьютерных сетей. Разработка моделей реализации модуля верификации с применением исчисления событий и абдуктивного вывода, и модуля, использующего технологию верификации на модели.
статья, добавлен 17.01.2018Исследование функциональных возможностей программных продуктов, ориентированных на построение концептуальных схем баз данных в виде ER-диаграмм. Сравнительный анализ программных продуктов с использованием аналитической иерархической процедуры Саати.
статья, добавлен 21.05.2017Понятия о компьютерной безопасности. Компъютерные вирусы, их типы, три рубежа и три метода защиты. Использование антивирусных программных продуктов. Предотвращение или минимизация разрушительных последствий, отложенная обработка опасных объектов.
курсовая работа, добавлен 04.04.2009Основные положения метрологии программных продуктов, исторически важные этапы в ее развитии. Примеры метрик процесса, проекта и продукта, набор основных метрических показателей. Критерии качества комплексов программ и корректность программных средств.
реферат, добавлен 27.05.2015Марковская цепь, описывающая процесс "гибель-размножение". Статистический анализ баз данных уязвимостей CVE и NVD. Вероятность нахождения k уязвимостей, оценка информационной безопасности. Защищённость программных продуктов от информационных вторжений.
статья, добавлен 28.02.2016Особенности правового регулирования на информационном рынке. Специфика программно-технической защиты программных продуктов. Правовые методы защиты программных продуктов и баз данных. Особенности разработки баз данных при помощи Microsoft Access.
реферат, добавлен 07.12.2010Анализ и обоснование создания системы управления процессом разработки программных продуктов. Функциональные требования к системе управления процессом разработки программных продуктов "Короб-IT". Обоснование проектных решений по видам обеспечения.
научная работа, добавлен 09.04.2019Характеристика основных форматов представления учебного материала. Описание критериев для сравнительного анализа программных продуктов для озвучивания текста. Анализ весовых коэффициентов критериев качества. Определение интегральных показателей качества.
статья, добавлен 27.05.2017Обзор программных продуктов, применяемых на практике для исследования метрических характеристик баз данных. Описание и анализ особенностей применения исследуемых программ, оценка их главных преимуществ и недостатков, условия и возможности применения.
статья, добавлен 30.07.2018Разработка нейро-нечеткого метода обработки информации для создания моделей оценки сложности разрабатываемых программных средств. Результаты применения предлагаемого подхода к оценке сложности программных средств. Автоматизированное построение моделей.
статья, добавлен 19.01.2018Анализ опыта верификации и валидации информационно-измерительных и управляющих систем для АЭС. Разработка проектных решений по системе внутриреакторного контроля. Характеристика информационных и программных средств для отдельных модулей атомной станции.
автореферат, добавлен 02.08.2018Практическое применение метода Саати для анализа и сравнения программных продуктов. Выявление наиболее эффективного продукта по заданным критериям как итог проведённого сравнения. Основные программные продукты для оценки инвестиционных проектов.
статья, добавлен 20.07.2018- 19. Анализ программных продуктов для автоматизации контроля законности строительства в городе Краснодар
Анализ программного обеспечения для автоматизации контроля законности возведения новостроек. Правовые особенности долевого, паевого участия в строительстве многоквартирных домов. Сравнительный анализ программных продуктов, используемых в данном процессе.
статья, добавлен 25.05.2017 Инструментарии анализа качества программных продуктов. Дефектологические свойства разделяют надефектогенность, дефектабельность и дефектоскопичность. Стандарты управления качеством промышленной продукции. Корректность и устойчивость программных систем.
реферат, добавлен 01.10.2024Назначение методов верификации программного обеспечения. Оценка технического состояния и работоспособности программного обеспечения. Анализ преимуществ и недостатков использования частично формализованных методов верификации программного обеспечения.
статья, добавлен 28.05.2017Обзор особенностей и возможностей ряда браузеров от известных разработчиков программного обеспечения. Анализ этапов совершенствования версий браузера Opera. Возможности использования режимов и назначения новейших программных продуктов на его примере.
курсовая работа, добавлен 21.10.2013Описание наиболее известных программных продуктов, позволяющих документировать базы данных, и библиотек генерации отчетов. Сравнительный анализ программных продуктов, в котором выделены следующие критерии: время, полнота документирования, формат данных.
статья, добавлен 16.07.2018AutomatiCS ADT как современная автоматизированная система проектирования систем контроля и управления: анализ программного пакета, анализ сфер применения. Рассмотрение программных продуктов для автоматизации проектирования технического обеспечения АСУТП.
статья, добавлен 22.03.2018Систематическое изложение принципов, моделей и методов, используемых в инженерном цикле разработки сложных программных продуктов. Классические основы программной инженерии, научные и практические достижения, характеризующие динамику развития этой области.
учебное пособие, добавлен 15.09.2017