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