![]() |
![]() |
Главная страница Анализ эмпирических данных НОВЫХ его блоков. Категории этого класса ошибок характеризуют внешние их признаки. Наиболее интересны следующие категории: ВВ060 - пропуск логической операции или условия, а также ошибки, связанные с отсутствием элемента программы, выполняющего некоторую логическую функцию; при дальнейшей детализации здесь выделяются такие ошибки, как отсутствие контроля значений индексов, числа элементов, проверки флажков и особенных значений элементов данных. В В070 - добавлена для Проекта 4 и эквивалентна категории ВВ120 Проектов 2 и 3. Фактически это ошибки в логике программы, происходящие из-за отсутствия подробной документации. (Разделение категорий ВВ070 и ВВ120 обусловлено тем, что Проект 4 относится к действующей системе, а ошибки категорпп ВВ120 были обнаружены в результате предварительного формального тестирования.) DB100 - ошибки, свойственные логике, в соответствии с которой значения данных, характерных для Проектов 2 и 3, устанавливались один раз, а затем периодически обнов.11ялись. Установка начальных значений и последующие их изменения контролировались. БВ140 - логические ошибки моделирования (их следует отличать от вычислительных ошибок моделирования). ВВ150 1 -недостатки алгоритмов. Важно отметить, ВВ160 i что эти недостатки обнаруживаются в ВВ170 J результате анализа реализованной программы, а не только проектной документации. ВВ180 - ошибки обращения к памяти. Эта категория заслуживает особого упоминания, так как представляет программные ошибки, в результате чего и создается впечатление, что ее причина связана с оборудованием. Это единственная категория подобного рода во всем перечне. Ошибки ввода-вывода. Была сделана попытка ограничить перечень категорий этого класса ошибок только ошибками в модулях ввода-вывода, отделив их от ошибок в интерфейсах и т. п. Однако это оказалось трудновыполнимой задачей, потому что ошибкп, обычно связываемые с бперациями ввода-вывода, на самом деле, как правило, являются результатом других ошибок. Например, ошибка категории СС020 (вывод непредусмотренных элементов данных) может быть обусловлена ошибкой циклической обработки или логической ошибкой. Вместе с тем ставилась цель четкого определения категорий, связанных с ошибками форматирования выдаваемых результатов, размещения информации, с неполнотой данных, с нарушением размеров полей и с операциями управления вводом-выводом. Категории ошибок этого класса не требуют дополнительных пояснений. Ошибки манипулирования данными. В перечень категории этого класса входят ошибки операций чтения, записи, пересылки, хранения и изменения данных. Была предпринята попытка ограничиться рассмотрением только программных ошибок и не учитывать ошибок в межпрограммных интерфейсах. В дополнительном пояснении нуждаются лишь две категории из этого списка: DD070 - ошибки манипулирования битами, характерные для Проекта 3, обычно возникали при необходимости изменения формата упакованных данных. DD120 - нарушение допустимых границ изменения данных фиксировалось тогда, когда программа пыталась получить доступ к области, находящейся за пределами разрешенного ей участка оперативной памяти. Ошибки в операционной системе и вспомогательных программных средствах. Это ошибки, обнаруженные в программном обеспечении операционной системы, компилятора, ассемблера и во вспомогательных или специальных служебных программах. Операционная система и вспомогательные средства для Проектов 2 и 3 были одинаковыми и фактически не содержали ошибок. В Проекте 4 Не было обнаружено ошибок, <:вязанных с операционной системой. Ошибки компоновки (конфигурации). Ошябки компоновки приводили к катастрофическим последствиям, когда программное обеспечение после некоторой модификации (обычно связанной с разрешением какой-то проблемы) становилось несовместимым с операционной системой или прикладными программными средствами. Эти ошибки в большинстве случаев являлись результатом применения жесткой организации работы программ и пренебрежения принципами управления конфигурацией программного обеспечения. Невнимание к этой проблеме в условиях жестких ограничений на сроки поставки системы программного обеспечения приводит к тому, что ошибки, которые могли бы быть обнаружены при использовании <:уществуюших методов управления конфигурацией систем (конфигурационного управления), остаются незамеченными, в результате чего обычно получаются такие программы, загрузка которых для исполнения оказывается невозможной. В класс ошибок компоновки (конфигурации) включены также необъяснимые остановы программ (FF030), не подпадающие под категории рассмотренного выше класса ЕЕООО и не повторяющиеся. Хотя возможно, что подобные ошибки связаны с оборудованием, в документации источник ошибки не указывался и следует отметить, что ни одна из этих ошибок не привела к изменениям программного обеспечения. Ошибки сопряжений. Ошибки подобного рода могут быть сгруппированы в пять основных классов: - ошибки в межпрограммных интерфейсах при-KJjaAHbix программ; - ошибки в интерфейсах программа/системное программное обеспечение (возникают в сопряжениях прикладных программ с операционной системой илн служебными программными средствами); - ошибки ленточных сопряжений, представляющие собой ошибки в работе устройств управления маг нитными лентами;
|
© 2000 - 2025 ULTRASONEX-AMFODENT.RU.
Копирование материалов разрешено исключительно при условии цититирования. |