Основные проблемы исследования надежности ПО

Факторы, зависящие от надежности ПО

Стандарты оценки качества и _________________ ПО определяют характеристики программ (метрики), кото-рые используются для качественной и количественной оценки надежности

Качество ПО - это степень, в которой оно обладает требуемой комбинацией свойств.

Это определение по:

_____________ПО - это степень, в которой оно обладает требуемой комбинацией свойств.

_____________ПО - это полнота свойств и характеристик продукта, процесса или услуги, которые обеспечивают способность удовлетворять заявленным или подразумеваемым потребностям.

- метрика, измеряющая степень сложности интерфейса или дополнительного программирования требуемого для интеграции компоненты в систему, которые требуются для тестирования, отладки и сопровождения, компенсирующего потерю качества.

указывают степень полноты различных типов тестирования

- метрика, оценивающая вероятность работы системы без отказов. Данная метрика может быть получена в рамках традиционного подхода.

- метрика, оценивающая степень соответствия программного обеспечения ожиданиям и требованиям заказчика. Данная метрика может быть оценена перед поставкой на этапе опытной эксплуатации на основе прогнозирующих параметров

Признаки появления ошибок в ПО

Признаки появления ошибок в ПО

Производители ПО подсчитывают интенсивность ошибок исходя из отношения числа ________ или кодировочных ошибок к общему числу команд

Производители ПО подсчитывают интенсивность ошибок исходя из отношения числа проектных или _______ ошибок к общему числу команд

Статистическая интенсивность ошибок ПО рассчитывается по формуле

интенсивность ошибок ______________по мере их обнаружения и устранения

ошибки ПО ___________, каждый раз после обнаружения они устраняются и в дальнейшем не проявляются

Среднее время безотказной работы

______ это автономно функционирующая программа, обладающая способностью к самостоятельному внедрению в тела других программ и последующему самовоспроизведению и самораспространению в информационно-вычислительных сетях и отдельных ЭВМ.

Предшественниками вирусов принято считать так называемые __________________, тела которых содержат скрытые последовательности команд(модули), выполняющие действия, наносящие вред пользователям

Наиболее распространенной разновидностью троянских программ являются широко известные программы массового применения (редакторы, игры, трансляторы и т.д.), в которые встроены «_______________», срабатывающие по наступлении некоторого события.

________________________ не являются саморазмножающимися

компьютерный вирус можно рассматривать как своеобразный «генератор _______________________»

Программы, зараженные вирусом, называются

Принципиальное отличие вируса от троянской программы состоит в том, что вирус после его активизации существует самостоятельно (автономно) и в процессе своего функционирования заражает (инфицирует) программы путем включения (имплантации) в них своего ___

Заражение программы, как правило, выполняется таким образом, чтобы вирус получил управление ____ самой программы

Вирус встраивается в начало программы, либо имплантируется в ее тело так, что ______________ командой зараженной программы является безусловный переход на компьютерный вирус

Получив управление, вирус выбирает следующий файл, заражает его, возможно, выполняет какие-либо другие действия, после чего отдает управление ________

Цикл жизни вируса обычно включает следующие периоды

В течение инкубационного периода вирус _________, что усложняет задачу его поиска и нейтрализации

На этапе __________________ вирус выполняет свойственные ему целевые функции, например необратимую коррекцию информации в компьютере

компонента вируса, получающая управление первой.

это часть вируса, расположенная в тексте зараженной программы отдельно от головы

Вирусы, состоящие из одной головы, называют

вирусы, содержащие голову и хвост называется

вирусы, которые после активизации постоянно находятся в оперативной памяти компьютера и контролируют доступ к его ресурсам

вирусы, которые выполняются только в момент запуска зараженной программы

вирусы, заражающие файлы с программами

•вирусы, заражающие программы, хранящиеся в системных областях дисков

_____ вирус целиком размещается в исполняемом файле, в связи с чем он активизируется только в случае активизации вирусоносителя, а по выполнении необходимых действий возвращает управление самой программе

Файловый резидентный вирус отличается от __________ логической структурой и общим алгоритмом функционирования

Голова __________ всегда находится в бут-секторе

