Диссертация (1091136), страница 9
Текст из файла (страница 9)
Снекоторого момента, когда разработчик считает свою задачу выполненной,начинается пассивное сопровождение, когда исправления вносятся уже только позапросу пользователя. При сопровождении вносится в ПП значительноеколичество новых ошибок в каждую новую версию, вместе с доработками,изменениями и исправлениями, что требует исправлений также и в следующейверсии.В частности в компании IBM попытались предсказать количество подобныхисправлений от версии к версии, основываясь на большом количествеэкспериментальных данных, собранных в ходе сопровождения операционнойсистемы OS/360 [46].Число ошибок в различных версиях операционной системы предлагаетсяоценивать по формуле:65 ≈ ̂ = 231 + 22 ,(27)где m1- число модулей, потребовавших 10 и более исправлений, m2- числомодулей, содержащих менее 10 исправлений [29].Модель Шнайдера [22]Данная модель связывает число ошибок n в программес затратами С,измеренными в «человеко-месяцах», числом k подпрограмм и общим числом Ктысяч операторов в программе: ≈ ̂ = 7.62⁄13 ⁄3= 163.3(/)5⁄3(28)2.3.
Выводы к главе 2Аналитические модели составляют многочисленную группу моделейнадежности программных продуктов. Каждая модель оказывается адекватнойкакому-то одному типу программ и способу тестированию, причем заранее неизвестно, какому именно.Статические модели появление отказов не связывают со временем, аучитывают зависимость количества ошибок либо от числа тестовых прогонов(модели по области ошибок), либо от характеристики входных данных (модели пообласти данных).Эмпирические модели дают расхождения на порядки и являются не болеечем формальным выражением исторического опыта их создателей. Онидостаточно грубы, кроме того, эти модели оперируют только с понятиемкорректности ПП, определяемой числом программных ошибок, но не отражаютдинамики вычислительного процесса при эксплуатации СВТ.Во второй главе работы приведены модели оценки надежности программныхпродуктов.
Приемлемыми моделями, для оценки надежности разработанного [67]программного инструментария являются: Джелински-Моранды, Шумана и66Нельсона-Коркорена. Указанные модели будутприменяться дляоценкинадежности программного инструментария.ГЛАВА 3 РАЗРАБОТКА ПРОГРАМНОГО КОМПЛЕКСА ОЦЕНКИКАЧЕСТВА И НАДЕЖНОСТИ ПРОГРАММНЫХ ПРОДУКТОВ БЕЗИСХОДНЫХ ТЕКСТОВ3.1 Алгоритм контроля обращений процессора к областям памятииспользуемой программным продуктомВ первой главе были рассмотрены основные методы и средства,используемыеэкспертамиприанализеиоценкекачестваППнанедекларированные возможности.
В качестве гипервизора выбран программныйпродукт Bochs. Он позволяет контролировать выделяемые ресурсы хостовой67системы для нужд гостевой в полном объеме. Доступны его исходные тексты, чтов случае необходимости позволит сертифицировать его как доверенныйпрограммный продукт и снимает ограничения, связанные с лицензионнойчистотой. Объем исходных текстов в несколько раз меньше аналогов, что снижаеттрудоемкость требуемых доработок для достижения поставленной задачи. Bochsведет журнал работы виртуальной машины, который позволяет разработчикам, содной стороны, контролировать процесс функционирования самого гипервизора, ас другой ведет лог состояния гостевой операционной системы с работающими ПП,в том числе и подвергаемых контролю (исследованию).В ходе эмуляции работы виртуальной машины Bochs формирует файлжурнала отладчика.
Фрагмент файла журнала показан на Рисунке 20.На Рисунке 20 приведена информация о номерах тактов процессора, которыеформируются в процессе работы виртуальной машины, сведения об операцияхчтения из памяти и записи в неё, а также указан линейный и физический адресапамяти.Из изложенного следует, что, делая выборку сведений из журнала работывиртуальной машины об операциях чтения и записи по конкретным адресам вобласти оперативной памяти, можно осуществлять контроль за всеми ПП, которыефункционируют под управлением гипервизора.
Строки журнала содержатлинейные адреса ячеек памяти, участвующих в операциях. Благодаря этому наоснове данных журнала можно организовать отражение активности памяти наобраз памяти в виде линии (первое измерение диаграммы состояния), а порядок впоследовательности записей журнала может соответствовать строкам отображенияактивности (второе измерение диаграммы состояния).Учитывая наши предположения, разработаем алгоритм контроля обращенийпроцессоракобластямпамяти,используемойпрограммнымпродуктом(Рисунок 21).Получаемые сведения пригодны для дальнейшего использования в процессесоздания ленты событий в использовании областей памяти и ее визуализации.68Указанный алгоритм апробирован в программном комплексе контроля ивизуализации областей памяти электронной вычислительной системы, вследствиечего получено свидетельство о регистрации программы для ЭВМ8.Самарин Н.Н.
Программный комплекс контроля и визуализации областей памяти электроннойвычислительной системы / Баженов А.С., Борисов А.В. // Заявка на свидетельство огосударственной регистрации программы для ЭВМ. №2013618878 от 03.10.20138(0).[386] [0x0000000f06ad] f000:06ad (unk. ctxt): and al, 0x02(0).[387] [0x0000000f06af] f000:06af (unk. ctxt): test al, al(0).[388] [0x0000000f06b1] f000:06b1 (unk.
ctxt): jz .+27 (0x000f06ce)(0).[389] [0x0000000f06ce] f000:06ce (unk. ctxt): pop bp[CPU0 RD]: LIN 0x0000ffc8 PHY 0x00000000ffc8 (len=2, pl=0): 0xFFD2(0).[390] [0x0000000f06cf] f000:06cf (unk. ctxt): ret[CPU0 RD]: LIN 0x0000ffca PHY 0x00000000ffca (len=2, pl=0): 0x081D(0).[391] [0x0000000f081d] f000:081d (unk. ctxt): add sp, 0x0004(0).[392] [0x0000000f0820] f000:0820 (unk. ctxt): mov ax, word ptr ss:[bp+8][CPU0 RD]: LIN 0x0000ffda PHY 0x00000000ffda (len=2, pl=0): 0x0166(0).[393] [0x0000000f0823] f000:0823 (unk. ctxt): inc ax(0).[394] [0x0000000f0824] f000:0824 (unk. ctxt): mov word ptr ss:[bp+8], ax(0).[395] [0x0000000f0827] f000:0827 (unk.
ctxt): push word ptr ss:[bp+6][CPU0 RD]: LIN 0x0000ffd8 PHY 0x00000000ffd8 (len=2, pl=0): 0xF000[CPU0 WR]: LIN 0x0000ffce PHY 0x00000000ffce (len=2, pl=0): 0xF000(0).[396] [0x0000000f082a] f000:082a (unk. ctxt): push word ptr ss:[bp+8]Условные обозначения:- Отчет о работе с памятью- Номер такта процессора- Операция записи в память- Линейный адрес памяти- Физический адрес памяти- Операция чтения из памятиРисунок 20 - Фрагмент журнала работы виртуальной машины69[CPU0 WR]: LIN 0x0000ffda PHY 0x00000000ffda (len=2, pl=0): 0x016770Рисунок 21-Алгоритм контроля обращений процессора к областям памяти используемой программным продуктом713.2 Описание алгоритма контроля обращений процессора к областямпамяти, используемой программным продуктомАлгоритм контроля обращений процессора к областям памяти, используемойпрограммным продуктом, представленный на Рисунке 21, включает в себя 10блоков.Описание блоков алгоритма представлено в Таблице 7.Таблица 7 - Описание блоков алгоритмаБлокБлок 1.журналаОткрытиеОписаниефайла Открытиефайлажурналаотладчика,формируемого виртуальной машинойУстановка построчного считывателя на конецБлок 2.
Адресация чтения нажурнала, так как он формируется снизу вверх, поконец файла журналастековому принципуБлок 3. Ожидание наличия Ожидание новой строки с целью обработки ееновой строки в файле журнала содержимогоВыполнение чтения строки и разбор поБлок 4. Чтение строки из указателю операции в начале строки,файла журналаопределение адреса памяти (линейного ифизического)Выбор действия при наличии записи в строке овыполнении кода. Если параметр в строкеБлок 5. Определение действия указывает на выполнение кода, то необходимос записями в выбранной перейти на извлечение кода и номера тактастрокестроки.
Если такая информация не содержится,то следует перейти к выбору записи,содержащей информацию о работе с памятью.Если в строке содержится запись о выполненииБлок 6. Извлечение адресакода, то требуется считать (извлечь) адресвыполненного кода и номеравыполненного кода и номер такта из даннойтакта из строкистрокиБлок 7.
Выбор действия в Если строка содержит только сведения о работеслучае если, строка содержит с памятью, то требуется перейти к выполнениюинформацию о работе с операции извлечения адреса ячейки, если нет, топамятьюпередать эту информацию на визуализатор72Продолжение таблицы 7БлокОписаниеБлок 8. Извлечение адресаячейкипамятиитипаоперации (чтение/записи) изстрокиБлок 9.
Передачи данных навизуализаторБлок 10. Блок выбора приналичииилиотсутствиякомандыобостановкежурналаЕсли строка содержит информацию об операциичтения/записи, то из строки извлекается адресэтой ячейки и тип операции и передается навизуализатор.Визуализатор получает исходные данные в видеадресов и команд и на основании полученныхсведений строит диаграмму, которая болееподробно будет описана нижеЕсли поступила команда на остановку журнала,то действия с ним прекращаются, и визуализаторперестает обрисовывать состояние работывиртуальной машины. Если запроса наостановку нет, считывается следующая строкаиз файла журнала состояния виртуальноймашины.3.3.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
