Применение графо-аналитических моделей при верификации программных продуктов
Научно-технические аспекты процедуры сертификации по требованиям безопасности информации программных продуктов в России. Исследование методики верификации программных средств с использованием графо-аналитической модели и комплексных кубических покрытий.
Подобные документы
Современные подходы к процедуре верификации программных средств. Показано, что процедура верификации должна включать три стадии. Разработаны положения процедуры проверки программного средства, являющегося частью методики определения условий облучения.
статья, добавлен 03.10.2013Исследование функциональных возможностей программных продуктов, ориентированных на построение концептуальных схем баз данных в виде ER-диаграмм. Сравнительный анализ программных продуктов с использованием аналитической иерархической процедуры Саати.
статья, добавлен 21.05.2017Исследование аналитических программных продуктов, позволяющих максимально автоматизировать анализ инвестиционного проекта в строительстве. Сравнительная характеристика программных продуктов по стоимости лицензии, системным требованиям и языку интерфейса.
статья, добавлен 25.04.2016Разработка программных продуктов и применение техники декомпозиции. Объектно-ориентированное представление программных систем и его основание на принципах абстрагирования, инкапсуляции, модульности и иерархической организации программных продуктов.
статья, добавлен 02.02.2019Основные положения метрологии программных продуктов, исторически важные этапы в ее развитии. Примеры метрик процесса, проекта и продукта, набор основных метрических показателей. Критерии качества комплексов программ и корректность программных средств.
реферат, добавлен 27.05.2015Автоматизация управления и учета на базе программных продуктов 1С. Разработка и внедрение на предприятиях собственной конфигурации программы. Анализ и выявление "слабых" сторон в организации бизнес-процесса "Сопровождение программных продуктов 1С".
курсовая работа, добавлен 30.01.2014Разработка метода проектирования программных моделей протоколов передачи данных. Разработка алгоритма разметки раскрашенной сети Петри для осуществления верификации архитектурных диаграмм программных моделей. Метод построения раскрашенной сети Петри.
автореферат, добавлен 02.12.2017Рассмотрение подхода к количественной оценке существующих программных продуктов расчета метрических характеристик физических схем баз данных. Использование иерархической аналитической процедуры Саати при количественной оценке программного продукта.
статья, добавлен 21.05.2016Разработка нейро-нечеткого метода обработки информации для создания моделей оценки сложности разрабатываемых программных средств. Результаты применения предлагаемого подхода к оценке сложности программных средств. Автоматизированное построение моделей.
статья, добавлен 19.01.2018Понятия о компьютерной безопасности. Компъютерные вирусы, их типы, три рубежа и три метода защиты. Использование антивирусных программных продуктов. Предотвращение или минимизация разрушительных последствий, отложенная обработка опасных объектов.
курсовая работа, добавлен 04.04.2009Разработка метода верификации описаний аппаратуры на основе использования эталонных программных моделей. Исследование зависимости качества тестирования и времени его проведения. Нахождение ошибок в процессе верификации в проекте высокой сложности.
автореферат, добавлен 02.05.2018Марковская цепь, описывающая процесс "гибель-размножение". Статистический анализ баз данных уязвимостей CVE и NVD. Вероятность нахождения k уязвимостей, оценка информационной безопасности. Защищённость программных продуктов от информационных вторжений.
статья, добавлен 28.02.2016Обеспечение безопасности программных средств современных компьютерных систем на протяжении всего их жизненного цикла. Типы систем защиты и методы, используемые при их построении. Разработка технологий, обеспечивающих безопасность программных средств.
статья, добавлен 30.01.2016Изучение основных понятий и положений методологии и технологии разработки ПО. Обзор общих принципов разработки программных систем. Разработка техники практических навыков использования инструментальных средств для разработки программных продуктов.
учебное пособие, добавлен 23.09.2017Разработка программных продуктов для анализа фреймворков, с последующими рекомендациями для их выбора. Проектирование пользовательского интерфейса. Алгоритм проведения сравнения однотипных программных продуктов, созданных на базе различных фреймворков.
диссертация, добавлен 14.12.2019Анализ и обоснование создания системы управления процессом разработки программных продуктов. Функциональные требования к системе управления процессом разработки программных продуктов "Короб-IT". Обоснование проектных решений по видам обеспечения.
научная работа, добавлен 09.04.2019Описание наиболее известных программных продуктов, позволяющих документировать базы данных, и библиотек генерации отчетов. Сравнительный анализ программных продуктов, в котором выделены следующие критерии: время, полнота документирования, формат данных.
статья, добавлен 16.07.2018Характеристика основных форматов представления учебного материала. Описание критериев для сравнительного анализа программных продуктов для озвучивания текста. Анализ весовых коэффициентов критериев качества. Определение интегральных показателей качества.
статья, добавлен 27.05.2017Основные понятия и показатели надежности программных средств. Требования к технологии разработки сложных программных средств. Планирование и управление обеспечением качества программ. Виды тестирования для обеспечения надежности программных средств.
реферат, добавлен 04.05.2011Практическое применение метода Саати для анализа и сравнения программных продуктов. Выявление наиболее эффективного продукта по заданным критериям как итог проведённого сравнения. Основные программные продукты для оценки инвестиционных проектов.
статья, добавлен 20.07.2018Рассмотрение модели характеристик качества программного обеспечения. Определение требований пользователя к качеству в спецификациях. Характеристика уровней комплексных показателей качества программных ресурсов. Оценка мобильности программных систем.
презентация, добавлен 09.11.2015Особенности правового регулирования на информационном рынке. Специфика программно-технической защиты программных продуктов. Правовые методы защиты программных продуктов и баз данных. Особенности разработки баз данных при помощи Microsoft Access.
реферат, добавлен 07.12.2010Применение диаграмма Ганта для визуализации планов проектов. Рассмотрение процесса построения диаграммы Ганта, особенности сертификации программных средств. Построение диаграммы Ганта в Microsoft Visio, упрощение задач и детализирование процессов.
статья, добавлен 27.07.2020Сущность объектного подхода к разработке программных средств. Объектное моделирование как этап внешнего описания при объектном подходе. Особенности этапа конструирования программного средства при объектном подходе. Язык описания программных продуктов.
реферат, добавлен 18.09.2009Уязвимости программного обеспечения. Разработка программного решения для обработки исходных данных базы National Vulnerability Database. Получение статистики по уязвимостям программных продуктов, являющихся составными частями архитектуры веб-сервисов.
статья, добавлен 29.08.2016