Теоретико-игровой подход к тестированию компиляторов на наличие механизмов внедрения недекларированных возможностей
Исследование математического обеспечения процедуры сертификации программного обеспечения по требованиям безопасности информации с учетом временных ограничений, нормативно-правовых и конструкторских требований. Исходные коды программного обеспечения.
Подобные документы
Реализация надежного программного обеспечения задач технической диагностики информационно-управляющих систем. Исследование временных отрезков между системными ошибками. Рассмотрение классификации современных моделей надежности программного обеспечения.
статья, добавлен 29.05.2017Сущность безопасности программного обеспечения, разработка терминологии в этой области. Вредоносные программы как эффективные компьютерные программы. Угрозы безопасности программного обеспечения и примеры их реализации в современном компьютерном мире.
курсовая работа, добавлен 04.11.2017Этапы развития элементной базы электронной вычислительной машины как историческая основа дальнейшего развития программного обеспечения. Принцип программного управления. Представление информации в ЭВМ. Современное состояние программного обеспечения.
курсовая работа, добавлен 28.09.2015Выбор архитектуры программного обеспечения. Инструментарий разработки программного обеспечения. Обеспечение информационной безопасности при эксплуатации экономических информационных систем. Экономическая эффективность от внедрения программного продукта.
дипломная работа, добавлен 10.07.2017Изучение основных понятий, методов и моделей программной инженерии, составляющих процесса разработки программного обеспечения. Разработка функциональной структуры программного обеспечения. Разработка программного кода. Анализ программного продукта.
лабораторная работа, добавлен 20.09.2016Необходимость обеспечения безопасности информационной системы и виды угроз. Наиболее распространенные пути несанкционированного доступа к информации. Выбор программного обеспечения. Российский рынок бухгалтерского и финансового программного обеспечения.
контрольная работа, добавлен 03.10.2014Обзор базовой функциональности программного обеспечения, его специфические особенности. Характеристика программного обеспечения для построения распределенных и надежных веб-систем. Исследование основных критериев для сравнения программного обеспечения.
статья, добавлен 11.01.2018Понятие программного обеспечения компьютера и его классификация. Исследование особенностей прикладного, системного и инструментального программного обеспечения. Системы управления базами данных и автоматизированного проектирования. Текстовые редакторы.
презентация, добавлен 15.09.2016Разработка программного обеспечения, позволяющего автоматизировать подсчет метрик отражающих "почерк создателя" программного обеспечения для исходных кодов программ и профиля для достоверного осуществления идентификации автора программного обеспечения.
статья, добавлен 28.02.2016Жизненный цикл программного обеспечения. Сущность программного продукта. Единая система программной документации. Процессы жизненного цикла программного обеспечения. Модели и стадии ее осуществления. Требования к методам и технологиям проектирования ПО.
контрольная работа, добавлен 21.11.2016Проектирование программного обеспечения. Описание подхода к проектированию. Описание языка моделирования UML. Аналитическая модель программного обеспечения. Диаграмма вариантов использования. Разработка программного обеспечения, спецификации программы.
курсовая работа, добавлен 23.10.2013Выбор методов выявления и устранения проблем совместимости программного обеспечения отраслевой направленности. Решение проблем сбоя установки ОС. Тестирование производительности программного обеспечения. Обслуживание серверного программного обеспечения.
методичка, добавлен 24.02.2022Исследование информационной системы коммерческой организации по разработке программного обеспечения для мобильных банковских терминалов. Анализ степени защищённости данных, обрабатываемых на исследуемом объекте. Технические средства защита информации.
дипломная работа, добавлен 22.10.2017Рассмотрение подходов по обучению разработчиков и администраторов безопасной разработке программного обеспечения. Разработка способа обучения основам обеспечения безопасности при разработке программного обеспечения. Проверка разработанной методики.
дипломная работа, добавлен 01.12.2019Программное обеспечение как часть аппаратной программной системы, хранящаяся на информационных носителях, его структура и значение. Необходимость прохождения добровольной сертификации программного обеспечения и требования для ее успешного прохождения.
статья, добавлен 29.03.2019Модульные внешние станции удаленного управления, процесс создания программных продуктов. Спецификация программного обеспечения. Определение основных характеристик программного обеспечения отраслевой направленности. Описание стандартной модели качества.
реферат, добавлен 21.09.2019Обзор и сравнение основных возможностей программного обеспечения, предназначенного для расчета неопределенности измерений. Используемые методы анализа и наличие информативной поддержки. Условия распространения и использования программного обеспечения.
реферат, добавлен 29.07.2017Тестирование программного обеспечения – проверка соответствия между реальным и ожидаемым поведением программы. Рассмотрения понятия тестового случая. Исследование показателей эффективности методов и средств уровней тестирования программного обеспечения.
статья, добавлен 26.02.2017Возможности программного обеспечения Staffcop Enterprise: обнаружение утечек информации, учет рабочего времени, администрирование рабочих мест. Установка программного продукта. Выявление нарушений политики безопасности при помощи Staffcop Enterprise.
отчет по практике, добавлен 09.07.2019Понятие программного обеспечения, его классификация. Характерные черты системного, прикладного программного обеспечения и системы программирования. Особенности жизненного цикла инструментальных систем и его модели. Этапы развития программного обеспечения.
реферат, добавлен 27.02.2009Специфика профессии тестировщика, его обязанности и задачи, необходимые ему знания и навыки. История развития тестирования программного обеспечения. Определение целей и направления тестирования уровня производительности программного обеспечения.
доклад, добавлен 26.12.2014Назначение методов верификации программного обеспечения. Оценка технического состояния и работоспособности программного обеспечения. Анализ преимуществ и недостатков использования частично формализованных методов верификации программного обеспечения.
статья, добавлен 28.05.2017Характеристика современных стандартов качества программного обеспечения и методов его измерения. Ознакомление с государственной системой стандартизации Российской Федерации. Рассмотрение моделей жизненного цикла и качества программного обеспечения.
курс лекций, добавлен 19.01.2014Излагаются методы отладки, и тестирования программ. Особенности разработки технической и проектной документации. Анализируются методики измерений характеристик программного обеспечения, оценки их эффективности. Стандарты качества программного обеспечения.
отчет по практике, добавлен 19.11.2020Исследование российского рынка программного обеспечения. Рассматривается структура рынка программного обеспечения с точки зрения синтеза теории отраслевых рынков, неоинституционализма и концепции организационных полей. Определены основные сегменты рынка.
статья, добавлен 09.10.2020