Повышение качества программного обеспечения систем критического назначения с использованием методов статического анализа
Изучение роли тестирования в процессе разработки программного обеспечения критических систем. Анализ структурной схемы программного интерпретатора, реализующего технологию статического анализа, принципы его работы и внутренняя логическая структура.
Подобные документы
Безопасность программного обеспечения. Профессиональные технологии проведения атак и взломов программного кода. Примеры кодов из программ, вносимых хакерами. Взлом серверных приложений и клиентских программ. Обновления для систем обнаружения вторжений.
книга, добавлен 03.03.2011Возможности модельно-ориентированное проектирование при помощи программных продуктов MathWorks, позволяющие автоматизировать процесс разработки, отладки и верификации программного обеспечения для встраиваемых систем управления. Пакет прикладных программ.
статья, добавлен 13.02.2016Общее понятие и основные сведения о программном модуле. Характеристики различных видов связности по экспертным оценкам. Показатели качества разработки программного обеспечения, их основные характеристики. Определение комплексных показателей качества.
контрольная работа, добавлен 08.06.2011Назначение, функции и область применения программного обеспечения. Состав и структура руководства пользователя. Содержание дистрибутивного носителя данных. Порядок загрузки данных и программ, проверка работоспособности. Особенности программного кода.
статья, добавлен 25.12.2017Анализ чувствительности программного проекта. Сценарий использования нового микропроцессора. Характеристики иерархической структуры программной системы. Способ тестирования потоков данных. Эволюционно-инкрементная организация жизненного цикла разработки.
учебное пособие, добавлен 15.09.2017Обзор методов оценки систем на этапе концептуального проектирования. Разработка функциональной структуры комплекса. Проектирование программного комплекса на основе CASE-технологий; алгоритмов работы программного комплекса и программного обеспечения.
дипломная работа, добавлен 04.07.2018Изучение лицензионных и свободно распространяемых программных продуктов. Виды программного обеспечения персонального компьютера. Методы защиты информации и компьютерных систем. Контроль доступа к аппаратуре. Организация обновления ПО через Интернет.
практическая работа, добавлен 26.12.2022Автоматизированное тестирование кода программного обеспечения. Разработка автотестов, которые имитируют работу пользователя. Анализ и выявление слабых сторон процессов тестирования веб-приложений. Организация и повышение качества работы тестировщиков.
статья, добавлен 23.01.2021Рассмотрение преимуществ интеракционных методик разработки программного обеспечения. Общая характеристика Agile, причины их востребованности на современном рынке. Описание модели тест-ориентированной разработки и непрерывной интеграции программ.
статья, добавлен 30.11.2015Прикладные программы, входящие в комплекс системного программного обеспечения (СПО). Программное обеспечение, ориентированное на применение в определенной проблемной области (программное обеспечение специального назначения) и общего назначения.
презентация, добавлен 17.03.2011Понятие и цель автоматизации тестирования программного обеспечения. Преимущества и возможные недостатки автоматизированного тестирования. Разработка и обоснование проекта автоматизации нового функционала для выполнения регрессионной кампании тестов.
курсовая работа, добавлен 22.01.2016Определение необходимости приобретения лицензионной версии программы и использования программного обеспечения. Анализ основ автоматизации процесса выбора способа приобретения программного обеспечения. Изучение эффективности информационных технологий.
статья, добавлен 26.05.2017Разработка системы для решения задач упорядочивания взаимодействия между сотрудниками отдела тестирования программного обеспечения, оптимизации процесса тестирования, связанных с сопровождением проектной деятельности с помощью системы контроля заявок.
контрольная работа, добавлен 06.06.2013Понятие программного обеспечения компьютера и его классификация. Исследование особенностей прикладного, системного и инструментального программного обеспечения. Системы управления базами данных и автоматизированного проектирования. Текстовые редакторы.
презентация, добавлен 15.09.2016Тестирование как важный этап в процессе разработки программного обеспечения. Анализ стоимости каждого из этапов жизненного цикла программы. Анализ широкого использования автоматизации. Изучение большого набора технологий и инструментальных средств.
статья, добавлен 24.02.2019Проведение диагностического анализа системы управления предприятия. Разработка программного комплекса - автоматизированного рабочего места директора фирмы. Логическая структура базы данных, выбор программного и технического обеспечения, расчет затрат.
дипломная работа, добавлен 11.02.2013Рассмотрение обзора программного обеспечения, служащего для загрузки данных из различных источников в единое хранилище. Анализ особенностей инструментов ETL, входящих в состав некоторых продуктов Oracle, Microsoft SQL Server, Sybase, SAS Institute.
статья, добавлен 03.06.2017Основные понятия и определения, классификация программ, этапы создания программного продукта в рамках жизненного цикла. Особенности отладки, тестирования, сопровождения программ. Структурное программирование с использованием процедур и функций.
учебное пособие, добавлен 15.01.2020Обзор популярных средств программного обеспечения. Основные особенности методологии Rapid Application Development. CASE средства. Применение объектно-ориентированных методов. Среды разработки, использующие принципы RAD. Жизненный цикл методологии RAD.
реферат, добавлен 08.05.2014Понятие и структура программного обеспечения персонального компьютера (системное, прикладное, инструментальное). Утилиты и их основные свойства, файловые менеджеры и драйвера. Популярные редакторы для создания программ с использованием визуальных средств.
доклад, добавлен 24.10.2014Теоретические основы структурного и объектно-ориентированного подходов, основные понятия технологии создания программного обеспечения. Суть внедрения технологий создания программного обеспечения в организации для реализации выполнения пилотного проекта.
дипломная работа, добавлен 22.04.2014Основы тестирования программного обеспечения, история его развития и основные определения в данной области. Классификация тестирования, ошибок и список вопросов для выявления ошибок в начале теста. Функции модульного тестирования и его оболочки JUnit.
курсовая работа, добавлен 17.04.2011Методы и инструменты построения экономических информационных систем. Разработка информационно-логической модели с использованием программного обеспечения общего назначения (MS Office) для программной поддержки. Проектирование информационного обеспечения.
методичка, добавлен 03.12.2016Основные требования к качеству программного обеспечения, характеристика дефектов. Проектирование на основе структур баз данных (информационно-логические, концептуальные и физические методики). Особенности и этапы тестирования программного продукта.
реферат, добавлен 08.12.2015Изучение организации вычислительной техники на предприятии и понятие программного языка Си; среда и основы его программирования.Разработка, код, структура, результаты работы, функции и описание программного обеспечения, созданного на языке Си.
курсовая работа, добавлен 06.02.2014