Прогнозирование вероятности скрытых дефектов критического программного обеспечения с заданной точностью
Количественная оценка надежности и функциональной безопасности критических систем. Модель остаточных и скрытых дефектов. Процедура экспериментальной калибровки чувствительности к дефектам и степени разнообразия контроля бездефектности исходных кодов.
Подобные документы
Анализ проблем проектирования программного обеспечения для вычислительных систем специального назначения. Определение основных этапов процесса создания функционального программного обеспечения. Особенности выбора языка программирования и системы контроля.
статья, добавлен 10.03.2018Разработка процедур анализа многоверсионных систем в части адаптации существующих моделей надежности и функциональной безопасности. Оценка эффективности комбинаторной схемы, теоретико-множественной модели и метрики многоверсионности данных систем.
статья, добавлен 14.07.2016Способы ускорения процессов разработки и тестирования программного обеспечения с целью повышения качества выдаваемого продукта. Обнаружение разнообразных дефектов и слабых мест исходного кода. Исследование безопасности, поиск уязвимостей и ошибок.
статья, добавлен 03.05.2019Создание программного обеспечения для проведения преподавателем интерактивных уроков по дисциплине "Немецкий язык". Физическая и логическая структура программного обеспечения, описание его исходных кодов. Описание подпрограмм "Видео-урок" и "Аудио-урок".
дипломная работа, добавлен 17.09.2013Изучение методов команды READ в Visual FoxPro. Создание и использование представлений таблиц. Автоматическая защита скрытых данных. Способы обновления существующих и внесения новых записей в многотабличные представления программного обеспечения.
лекция, добавлен 14.02.2014- 31. Пропускная способность транспортного уровня беспроводных локальных сетей при наличии скрытых станций
Проведение анализа процедуры обмена кадрами между клиентскими компьютерами и точкой доступа беспроводной локальной компьютерной сети стандарта 802.11b. Работа в инфраструктурном режиме при наличии скрытых станций с использованием процедуры RTS/CTS.
статья, добавлен 28.09.2016 Анализ характера поверхностных дефектов на металлопрокате первого и второго переделов. Определение процента поверхностных дефектов листового проката, выявляемых лабораторией металлографического контроля из-за пузырей, волосовин, трещин, расслоений.
статья, добавлен 01.07.2018Разработка программного обеспечения средств диагностики систем сетевого мониторинга. Описание установки ядра системы из исходных кодов и репозитария, ее конфигурирование. Заполнение описаний хостов и служб. Описание веб-интерфейса системы; расчёт затрат.
дипломная работа, добавлен 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- 44. Обеспечение целостности данных в автоматизированных системах на основе линейных систем хэш-кодов
Задача уменьшения избыточности контрольной информации (сигнатур хэш-функций, электронных подписей) для обеспечения целостности записей данных. Понятие и разработка алгоритма контроля целостности (защищенности) построения линейных систем хэш-кодов (ЛСХК).
реферат, добавлен 22.05.2017 Вероятность безотказного выполнения программ. Характеристики, определяющие надежность функционирования программного обеспечения. Классификация моделей надежности и их характеристика. Методические указания по выполнению расчета вероятностных показателей.
реферат, добавлен 16.12.2013Применение средств контроля целостности данных. Основные составляющие информационной безопасности. Анализ угроз нарушения контроля целостности. Методы и средства защиты информации. Установка и настройка программного обеспечения для контроля целостности.
курсовая работа, добавлен 28.02.2023Общее описание программного продукта, обоснование выбора используемого программного обеспечения. Нотация базовой модели, структура и реляционная модель. Создание модели информационной системы с помощью Run All Fusion Process Modeler 7, UML-модель.
курсовая работа, добавлен 05.06.2014Минимизация логической функции с использованием карты Карно. Важность определения надежности информационных систем. Вероятность безотказной работы модулей. Тестирование программного приложения. Внедрение программных приложений, совместимых с системой.
реферат, добавлен 06.12.2016Набор UML-диаграмм и свойств сети Петри с целью обеспечения надежности функционирования многопоточного программного обеспечения с ограниченными разделяемыми ресурсами. Разработка программных решений для повышения производительности моделирования программ.
автореферат, добавлен 02.08.2018Разработка метода стегоанализа исполняемых файлов для выявления скрытых сообщений, внедренных в неиспользуемые места программы, его преимущества и недостатки. Описание схемы встраивания стеганографических меток в исходные коды программ на С и С++.
автореферат, добавлен 28.04.2018