Прогнозирование вероятности скрытых дефектов критического программного обеспечения с заданной точностью
Количественная оценка надежности и функциональной безопасности критических систем. Модель остаточных и скрытых дефектов. Процедура экспериментальной калибровки чувствительности к дефектам и степени разнообразия контроля бездефектности исходных кодов.
Подобные документы
Изучение основных понятий, методов и моделей программной инженерии, составляющих процесса разработки программного обеспечения. Разработка функциональной структуры программного обеспечения. Разработка программного кода. Анализ программного продукта.
лабораторная работа, добавлен 20.09.2016Методы обеспечения высокой степени надежности автоматизированных информационных систем. Современные технологии и подходы к предотвращению и устранению сбоев в функционировании ИС. Методы оптимизации управления ИС с учетом требований к надежности.
статья, добавлен 09.12.2024Безопасность программного обеспечения. Профессиональные технологии проведения атак и взломов программного кода. Примеры кодов из программ, вносимых хакерами. Взлом серверных приложений и клиентских программ. Обновления для систем обнаружения вторжений.
книга, добавлен 03.03.2011Рассмотрение автоматизированного обнаружения дефектов на зданиях с использованием искусственного интеллекта. Изучение методов, включая YOLOv8 и ResNet, для оптимизации выбора зданий для ремонта. Применение нейронных сетей для точного выделения дефектов.
статья, добавлен 30.10.2024Выбор архитектуры программного обеспечения. Инструментарий разработки программного обеспечения. Обеспечение информационной безопасности при эксплуатации экономических информационных систем. Экономическая эффективность от внедрения программного продукта.
дипломная работа, добавлен 10.07.2017Анализ проблем проектирования программного обеспечения для вычислительных систем специального назначения. Определение основных этапов процесса создания функционального программного обеспечения. Особенности выбора языка программирования и системы контроля.
статья, добавлен 10.03.2018Разработка процедур анализа многоверсионных систем в части адаптации существующих моделей надежности и функциональной безопасности. Оценка эффективности комбинаторной схемы, теоретико-множественной модели и метрики многоверсионности данных систем.
статья, добавлен 14.07.2016Способы ускорения процессов разработки и тестирования программного обеспечения с целью повышения качества выдаваемого продукта. Обнаружение разнообразных дефектов и слабых мест исходного кода. Исследование безопасности, поиск уязвимостей и ошибок.
статья, добавлен 03.05.2019Создание программного обеспечения для проведения преподавателем интерактивных уроков по дисциплине "Немецкий язык". Физическая и логическая структура программного обеспечения, описание его исходных кодов. Описание подпрограмм "Видео-урок" и "Аудио-урок".
дипломная работа, добавлен 17.09.2013Изучение методов команды READ в Visual FoxPro. Создание и использование представлений таблиц. Автоматическая защита скрытых данных. Способы обновления существующих и внесения новых записей в многотабличные представления программного обеспечения.
лекция, добавлен 14.02.2014Анализ характера поверхностных дефектов на металлопрокате первого и второго переделов. Определение процента поверхностных дефектов листового проката, выявляемых лабораторией металлографического контроля из-за пузырей, волосовин, трещин, расслоений.
статья, добавлен 01.07.2018- 37. Пропускная способность транспортного уровня беспроводных локальных сетей при наличии скрытых станций
Проведение анализа процедуры обмена кадрами между клиентскими компьютерами и точкой доступа беспроводной локальной компьютерной сети стандарта 802.11b. Работа в инфраструктурном режиме при наличии скрытых станций с использованием процедуры RTS/CTS.
статья, добавлен 28.09.2016 Разработка программного обеспечения средств диагностики систем сетевого мониторинга. Описание установки ядра системы из исходных кодов и репозитария, ее конфигурирование. Заполнение описаний хостов и служб. Описание веб-интерфейса системы; расчёт затрат.
дипломная работа, добавлен 27.04.2014Жизненный цикл программного обеспечения компьютерных систем. Технологическая и эксплуатационная безопасность программ. Доказательства правильности программ и их спецификаций. Анализ безопасности программного обеспечения, целостности программного кода.
книга, добавлен 15.09.2012Обзор базовой функциональности программного обеспечения, его специфические особенности. Характеристика программного обеспечения для построения распределенных и надежных веб-систем. Исследование основных критериев для сравнения программного обеспечения.
статья, добавлен 11.01.2018Особенность автоматизации и контроля результатов обучения при помощи вычислительных систем. Исследование классификации информационных систем. Разработка объектно-ориентрованной модели программного обеспечения заданной вариантом предметной области.
курсовая работа, добавлен 30.03.2019Проектирование и разработка программы для определения надежности тестируемого программного обеспечения различными моделями с использование языка C# и Visual Studio 2013. Описание технологии и методов разработки приложения, характеристика его макета.
курсовая работа, добавлен 26.09.2017Исследование проблемы обеспечения функциональной безопасности информационно-управляющих систем, а также определение требований и параметров ее сертификации. Разработка и характеристика этапов метода сертификации информационно-управляющих систем.
статья, добавлен 14.08.2016Рассмотрение инструментальных средств диагностирования и восстановления работоспособности систем стабилизации и ориентации. Описание программного комплекса отладки модулей обеспечения функциональной устойчивости и их алгоритмического обеспечения.
статья, добавлен 14.07.2016Жизненный цикл программного обеспечения. Сущность программного продукта. Единая система программной документации. Процессы жизненного цикла программного обеспечения. Модели и стадии ее осуществления. Требования к методам и технологиям проектирования ПО.
контрольная работа, добавлен 21.11.2016Проектирование контроллера управления вентиляционных систем и соответствующего программного обеспечения. Основные характеристики микроконтроллера. Разработка функциональной и принципиальной схемы устройства структуры программного обеспечения и модуля.
практическая работа, добавлен 03.06.2015Авторизация и аутентификация пользователей - одна из задач веб-сервера. Удобство использования, посредством открытости исходных кодов и бесплатной загрузки - преимущество открытого программного обеспечения. Порядок подключения сервера и базы данных.
курсовая работа, добавлен 22.06.2021Общие положения организации поверки и калибровки информационных измерительных систем на предприятии. Методы контроля метрологических характеристик и определения погрешности. Проблемы и способы решения в области поверки и калибровки данных систем.
курсовая работа, добавлен 22.08.2016- 49. Обеспечение целостности данных в автоматизированных системах на основе линейных систем хэш-кодов
Задача уменьшения избыточности контрольной информации (сигнатур хэш-функций, электронных подписей) для обеспечения целостности записей данных. Понятие и разработка алгоритма контроля целостности (защищенности) построения линейных систем хэш-кодов (ЛСХК).
реферат, добавлен 22.05.2017 Вероятность безотказного выполнения программ. Характеристики, определяющие надежность функционирования программного обеспечения. Классификация моделей надежности и их характеристика. Методические указания по выполнению расчета вероятностных показателей.
реферат, добавлен 16.12.2013