Компоненты проекта

верки условий. Для всех рассмотренных в исследовании типов ошибок этот результат представляется самым важным. Вторым по значимости типом ошибок для всех проектов являются неверная логика (неправильные результаты логических операций) и нарушения последовательности логических действий; они составляли от 14,9 до 45% всех логических ошибок. Как ни удивительно, но бесконечные циклы и другие ошибки, связанные с циклами, были достаточно редкими и составляли всего лишь 5,2% для логических ошибок Проекта 3 и еще меньше для других проектов.

Для всех проектов преобладающими категориями в классах ошибок ввода и вывода данных являлись

Одно из основных 5прощений перечня категорий ошибок ,в Проекте 5 касалось как раз ошибок сопряжения.

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

Ошибки манипулирования данными, следующие по общему их количеству за логическими ошибками, преобладали в операциях инициализации и обновления данных. Эти две категории ошибок составляли от 65,7 до 77,3% от общего числа ошибок данного класса для Проекта 3 и Проекта 4 и от 26,3%, в имитационных программах до 82,3% в операционной системе Проекта 5. Ошибки инициализации флажков оказались серьезной проблемой для всех исследуемых проектов.

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

3.2.2. Особенности выявления ошибок на различных этапах разработки

Все ошибки, анализу которых посвящено настоящее исследование, были выявлены либо в результате формального тестирования, либо (как в случае Проекта 3 и Проекта 4) в ходе эксплуатации программ. Под формальным тестированием понимается тестирование, проводимое после того, как отдельные разработчики завершили проверку и отладку своих программ. Этап формального тестирования является одним из этапов разработки программного обеспечения и позволяет установить, удалось или нет достичь поставленных целей, таких, например, как целостности и единства системных интерфейсов, соответствия программ спецификациям, возможности функционирования программ в соответствующей операционной среде.