Калайда В.Т., Романенко В.В. Технология разработки программного обеспечения (1015641), страница 18
Текст из файла (страница 18)
Существуют ли какие-нибудьдругие ошибки в операциях синдексацией или при обращении кмассивам по индексу?Описание данных1. Все ли переменные описаны?2. Понятно ли отсутствие атрибутов?3. Правильно ли инициализированымассивы и строки?4. Правильно ли определены размер,тип и класс памяти?5. Согласуется ли инициализация склассом памяти?6. Нельзя ли обойтись без переменныхсо сходными именами?Вычисления1. Производятся ли вычисления нанеарифметических переменных?2. Производятся ли вычисления сиспользованием данных разного вида?3.
Существуют ли вычисленияпеременных разной длины?4. Не меньше ли длина результата, чемдлина вычисляемого значения?5. Возможно ли переполнение илипотеря промежуточного результата привычислении?6. Есть ли деление на нуль?7. Существуют ли неточности приработе с двоичными числами?8. Не выходит ли значение переменнойза пределы установленного диапазона?9. Понятен ли порядок следованияоператоров?10. Правильно ли осуществляетсяделение целых чисел?Сравнение1. Сравниваются ли величинынесовместимых типов?2.
Сравниваются ли величиныразличных типов?3. Корректны ли отношения сравнения?4. Корректны ли булевские выражения?5. Объединяются ли сравнения ибулевские выражения?6. Сравниваются ли дробные величины,представленные в двоичной форме?7. Понятен ли порядок следованияоператоров?8. Понятна ли процедура разборакомпилятором булевских выражений?Рис. 6.3 — Сводный список вопросов для выявления ошибокпри инспекции (часть 1)115Передача управления1.
Может ли значение индекса впереключателе превысить числопереходов?2. Будет ли завершен каждый цикл?3. Будет ли завершена программа?4. Существует ли какой-нибудь цикл,который не выполняется из-за входныхусловий?5. Корректны ли возможныепогружения в цикл?6. Есть ли ошибки отклонения числаитераций от нормы?7.
Соответствуют ли друг другуоператоры DO и END?8. Существуют ли неявные решения?Ввод-вывод1. Правильны ли атрибуты файлов?2. Правильны ли атрибуты оператораOPEN?3. Соответствует ли форматспецификации операторам вводавывода?4. Соответствует ли размер буфераразмеру записи?5. Открыты ли файлы перед ихиспользованием?6. Обнаруживаются ли признаки концафайла?7. Обнаруживаются ли ошибки вводавывода?8. Существуют ли какие-нибудьтекстовые ошибки в выходнойинформации?Интерфейс1. Равно ли число входных параметров числуаргументов?2. Соответствуют ли атрибуты параметров иаргументов?3.
Соответствуют ли единицы измерения параметров иаргументов?4. Равно ли число аргументов, передаваемыхвызываемым модулем, числу параметров?5. Соответствуют ли атрибуты аргументов,передаваемых вызываемым модулем, единицамизмерения параметров?6. Совпадают ли единицы измерения аргументов,передаваемых вызываемым модулем, единицамизмерения параметров?7. Правильно ли заданы число, атрибуты и порядокследования аргументов для встроенных функций?8.
Существуют ли какие-нибудь обращения кпараметрам, не связанным с текущей точкой входа?9. Не изменяет ли подпрограмма аргументы,являющиеся только входными?10. Согласуются ли определения глобальныхпеременных во всех использующих модулях?11. Передаются ли в качестве аргумента константы?Другие виды контроля1. Есть ли в таблицеперекрестных ссылоккакие-нибудьпеременные, на которыенет ссылок?2. Список атрибутовтакой, который иожидался?3. Есть ли какие-нибудьпредупреждения илиинформационныесообщения?4.
Осуществляется ликонтроль правильностивходных данных?5. Нет ли пропущенныхфункций?Рис. 6.4 — Сводный список вопросов для выявления ошибокпри инспекции (часть 2)1164. Равен ли размеру записи размер области памяти дляввода-вывода? Это может быть важно при блочном вводе-выводе (функции BLOCKREAD и BLOCKWRITE в Паскале, FREADи FWRITE в Си).5.
Все ли файлы открыты перед их использованием?6. Правильно ли обнаруживаются и трактуются признакиконца файла?7. Правильно ли трактуются ошибочные состояния вводавывода?8. Существуют ли смысловые или грамматические ошибки в тексте, выводимом программой на печать или экран дисплея?6.3.3.8 Другие виды контроля1. Если компилятор выдает таблицу перекрестных ссылокидентификаторов, проверьте величины, на которые в этомсписке нет ссылок или есть только одна ссылка.2. Если компилятор выдает список атрибутов, проверьтеатрибуты каждой величины для обеспечения гарантии того, чтов программе нет никаких неожиданных и отсутствующих атрибутов.3.
Если программа оттранслирована успешно, но компилятор выдает одно или несколько «предупреждений» или «информационных» сообщений, внимательно проверьте каждое изних. Предупреждение свидетельствует о «подозрениях» компилятора в отношении правильности ваших действий.
Все эти«подозрения» должны быть рассмотрены. В информационныхсообщениях могут перечисляться неописанные переменные иликонструкции языка, которые препятствуют оптимизации кода.4. Является ли программа (или модуль) достаточно устойчивой? Иными словами, проверяет ли она правильность своихвходных данных?5. Не пропущена ли в программе какая-нибудь функция?Сводный список вопросов для выявления ошибок приведен на рис. 6.3 и 6.4.1176.3.4 Сквозные просмотрыСквозной просмотр, как и инспекции, представляет собойнабор процедур и способов обнаружения, осуществляемыхгруппой лиц, просматривающих текст программы. Такой просмотр имеет много общего с процессом инспектирования, но ихпроцедуры несколько отличаются, и, кроме того, здесь используются другие методы обнаружения ошибок.Подобно инспекции, сквозной просмотр проводитсякак непрерывное заседание, продолжающееся один или два часа.
Группа по выполнению сквозного просмотра состоит из3—5 человек. В нее входят председатель, функции которогоподобны функциям председателя в группе инспектирования, секретарь, который записывает все найденные ошибки, и специалист по тестированию. Мнения о том, кто должен быть четвертым и пятым членами группы, расходятся. Конечно, одним изних должен быть программист. Относительно пятого участникаимеются следующие предположения:1) высококвалифицированный программист;2) эксперт по языку программирования;3) начинающий (на точку зрения которого не влияет предыдущий опыт);4) человек, который будет, в конечном счете, эксплуатировать программу;5) участник какого-нибудь другого проекта;6) кто-либо из той же группы программистов, что и авторпрограммы.Начальная процедура при сквозном просмотре такая же,как и при инспекции: участникам заранее, за несколько дней дозаседания, раздаются материалы, позволяющие им ознакомиться с программой.
Однако процедура заседания отличается отпроцедуры инспекционного заседания. Вместо того, чтобы просто читать текст программы или использовать список ошибок,участники заседания «исполняют роль вычислительной машины». Лицо, назначенное тестирующим, предлагает собравшимсянебольшое число написанных на бумаге тестов, представляющих собой наборы входных данных (и ожидаемых выходныхданных) для программ или модуля. Во время заседания каждыйтест мысленно выполняется. Это означает, что тестовые данные118подвергаются обработке в соответствии с логикой программы.Состояние программы (т.е. значения переменных) отслеживается на бумаге или доске.Конечно, число тестов должно быть небольшим и онидолжны быть простыми по своей природе, потому что скоростьвыполнения программы человеком на много порядков меньше,чем у машины. Следовательно, тесты сами по себе не играюткритической роли, скорее они служат средством для первоначального понимания программы и основой для вопросов программисту о логике проектирования и принятых допущениях.
Вбольшинстве сквозных просмотров при выполнении самих тестов находят меньше ошибок, чем при опросе программиста.Как и при инспекции, мнение участников является решающим фактором. Замечания должны быть адресованы программе, а не программисту. Другими словами, ошибки не рассматриваются как слабость человека, который их совершил. Онисвидетельствуют о сложности процесса создания программ иявляются результатом все еще примитивной природы существующих методов программирования.Сквозные просмотры должны протекать так же, как иописанный ранее прогресс инспектирования.
Побочные эффекты, получаемые во время выполнения этого процесса (установление склонных к ошибкам частей программы и обучение наоснове анализа ошибок, стиля и методов), характерны и дляпроцесса сквозных просмотров.6.3.5 Оценка посредством просмотраПоследний ручной процесс обзора программы не связан сее тестированием (т.е. целью его не является нахождение ошибок). Однако описание этого процесса приводится здесь потому, что он имеет отношение к идее чтения текста.Оценка посредством просмотра является методом оценкианонимной программы в терминах ее общего качества, ремонтопригодности, расширяемости, простоты эксплуатации иясности.
Цель данного метода — обеспечить программистасредствами самооценки. Выбирается программист, которыйдолжен выполнять обязанности администратора процесса. Администратор, в свою очередь, отбирает приблизительно 6—11920 участников (6 — минимальное число для сохранения анонимности). Предполагается, что участники должны быть одногопрофиля (например, в одну группу не следует объединять программистов, использующих Кобол, и системных программистов, пишущих на Ассемблере). Каждого участника просятпредставить для рассмотрения две свои программы — наилучшую (с его точки зрения) и низкого качества.Отобранные программы случайным образом «распределяются между участниками. Им дается на рассмотрение по четырепрограммы.
Две из них являются «наилучшими», а две — «наихудшими», но рецензенту не сообщают о том, какая программак какой группе относится. Каждый участник тратит на просмотр одной программы 30 мин и заполняет анкету для ее оценки. После просмотра всех четырех программ оценивается их относительное качество. В анкете для оценки проверяющемупредлагается оценить программу по семибалльной шкале(1 означает определенное «да», 7 — определенное «нет») приответе, например, на следующие вопросы: Легко ли было понять программу? Оказались ли результаты проектирования высокогоуровня очевидными и приемлемыми? Оказались ли результаты проектирования низкогоуровня очевидными и приемлемыми? Легко ли для вас модифицировать эту программу? Испытывали бы вы чувство удовлетворения, написавтакую программу?Проверяющего просят также дать общий комментарий ирекомендации по улучшению программы.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
