Повышение качества программного обеспечения систем критического назначения с использованием методов статического анализа
Изучение роли тестирования в процессе разработки программного обеспечения критических систем. Анализ структурной схемы программного интерпретатора, реализующего технологию статического анализа, принципы его работы и внутренняя логическая структура.
Подобные документы
- 51. Алгоритм оценки качества отладки программного обеспечения вычислительных систем реального времени
Разработка и возможности реализации алгоритма оценки качества отладки программного обеспечения с использованием обобщенных показателей, конкретный состав которых определяется этапами проведения отладочных работ в ходе многоэтапного итеративного процесса.
статья, добавлен 27.02.2019 Компоненты технологического процесса организации и проекта. Организационная структура и роли в техпроцессах. Пятиуровневая модель зрелости ТП разработки программного обеспечения. Методы и критерии оценивания уровня зрелости организаций-разработчиков.
курсовая работа, добавлен 14.06.2014Сущность безопасности программного обеспечения, разработка терминологии в этой области. Вредоносные программы как эффективные компьютерные программы. Угрозы безопасности программного обеспечения и примеры их реализации в современном компьютерном мире.
курсовая работа, добавлен 04.11.2017- 54. Применение методов системного анализа для выбора программного обеспечения для веб-программирования
Решение задачи выбора наилучшей альтернативы программного обеспечения из исходного множества по заданным критериям. Определение характеристик приоритета критериев. Формирование множества альтернатив программных средств для разработки веб-приложений.
курсовая работа, добавлен 08.06.2016 Выбор технологий и инструментальных средств разработки информационной системы отдела тестирования программного обеспечения. Проектирование архитектуры и аппаратной подсистемы данного приложения. Таблицы базы данных и реализация интерфейса пользователя.
дипломная работа, добавлен 12.06.2013История развития тестирования программного обеспечения и современные достижения в данной сфере. Системные и пользовательские требования, атрибуты качества. Виды тестирования по степени знания кода. Тестирование мобильных приложений на базе ОС Android.
дипломная работа, добавлен 04.11.2015Разработка методологии анализа сигналов с использованием технологии Data Mining, алгоритмов сегментации сигналов, классификации их элементов и построения структурной модели. Создание программного обеспечения, реализующего предложенные алгоритмы.
автореферат, добавлен 31.07.2018Стандарты качества программного обеспечения. Особенности управления этой характеристикой ПО на всех стадиях разработки и современные модели ее обеспечения. Базовые принципы административного управления жизненным циклом и качеством программных средств.
лекция, добавлен 24.08.2013Разработка программного обеспечения, позволяющего автоматизировать подсчет метрик отражающих "почерк создателя" программного обеспечения для исходных кодов программ и профиля для достоверного осуществления идентификации автора программного обеспечения.
статья, добавлен 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Исследование жизненного цикла обучающих систем и влияние на него программного обеспечения. Рассмотрение модели жизненного цикла для разных ситуаций, резервирование и регенерация программного обеспечения. Увеличение жизненного цикла обучающих систем.
статья, добавлен 29.06.2020История развития компьютерных игр и их основные жанры. Изучение особенностей разработки программного обеспечения игр, функции подлежащие автоматизации. Создание обеспечения для игр "Тик-так-тоу" и "Тоу-так-тик" посредством программы Construct 2.
реферат, добавлен 07.04.2016Технология составления отчетов по продажам и поступлениям книг. Сравнительный анализ программного обеспечения. Обоснование выбора СУБД и среды разработки. Реализация базы данных в формате MS Access. Проектирование программного обеспечения, интерфейса.
курсовая работа, добавлен 16.04.2015Обоснование различий между программированием и программной инженерией. Свойства и структура жизненного цикла программного обеспечения. Внедрение ПО в эксплуатацию и конфигурирование базы данных с рабочими местами пользователей. Очерк методологии XP.
курсовая работа, добавлен 06.11.2013Цель разработки программного обеспечения, формирование функциональных требований к нему. Описание предметной области. Выполнение структурного анализа деятельности, нефункциональные требования. Необходимые ресурсы, проектирование, архитектура системы.
контрольная работа, добавлен 11.03.2013