пользуются слабой защищенностью некоторых операционных систем и заменяют некоторые их компоненты (драйверы дисков) таким образом, что вирус становится невидимым (прозрачным) для других программ

В каких случаях есть необходимость восстанавливать Windows

откат системы не приведет к удалению

откат системы приводит к

Создавать точку восстановления рекомендуется

____представляет собой иерархически организованную базу данных, которую ОС использует для запуска приложений, хранения системных правил, профилей пользователей и прочих настроек

____содержит все активные загруженные профили пользователей компьютера(HKU)

____корневой раздел конфигурации пользователя, работающего в данный момент. Здесь хранятся установки для папок этого пользователя, цвета экрана и параметры панели управления.

____содержит параметры конфигурации, относящиеся к данному компьютеру (для всех пользователей). Вместо полного имени раздела иногда используется аббревиатура HKLM

____подраздел HKEY_LOCAL_MACHINE\Software. Хранящиеся здесь сведения отвечают за запуск необходимой программы при открытии файла с помощью проводника.

____раздел содержит сведения о профиле оборудования, используемом локальным компьютером при запуске системы.

____содержит двоичные данные. В виде двоичных данных хранится большинство сведений об аппаратных компонентах компьютера

____Этот тип позволяет хранить значение, длина которого составляет 4 байта (32-разрядное целое.) Такие значения имеют многие параметры драйверов устройств и служб.

____Он представляет собой текстовую строку фиксированной длины и используется, в частности, для хранения путей к различным файлам.

Что бы отредактировать реестр нужно выполнить команду

Чтобы отобразить данные о системе на рабочем столе, нужно установить 1 в строке

Методы, используемые для анализа и оценки безопасности ПО, делятся на две категории

С методической точки зрения _____________ методы выглядят более предпочтительными, так как позволяют оценить надежность полученных результатов и проследить последовательность (путем обратных рассуждений) их получения

Логико-аналитические методы

Контрольно-испытательные методы

___________делятся на те, в которых контролируется процесс выполнения программы и те, в которых отслеживаются изменения в операционной среде, к которым приводит запуск программы

___________наиболее распространены, так как они не требуют формального анализа и позволяют использовать имеющиеся технические и программные средства и быстро ведут к созданию готовых методик

При проведении анализа безопасности с помощью ______________ методов строится модель программы и формально доказывается эквивалентность модели исследуемой программы и модели РПС.

Пример какого метода приведён? В качестве модели программы может выступать ее битовый образ, в качестве моделей вирусов множество их сигнатур, а доказательство эквивалентности состоит в поиске сигнатур вирусов в программе.

Для проведения ______________________ анализа безопасности программы необходимо, во-первых, выбрать способ представления и получения моделей программы и РПС. После этого необходимо построить модель исследуемой программы и попытаться доказать ее принадлежность к отношению эквивалентности, задающему множество РПС.

В целом полный процесс анализа ПО включает в себя три вида анализа

Лексический верификационный анализ предполагает поиск распознавания и классификацию различных лексем (сигнатур) объекта исследования (программы), представленного в исполняемых кодах. В данном случае осуществляется поиск сигнатур следующих классов

Структурно-алгоритмическая модель программы необходима для реализации следующего вида анализа

__________________предполагает исследование программы изучения смысла составляющих ее функций (процедур) в аспекте операционной среды компьютерной системы

__________________является наиболее эффективным видом анализа, но и самым трудоемким.

Для сравнения методов предлагаются следующие признаки

Принятие за РПС безопасной программы

объявление программы безопасной, когда на самом деле она содержит РПС

Для проверки _______________ спецификации программы применяют математический аппарат для описания правильного решения некоторой задачи, для которой она разработана

это методы обеспечения проверки и анализа правильности выполнения заданных функций программы в соответствии с заданными требованиями заказчика к ним и системы в целом

это метод выявления ошибок в ПС путем выполнения исходного кода на тестовых данных, сбора рабочих характеристик в динамике выполнения в конкретном операционной среде, выявления различных ошибок, дефектов, отказов и сбоев, вызванных нерегулярными, аномальными ситуациями или аварийным прекращением работы системы

•языки описания специфических задач ограниченных синтаксисом и семантикой