Повышение качества программного обеспечения систем критического назначения с использованием методов статического анализа
Изучение роли тестирования в процессе разработки программного обеспечения критических систем. Анализ структурной схемы программного интерпретатора, реализующего технологию статического анализа, принципы его работы и внутренняя логическая структура.
Подобные документы
- 26. Структура программного обеспечения компьютера. Назначение различных типов программного обеспечения
Структура, классификация и сфера применения программного обеспечения компьютера. Особенности установки и загрузки операционной системы. Виды служебных, прикладных и коммуникационных программ, приложений специального назначения, инструментального ПО.
контрольная работа, добавлен 24.10.2011 Обработка программного эмулятора аппаратной платформы вычислительной системы, предназначенного для автоматизированной поддержки процесса разработки программного обеспечения. Описание эмулятора аппаратной платформы авиационной системы, этапы построения.
статья, добавлен 28.10.2018Принципы и подходы к проектированию экономических информационных систем, их структура и компоненты, предъявляемые требования. CASE-технологии, применяемые в данном процессе. Жизненный цикл программного обеспечения, его главные периоды и закономерности.
контрольная работа, добавлен 01.10.2016Методика определения связей между элементами проекта разработки программного обеспечения, реализуемого с помощью трассировки требований на основе данных из систем контроля версий исходного программного кода. Характеристика известных методов трассировки.
статья, добавлен 07.03.2019Понятие программного обеспечения, его классификация. Характерные черты системного, прикладного программного обеспечения и системы программирования. Особенности жизненного цикла инструментальных систем и его модели. Этапы развития программного обеспечения.
реферат, добавлен 27.02.2009Анализ жизненного цикла программного обеспечения. Описание этапов технологии разработки программного обеспечения. Определение понятий "действие", "процесс" и "стадия". Анализ наборов технологических процессов и видов формирования технологических стадий.
презентация, добавлен 06.09.2017Предложение оригинального подхода к оцениванию качества программного обеспечения на основе экспертной оценки. Вычисление итогового показателя качества каждого программного продукта по линейной шкале и проведение анализа оценочных критериев. Раша оценка.
статья, добавлен 28.11.2016Определение специфических функций, которые необходимо реализовать в программном обеспечении. Описание функциональных требований к разработке программного обеспечения. Принципы построения пользовательского интерфейса, анализ качества программного продукта.
дипломная работа, добавлен 17.11.2018Виды обеспечения автоматизированных систем предприятия. Средства программирования распределенных систем обработки информации. Эксплуатация программного обеспечения. Установка операционной системы Windows 8 и программного обеспечения "1С:Предприятие 8".
отчет по практике, добавлен 17.11.2017Изучение этапов жизненного цикла программного обеспечения. Особенности разработки программного продукта, внесение изменений в спецификацию. Основной нормативный документ, регламентирующий ЖЦ ПО. Работы по внедрению компонентов ПО в эксплуатацию.
доклад, добавлен 21.12.2013Анализ известных методов динамической классификации пользователей в адаптивных интерфейсах программного обеспечения Web-ориентированных систем. Выбор метрик для оценки качества информационного поиска, коррекция профиля пользователя на его основании.
статья, добавлен 14.07.2016Обзор и анализ существующих информационных систем. Особенность проектирования программного обеспечения. Изучение основного назначения автоматизированного рабочего места "Гражданско-правовые сделки". Логическая и физическая структура файловой системы.
дипломная работа, добавлен 18.09.2018Обеспечение требуемого уровня функциональной безопасности критических инфраструктур (КИ). Параметры отказоустойчивости программного модуля, используемого в контурах управления КИ. Аналитико-стохастическое описание функционирования программного модуля.
статья, добавлен 06.02.2017Обеспечение безопасности программного обеспечения как фактор для достижения высокого качества продукта. Интеграция безопасности на ранних этапах разработки. Практики безопасного кодирования. Роль тестирования безопасности в обеспечении качества.
презентация, добавлен 23.05.2024Определение информационных потоков. Выявление "узких" мест в информационном обеспечении предприятия. Анализ качества программного обеспечения отдела по обслуживанию автоматизированных систем управления, составляющие системы (терминальное оборудование).
дипломная работа, добавлен 03.07.2015Средства повышения надежности автоматизированных систем управления. Разработка структуры автоматизированной системы для мониторинга надежности программного обеспечения. Способы прогнозирования, оценки и контроля надежности программного обеспечения.
статья, добавлен 27.05.2018Выбор методов выявления и устранения проблем совместимости программного обеспечения отраслевой направленности. Решение проблем сбоя установки ОС. Тестирование производительности программного обеспечения. Обслуживание серверного программного обеспечения.
методичка, добавлен 24.02.2022Источники энергопотребления серверов, параллельных многопроцессорных вычислительных систем и грид сетей. Экономия потребляемой электроэнергии за счет оптимизации программного обеспечения. Спад активности элементов и оптимизация программного обеспечения.
статья, добавлен 29.07.2016Жизненный цикл программного обеспечения компьютерных систем. Технологическая и эксплуатационная безопасность программ. Доказательства правильности программ и их спецификаций. Анализ безопасности программного обеспечения, целостности программного кода.
книга, добавлен 15.09.2012Понятие прикладного программного обеспечения и инструментальных программных средств. Характеристика видов специального программного обеспечения: экспертных систем, трансляторов, мультимедиа-приложений, гипертекстовых систем, систем управления содержимым.
реферат, добавлен 22.11.2014Моделирование процессов разработки программного обеспечения с использованием объекта-модели. Составление спецификации требований, которая лежит в основе модели продукта, дальнейшее его кодирование. Стандартный процесс разработки программного продукта.
статья, добавлен 06.05.2019Реализация надежного программного обеспечения задач технической диагностики информационно-управляющих систем. Исследование временных отрезков между системными ошибками. Рассмотрение классификации современных моделей надежности программного обеспечения.
статья, добавлен 29.05.2017Жизненный цикл программного обеспечения. Сущность программного продукта. Единая система программной документации. Процессы жизненного цикла программного обеспечения. Модели и стадии ее осуществления. Требования к методам и технологиям проектирования ПО.
контрольная работа, добавлен 21.11.2016Проектирование контроллера управления вентиляционных систем и соответствующего программного обеспечения. Основные характеристики микроконтроллера. Разработка функциональной и принципиальной схемы устройства структуры программного обеспечения и модуля.
практическая работа, добавлен 03.06.2015Модульные внешние станции удаленного управления, процесс создания программных продуктов. Спецификация программного обеспечения. Определение основных характеристик программного обеспечения отраслевой направленности. Описание стандартной модели качества.
реферат, добавлен 21.09.2019