Определение рациональной длительности отладки
С2 = С0 + СЭ – развитие отладки.
С0 – затраты на отладку.
СЭ – затраты на эксплуатацию, вызванные потерями от воздействия необнаруженных ранее ошибок.
29.Основные принципы отладки
Основной целью отладки является установка факта работоспособности КП и соответствие требованиям ТЗ (непосредственно связь с эталонами).
При различных методах проверки отладки должны решаться следующие задачи:
определение наличия ошибок и отклонения от эталонов
диагностика и локализация ошибок
информированием операторам о ходе и результате вычислений и соответственно о наличии ошибок
устранение ошибок, корректировка программ и документации.
Наиболее сложно 1-2, формальных методов не существует, следовательно, многое зависит от опыта лиц, проводящих отладку и знание предметной области. Крайне желательно, чтобы отладку (ее заключительные этапы) – проводили лица не имеющие отношение к разработке конкретных программ.
Процесс отладки по своей сути состоит в построении последующих правдоподобных гипотез об ошибках и их проверке.
30.Методы отладки
Последовательное и постепенное иерархическое усложнение задачи и увеличение объема совместно функционирующих программ, постепенность наращивания объема совместно наращиваемых программ существенно снижает эффект маскирования ошибок и позволяет их локализацию.
Процесс отладки по уровню сложности, степени связи с объектом управления и объемом отлаживаемых программ можно условно разделить на следующие этапы:
автономная отладка комплекса замкнутых подсистем в статике (то есть временных характеристик в работающей программе).
комплексная отладка КП в целом в статике
комплексная отладка КП в целом в динамике без подключения к реальному объекту
С точки зрения метода (по типу эталона), применяемого при выявлении ошибок, используются следующие 3 группы методов:
структурный контроль соответствующих программ, формализация правилом построения. Структурный контроль – проверка принадлежности правилам построения программ.
отладка по частным деталям реализации тестов. Отладка по частым детерминированным реализациям тестов производится по детерминированным эталонам, которые чаще всего подбираются “в ручную”.
отладка по статистическим характеристикам реализации тестов. Для преодоления размерности осуществляется переход к статистическим методам отладки, которые можно подразделить на 2 части: 1. статистическая отладка (производится получение и анализ выходных результатов при изменении входных переменных в соответствии с известными статистическими законами для источников информации); 2. проверка динамических характеристик функционирования объекта на основании статистических данных, этот этап всегда проводится после исчерпывающего завершения первого этапа, дыбы максимально избежать массирования “тонких” ошибок, которые могут быть затемнены другими.
31.Принципы отладки:
отладка идей: осуществляется на стадии эскизного проекта, алгоритм в это время существует лишь в виде укрепленных блок-схем, имеются также формализованное целевое назначение системы, отладка обеспечивает проверку и возможное математическое моделирование упрощающее идеологические основы будущего КП. При этом устраняются принципиальные системы и алгоритмические ошибки, часто применяемое математическое моделирование и проверка алгоритмов разрабатываются на ЯВУ.
ручная автономная отладка без применения ВС: позволяет выявить наиболее массовые и грубые ошибки, которые плохо выявляются формальными методами, так как эти методы рассчитаны на «хорошие» программы с небольшим количеством ошибок. Суть: проверка логики программ, переменных, входных и выходных структур данных использующих OPR(SRAP) и т.д.
автономная отладка программ и замкнутых подсистем на ВС с использованием детерминированного тестирования, по сути, трансляция тестирования на основе эталона.
статистическая автономная отладка, после ее завершения можно переходить к комплексной отладке, велико влияние маскировки ошибок.