Применение графо-аналитических моделей при верификации программных продуктов
Научно-технические аспекты процедуры сертификации по требованиям безопасности информации программных продуктов в России. Исследование методики верификации программных средств с использованием графо-аналитической модели и комплексных кубических покрытий.
Подобные документы
Анализ опыта верификации и валидации информационно-измерительных и управляющих систем для АЭС. Разработка проектных решений по системе внутриреакторного контроля. Характеристика информационных и программных средств для отдельных модулей атомной станции.
автореферат, добавлен 02.08.2018Концепция и сущность управления качеством программного обеспечения. Роль стандартизации и сертификации в управлении качеством программных систем. Способы защиты программных продуктов от копирования, модификации фрагмента программы, отражающего авторство.
лабораторная работа, добавлен 21.12.2012- 28. Оценка структурной сложности программных средств в промышленности на ранних стадиях жизненного цикла
Алгоритм построения модели для оценки структурной сложности объектов программных средств. Разработка информационной системы интеллектуальной поддержки управленческих решений при планировании материальных и временных ресурсов для программных средств.
автореферат, добавлен 02.07.2018 Разработка конфигурации "Автоматизация учета продаж программных продуктов, поставляемых франчайзинговой фирмой" на платформе "1С: Предприятие 8.2.". Составление алгоритма поиска информации о поставщиках, клиентах и реализуемой продукции, доходе фирмы.
дипломная работа, добавлен 21.02.2016Исследование модифицированной модели процесса тестирования программных средств управления предприятием, которая показывает возможность значительно снизить затраты и время на их реализацию. Критерии выбора программного обеспечения для установки на сервер.
статья, добавлен 16.08.2018Систематическое изложение принципов, моделей и методов, используемых в инженерном цикле разработки сложных программных продуктов. Классические основы программной инженерии, научные и практические достижения, характеризующие динамику развития этой области.
учебное пособие, добавлен 15.09.2017Использование аппарата многофрагментного моделирования для учета изменения интенсивности отказов программных средств. Исследование моделей с накоплением в оперативной памяти и реестре ошибок и их устранением. Анализ характера поведения функции готовности.
статья, добавлен 28.02.2016Определение значения учета горюче-смазочных материалов, как одного из основных процессов на каждом предприятии. Рассмотрение интегрального показателя качества для программных продуктов учета. Исследование и анализ качеств функциональных возможностей.
статья, добавлен 11.03.2019Анализ производительности и работоспособности трудовой деятельности сметчиков, увеличения сферы программных продуктов. Раскрытие основных преимуществ и значимости сметных программных продуктов "Гранд-Смета", "Smeta.RU", "1С: Смета", "Смета Визард".
статья, добавлен 26.07.2018Порядок подтверждения соответствия программного продукта государственным стандартам в области информационных технологий. Методики проведения сертификационных испытаний. Документирование процессов и результатов сертификации в Российской Федерации.
контрольная работа, добавлен 12.01.2015Анализ программных средств для разработки интерфейса мобильных приложений: Appery.io, TheAppBuilder, IDE проект Eclipse, Intellij IDEA, MicrosoftVisualStudio, SAP Fiori, IDE проект XCode. Достоинства и недостатки, обзор стоимости программных средств.
статья, добавлен 03.03.2018Изучение понятия облачных вычислений, как технологии распределённой обработки данных, в которой компьютерные ресурсы и мощности предоставляются пользователю как интернет-сервис. Обзор программных продуктов 1С, реализующих технологию облачных вычислений.
курсовая работа, добавлен 15.05.2014Формы организации производственного процесса и его технологическим обеспечением. Состав и особенности эксплуатации программных и технических средств обработки информации. Исследование информационной среды предприятия, методов и средств ее создания.
отчет по практике, добавлен 07.08.2013Определение основных организационных и экономических причин возникновения широкого развития программных решений с открытым кодом. Задачи, решаемые с использованием программных продуктов с открытым исходным кодом, основные инструменты их разработки.
статья, добавлен 15.08.2020Анализ подходов к верификации систем на примере политик безопасности компьютерных сетей. Разработка моделей реализации модуля верификации с применением исчисления событий и абдуктивного вывода, и модуля, использующего технологию верификации на модели.
статья, добавлен 17.01.2018Общая характеристика компьютерных кодов и программных средств. Разработка программных средств и расчетных кодов для атомных электростанций. Использование программных средств для расчета скоростей эрозионно-коррозионного износа поврежденных трубопроводов.
статья, добавлен 19.11.2018Информационная система как среда, которая состоит из элементов: компьютеров, сетей, программных продуктов, баз данных, различных технических и программных средств связи. Принципы и подходы к ее проектированию, этапы данного процесса и требования к нему.
статья, добавлен 07.10.2015Системное проектирование программных средств. Статистические характеристики проявления ошибок в программах. Стандартизация обеспечения качества программных средств за рубежом. Модели качества процессов разработки ПО, основные понятия сертификации.
курс лекций, добавлен 08.11.2012- 44. Анализ программных продуктов для автоматизации контроля законности строительства в городе Краснодар
Анализ программного обеспечения для автоматизации контроля законности возведения новостроек. Правовые особенности долевого, паевого участия в строительстве многоквартирных домов. Сравнительный анализ программных продуктов, используемых в данном процессе.
статья, добавлен 25.05.2017 Обзор особенностей и возможностей ряда браузеров от известных разработчиков программного обеспечения. Анализ этапов совершенствования версий браузера Opera. Возможности использования режимов и назначения новейших программных продуктов на его примере.
курсовая работа, добавлен 21.10.2013Элементы системы контроля версий (СКВ) программных продуктов. Критерии выбора и архитектура. Типовые примеры веток. Схема локальной СКВ. Централизованное управление версиями. Распределенные системы контроля версий. Контентно-адресуемая файловая система.
курсовая работа, добавлен 19.05.2014Мотивация использования высокоуровневых языковых расширений. Особенности и описание модели автоматизируемого программного объекта. Алгоритм создания модели программного объекта, характеристика его основных свойств. Процесс разработки семейства программ.
статья, добавлен 10.03.2018Использование библиотек Code Contracts, Contract++, PhpDeal, Cerny.js и jContractor для реализации принципов контрактного программирования. Применение аналитической иерархической процедуры Саати для проведения сравнительного анализа программных продуктов.
статья, добавлен 20.07.2018Свойства и атрибуты качества функциональных возможностей программных средств. Оценивание корректности программных средств. Способности к взаимодействию программных средств и их компонентов. Разработка алгоритма оценки качества ПО в процессе тестирования.
дипломная работа, добавлен 10.06.2011Развитие программных агентов и средств из разработки. Средства спецификаций типовых моделей. Языки программирования и программные платформы для создания программных агентов. Архитектура мультиагентных приложений. Модель программного агента ресурсов.
дипломная работа, добавлен 19.10.2016