Повышение качества программного обеспечения систем критического назначения с использованием методов статического анализа
Изучение роли тестирования в процессе разработки программного обеспечения критических систем. Анализ структурной схемы программного интерпретатора, реализующего технологию статического анализа, принципы его работы и внутренняя логическая структура.
Подобные документы
Реализация надежного программного обеспечения задач технической диагностики информационно-управляющих систем. Исследование временных отрезков между системными ошибками. Рассмотрение классификации современных моделей надежности программного обеспечения.
статья, добавлен 29.05.2017Жизненный цикл программного обеспечения. Сущность программного продукта. Единая система программной документации. Процессы жизненного цикла программного обеспечения. Модели и стадии ее осуществления. Требования к методам и технологиям проектирования ПО.
контрольная работа, добавлен 21.11.2016Проектирование контроллера управления вентиляционных систем и соответствующего программного обеспечения. Основные характеристики микроконтроллера. Разработка функциональной и принципиальной схемы устройства структуры программного обеспечения и модуля.
практическая работа, добавлен 03.06.2015Модульные внешние станции удаленного управления, процесс создания программных продуктов. Спецификация программного обеспечения. Определение основных характеристик программного обеспечения отраслевой направленности. Описание стандартной модели качества.
реферат, добавлен 21.09.2019- 55. Алгоритм оценки качества отладки программного обеспечения вычислительных систем реального времени
Разработка и возможности реализации алгоритма оценки качества отладки программного обеспечения с использованием обобщенных показателей, конкретный состав которых определяется этапами проведения отладочных работ в ходе многоэтапного итеративного процесса.
статья, добавлен 27.02.2019 Компоненты технологического процесса организации и проекта. Организационная структура и роли в техпроцессах. Пятиуровневая модель зрелости ТП разработки программного обеспечения. Методы и критерии оценивания уровня зрелости организаций-разработчиков.
курсовая работа, добавлен 14.06.2014Сущность безопасности программного обеспечения, разработка терминологии в этой области. Вредоносные программы как эффективные компьютерные программы. Угрозы безопасности программного обеспечения и примеры их реализации в современном компьютерном мире.
курсовая работа, добавлен 04.11.2017- 58. Применение методов системного анализа для выбора программного обеспечения для веб-программирования
Решение задачи выбора наилучшей альтернативы программного обеспечения из исходного множества по заданным критериям. Определение характеристик приоритета критериев. Формирование множества альтернатив программных средств для разработки веб-приложений.
курсовая работа, добавлен 08.06.2016 Разработка методологии анализа сигналов с использованием технологии Data Mining, алгоритмов сегментации сигналов, классификации их элементов и построения структурной модели. Создание программного обеспечения, реализующего предложенные алгоритмы.
автореферат, добавлен 31.07.2018Выбор технологий и инструментальных средств разработки информационной системы отдела тестирования программного обеспечения. Проектирование архитектуры и аппаратной подсистемы данного приложения. Таблицы базы данных и реализация интерфейса пользователя.
дипломная работа, добавлен 12.06.2013История развития тестирования программного обеспечения и современные достижения в данной сфере. Системные и пользовательские требования, атрибуты качества. Виды тестирования по степени знания кода. Тестирование мобильных приложений на базе ОС Android.
дипломная работа, добавлен 04.11.2015Стандарты качества программного обеспечения. Особенности управления этой характеристикой ПО на всех стадиях разработки и современные модели ее обеспечения. Базовые принципы административного управления жизненным циклом и качеством программных средств.
лекция, добавлен 24.08.2013Важнейшие принципы методологии проектного расчета и конкретные примеры использования программного комплекса "Арбитр" для анализа и обеспечения надежности сложных технических систем. Главный расчет надежности с применением программного комплекса.
статья, добавлен 18.02.2025Разработка программного обеспечения, позволяющего автоматизировать подсчет метрик отражающих "почерк создателя" программного обеспечения для исходных кодов программ и профиля для достоверного осуществления идентификации автора программного обеспечения.
статья, добавлен 28.02.2016Этапы развития элементной базы электронной вычислительной машины как историческая основа дальнейшего развития программного обеспечения. Принцип программного управления. Представление информации в ЭВМ. Современное состояние программного обеспечения.
курсовая работа, добавлен 28.09.2015Анализ административного программного обеспечения локальной сети. Исследование структуры и разновидностей сетевых операционных систем. Особенности и специфика настройки локальной сети, порядок установки ее административного программного обеспечения.
контрольная работа, добавлен 20.02.2012Определение методологии разработки программного обеспечения. Исследование и анализ классических способов программирования. Рассмотрение гибкой методологии разработки программного обеспечения страховой компании как альтернативы традиционному подходу.
статья, добавлен 22.03.2016Система поддержки процесса сопровождения программного обеспечения. Проблемы, возникающие в процессе разработки требований к нему. Основные этапы процесса проектирования ПО, их выходные результаты. Модель процесса тестирования исполняемой программы.
контрольная работа, добавлен 07.01.2013Регенерация программного обеспечения как совершенно новый процесс, который обусловлен взаимосвязью программных компонент технологии и данных в информационных системах. Общая характеристика задачи регенерации программного обеспечения информационных систем.
статья, добавлен 07.07.2020Обзор текущего процесса разработки программного обеспечения в НИУ ВШЭ г. Пермь и методик его улучшения. Описание бизнес-процесса "как есть" и "как должно быть" в нотации ARIS. Симуляция проектирования программного обеспечения в рамках учебных проектов.
дипломная работа, добавлен 30.08.2016Проектирование технического и программного обеспечения систем автоматизации рекуперативного нагревательного колодца: разработка структурной и функциональной, принципиально-электрической схем контроля и регулировки рабочего давления контуров устройства.
курсовая работа, добавлен 11.05.2012Характеристика сущности тестирования программного обеспечения. Классификация видов тестирования. Разработка и выполнение тест-кейсов. Расчет экономической целесообразности введения автоматизированного тестирования. Внедрение автоматизированных тестов.
дипломная работа, добавлен 30.08.2016Наличие интегрированной информационной системы сбора и анализа информации о качестве продукции. Особенность полного перехода на безбумажную электронную технологию проектирования. Основные проблемы разработки программного обеспечения в области CALS.
статья, добавлен 15.08.2020Структура системного программного обеспечения, сущность, функции и виды операционных систем. Назначение утилит и встроенных программ. Архитектура и особенности операционной системы, особенности работы разных платформ Android, совместимость с Google.
контрольная работа, добавлен 03.10.2016Проблемы разработки сложных программных систем, жизненные циклы программного обеспечения. Диаграммы классов и деятельности, проектирование программного обеспечения при объектном подходе. Основные компоненты графических пользовательских интерфейсов.
шпаргалка, добавлен 10.04.2018