Повышение качества программного обеспечения систем критического назначения с использованием методов статического анализа
Изучение роли тестирования в процессе разработки программного обеспечения критических систем. Анализ структурной схемы программного интерпретатора, реализующего технологию статического анализа, принципы его работы и внутренняя логическая структура.
Подобные документы
Анализ проблем проектирования программного обеспечения для вычислительных систем специального назначения. Определение основных этапов процесса создания функционального программного обеспечения. Особенности выбора языка программирования и системы контроля.
статья, добавлен 10.03.2018Совместное использование метода локальной оптимизации и алгоритма последовательного анализа вариантов для улучшения качества процесса разработки программного обеспечения. Методы усовершенствования процессов жизненного цикла автоматизированных систем.
статья, добавлен 04.02.2017Тестирование программного обеспечения – проверка соответствия между реальным и ожидаемым поведением программы. Рассмотрения понятия тестового случая. Исследование показателей эффективности методов и средств уровней тестирования программного обеспечения.
статья, добавлен 26.02.2017Взаимосвязь надежности аппаратного и программного обеспечения. Основные подходы к реализации мультиверсионности программного модуля. Оценка трудозатрат и стоимость разработки программного обеспечения. Основные варианты использования программных систем.
статья, добавлен 12.03.2019Результаты анализа методов тестирования антивирусного программного обеспечения. Рекомендованы принципы эффективного тестирования и предложена система их реализации. Обоснованы преимущества указанной системы, а также перспективы ее дальнейшего развития.
статья, добавлен 25.12.2020Место и роль тестирования в различных моделях разработки программного обеспечения. Каскадная модель тестирования с промежуточным контролем. Описание методики тестирования приложения в процессе разработки. Описание тестирования интерфейса пользователя.
дипломная работа, добавлен 15.03.2019Излагаются методы отладки, и тестирования программ. Особенности разработки технической и проектной документации. Анализируются методики измерений характеристик программного обеспечения, оценки их эффективности. Стандарты качества программного обеспечения.
отчет по практике, добавлен 19.11.2020Определение сущности кодирования – процесса жизненного цикла, который заключается в написании программного кода разрабатываемого программного обеспечения. Рассмотрение необходимости тестирования. Анализ моделей и методов проектирования архитектуры.
презентация, добавлен 20.09.2017Общая характеристика и классификация программного обеспечения. Построение программного обеспечения информационных систем. Стадии разработки и жизненный цикл программного продукта. Рассмотрение методов оценки затрат на разработку программных средств.
учебное пособие, добавлен 03.03.2018Тестирование программного обеспечения как средство выявления ошибок в работе программ. Исследование основных методов и принципы тестирования программных комплексов, применяемых в интересах оценивания и контроля безопасности автоматизированных систем.
статья, добавлен 07.03.2019- 11. Цели задачи технологий разработки программного обеспечения. Особенности современных крупных проектов
Рассмотрение классификации типов программного обеспечения. Изучение международных стандартов проектирования, разработки, оформления документации, пользовательского интерфейса. Ознакомление с основными критериями качества программного обеспечения.
контрольная работа, добавлен 08.12.2022 Обзор базовой функциональности программного обеспечения, его специфические особенности. Характеристика программного обеспечения для построения распределенных и надежных веб-систем. Исследование основных критериев для сравнения программного обеспечения.
статья, добавлен 11.01.2018Контрольная точка как мероприятие в процессе работы над проектом, которое происходит в определенный момент времени. Анализ логической схемы традиционного неавтоматизированного проектирования. Анализ технологии разработки программного обеспечения.
контрольная работа, добавлен 09.05.2021Характеристика общей схемы процесса разработки программного обеспечения. Краткое описание фаз каскадной модели, анализ ее основных преимуществ и недостатков. Изучение особенностей V-образной модели жизненного цикла разработки программного обеспечения.
контрольная работа, добавлен 13.05.2017Специфика профессии тестировщика, его обязанности и задачи, необходимые ему знания и навыки. История развития тестирования программного обеспечения. Определение целей и направления тестирования уровня производительности программного обеспечения.
доклад, добавлен 26.12.2014Исследование автоматизации тестирования программного обеспечения, особенности применения, преимущества и недостатки. Анализ инструментов автоматизации тестирования и применение его в разработки программного обеспечения. Автоматизированное тестирование ПО.
статья, добавлен 09.07.2020Принципы разработки программного обеспечения и программных систем. Взаимосвязь между стандартными процессами. Синтезирующее, конкретизирующее и сборочное программирование. Применение математических принципов к разработке программного обеспечения.
курс лекций, добавлен 27.09.2017Выбор архитектуры программного обеспечения. Инструментарий разработки программного обеспечения. Обеспечение информационной безопасности при эксплуатации экономических информационных систем. Экономическая эффективность от внедрения программного продукта.
дипломная работа, добавлен 10.07.2017Изучение основных стадий и этапов проектирования информационных систем. Выбор средств разработки программного продукта. Определение особенностей проектирования программного обеспечения. Разработка интерфейса взаимодействия пользователя с системой.
дипломная работа, добавлен 01.10.2015Характеристика современных стандартов качества программного обеспечения и методов его измерения. Ознакомление с государственной системой стандартизации Российской Федерации. Рассмотрение моделей жизненного цикла и качества программного обеспечения.
курс лекций, добавлен 19.01.2014Ознакомление с обзором существующего проприетарного и открытого программного обеспечения анализа результатов окулографических исследований. Анализ специфических особенностей разрабатываемой системы: открытости программного кода, принципа модульности.
статья, добавлен 11.06.2018Понятие алгоритма. Изучение основных понятий и положений методологии и технологии разработки программного обеспечения, общие принципы разработки. Приобретение практических навыков использования инструментальных средств, применяемых в данном процессе.
презентация, добавлен 06.09.2017Характеристики и атрибуты качества программного обеспечения. Основные направления применения метрик. Автоматизированные программные продукты по оценке качества программного обеспечения. Анализ учебного стандарта по профильному курсу информатики.
дипломная работа, добавлен 17.09.2017Назначение методов верификации программного обеспечения. Оценка технического состояния и работоспособности программного обеспечения. Анализ преимуществ и недостатков использования частично формализованных методов верификации программного обеспечения.
статья, добавлен 28.05.2017Описание предприятия, работающего в сфере информационных технологий. Изучение продукции, поставщиков, проблем и перспектив развития предприятия. Анализ процедуры проектного управления. Характеристика особенностей разработки схемы программного обеспечения.
дипломная работа, добавлен 19.11.2017