Повышение качества программного обеспечения систем критического назначения с использованием методов статического анализа
Изучение роли тестирования в процессе разработки программного обеспечения критических систем. Анализ структурной схемы программного интерпретатора, реализующего технологию статического анализа, принципы его работы и внутренняя логическая структура.
Подобные документы
Построение программного обеспечения вычислительных и информационных комплексов, основанных на идеологии открытых систем. Задачи переносимости программного обеспечения на платформы различных производителей. Проблемы взаимозаменяемости узлов и устройств.
статья, добавлен 26.05.2017Классификация методов разработки программного обеспечения в зависимости от количества участников и типов взаимоотношений в коллективе. Оптимальный состав группы управления, специалистов по инженерии программирования и отладке программного обеспечения.
реферат, добавлен 21.11.2013Проектирование и модернизация автоматизированных информационных систем. Оценка факторов риска в корпоративных сетях. Оценка надежности программного обеспечения. Зависимость коэффициента готовности программного обеспечения от времени тестирования.
статья, добавлен 15.08.2020- 79. Проектирование систем программного обеспечения под управлением онтологий: модели, методы, реализации
Сравнительный анализ атрибутов жизненного цикла программной инженерии и онтологического инжиниринга. Анализ особенностей использования методов и средств машинного обучения для генерации онтологических моделей проектирования программного обеспечения.
статья, добавлен 29.08.2021 Функционирование автоматизированных систем управления технологическими процессами. Особенность описания программного обеспечения. Сущность алгоритма работы программы и пользовательского интерфейса. Анализ формы настройки погрешностей и визуализации.
курсовая работа, добавлен 10.10.2015Создание программного обеспечения для распознавания и анализа лица человека с использованием системы face control. Разработка структуры и алгоритма работы адаптивного децентрализованного комплекса визуального определения объектов и их перемещения.
дипломная работа, добавлен 25.05.2018Классификация современного вредоносного программного обеспечения. Исследование главных методов эффективного анализа и обнаружения вирусов и иных хакерских программ. Изучение основных проблем, с которыми сталкиваются антивирусные компании и эксперты.
статья, добавлен 27.05.2018Понятие и функции современного антивирусного программного обеспечения, его обзор и классификация. Описание принципов работы антивирусного программного обеспечения и методов защиты от компьютерных вирусов. Представлена методика разработки презентации.
курсовая работа, добавлен 23.02.2021Изучение технических предметов во время обучения в учебном заведении. Анализ электротехнических комплексов с использованием программного обеспечения. Интерфейс программы моделирования электрической машины. Моделирование реальных физических процессов.
статья, добавлен 17.02.2019Изучение программного обеспечения как всей совокупности программ, хранящихся на всех устройствах долговременной памяти персонального компьютера. Анализ особенностей общедоступного, свободно распространяемого программного обеспечения с открытым кодом.
презентация, добавлен 26.04.2017Характеристика основных принципиальных вопросов, возникающих при разработке программного обеспечения. Совершенствование базового программного продукта и выпуск дополнительных версий с самыми последними изменениями. Обзор семейств программных продуктов.
статья, добавлен 16.02.2019Назначение программного обеспечения, этапы его разработки и внедрения в информационные системы. Сущность и цели тестирования информационных систем. Статическое тестирование методом "белого ящика" с использованием доступных кодов и структур программы.
контрольная работа, добавлен 12.06.2015Характеристика этапов компьютеризации аптеки. Рассмотрение продуктов для автоматизации аптек, представленных на рынке программного обеспечения. Изучение особенностей специализированного программного обеспечения "еФарма". Этапы подготовки сотрудников.
доклад, добавлен 27.03.2015- 89. Применение классических подходов статического анализа к поиску ошибок в программах на языке Python
Реализации статического анализа программ на языке Python. Особенность инструментов динамического синтеза кода программного продукта. Внутрипроцедурный и межпроцедурный разбор для поиска дефектов. Условия формирования предупреждений о наличии ошибок.
курсовая работа, добавлен 28.08.2016 Понятие программного обеспечения как набора программ для решения задач на компьютере. Классификация программного обеспечения: системное, специальное, общего назначения. Системное обеспечение персонального компьютера. Прикладное программное обеспечение.
курсовая работа, добавлен 27.05.2014Методы анализа программного обеспечения. Методика исследования программного обеспечения на наличие уязвимостей – фаззинг. Метод случайных данных, мутационного тестирования протокола вручную и автоматического. Программные средства для исследования.
статья, добавлен 21.07.2020Тестирование программного обеспечения как часть процесса создания программного продукта, требования к нему, этапы и закономерности. Его разновидности: регрессионное, автоматизированное. Возможность построения конфигураций для настройки LTE-сетей.
курсовая работа, добавлен 08.02.2017Исследование целей и основных принципов организации тестирования программ. Рассмотрение технических требований к тестированию программного обеспечения. Характеристика объектов, методов и средств тестовых проверок, определение особенностей их видов.
реферат, добавлен 25.04.2014Безопасность программного обеспечения. Профессиональные технологии проведения атак и взломов программного кода. Примеры кодов из программ, вносимых хакерами. Взлом серверных приложений и клиентских программ. Обновления для систем обнаружения вторжений.
книга, добавлен 03.03.2011Возможности модельно-ориентированное проектирование при помощи программных продуктов MathWorks, позволяющие автоматизировать процесс разработки, отладки и верификации программного обеспечения для встраиваемых систем управления. Пакет прикладных программ.
статья, добавлен 13.02.2016Общее понятие и основные сведения о программном модуле. Характеристики различных видов связности по экспертным оценкам. Показатели качества разработки программного обеспечения, их основные характеристики. Определение комплексных показателей качества.
контрольная работа, добавлен 08.06.2011Назначение, функции и область применения программного обеспечения. Состав и структура руководства пользователя. Содержание дистрибутивного носителя данных. Порядок загрузки данных и программ, проверка работоспособности. Особенности программного кода.
статья, добавлен 25.12.2017Анализ чувствительности программного проекта. Сценарий использования нового микропроцессора. Характеристики иерархической структуры программной системы. Способ тестирования потоков данных. Эволюционно-инкрементная организация жизненного цикла разработки.
учебное пособие, добавлен 15.09.2017Изучение лицензионных и свободно распространяемых программных продуктов. Виды программного обеспечения персонального компьютера. Методы защиты информации и компьютерных систем. Контроль доступа к аппаратуре. Организация обновления ПО через Интернет.
практическая работа, добавлен 26.12.2022Обзор методов оценки систем на этапе концептуального проектирования. Разработка функциональной структуры комплекса. Проектирование программного комплекса на основе CASE-технологий; алгоритмов работы программного комплекса и программного обеспечения.
дипломная работа, добавлен 04.07.2018