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

4.7.2. Средства

В зависимости от той функции, которая отводится средствам программного обеспечения прн выявлении конкретных программных ошибок, они подразделяются на предупредительные (например, какой-либо алгоритмический имитатор) и обнаружительные (напри? мер, какой-либо интерфейсный ревизор). Однако выделяют еще одну категорию - вспомогательные {обеспечивающие) средства, которые выполняют вспо-: могательную роль (например, динамический анализатор ветвей). Такие средства обеспечивают успешное применение конкретных методов разработки или испьи таний. Как будет показано, эффективность использования средств двух первых категорий довольно легко можно оценить количественно, в меньшей степени это относится к вспомогательным средствам, хотя именно им следует отдать предпочтение в деле создания бе3< дефектных программных изделий, так как они позво-. ляют выявлять широкий спектр ошибок. Например, наличие какого-либо алгоритмического имитатора могло бы способствовать эффективному предотвращея нию конкретных ошибок вычислений в Проекте 3; Ц идеальном случае могло бы быть предотвращено дд. 74% таких ошибок, или 6,6% от общего их числа (табл. 4.12, 4.13). Тот или иной динамический анализатор ветвей программы (вспомогательное средство)

...... Таблица 4.12

Ошибки, выявленные в Проекте 3 с помощью предупредительных и обнаружительных методов

Класс ошибок

о о га ;

5 га

; р.

га 5 !3 -

Процент ошибок каждого класса, проникших в систему на стадии

Процент выявленных ошибок каждого класса от общего . числа ошибок

Предупредительные методы

га Е-о с

С о.

Обнаружительные методы

С га

GJ К О М Е 33

Ошибки вычислении Логические ошибки Ошибки ввода-вывода Ошибки манипулирования данными Ошибки в операционной системе и вспомогательных программных средствах С шибки компоновки Ошибки в межпрограммных интерфейсах Ошибки в интерфейсах программа/системное программное обеспечение

АА ВВ СС

ЕЕ FF

9,0 26,0 16,4

18,2

0.1 3,1

90 88 24

24 93

10 12

76 7

53,9 52,7 21,7

11,1 47,9

1:7.3

15,9 31,5 23,5

51,0

65,4 86,5 21,7

24,4

О 41,2

О 78,2

27.3

46,7 72,9 78,6

73,9

86,1

100,0

87,4 79,6 98,5

84,2

20,0 27,3

52,2 57,3 35,2

76,9

73,6 О О

О 24,2 50,0

63,0

О 99,4

100,0

62,6 52,3 57,8

58,3

Ошибки ленточных сопряжений

Ошибки в пользовательских интерфейсах

Ошибки сопряжений с базой данных

Ошибки, лежашие в основе изменений по требованию пользователя

Ошибки инициализации базы данных

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

Повторяющиеся ошибки

Ошибки в документации

Нарушение технических требований

Неопознанные ошибки Ошибки оператора Неясности В среднем

JJ КК

NN РР

RR SS ТТ

0,8 О

0,8 1,3 0,8

1,0 0,7 1,1

90 83 10

10 17

62 38

62 7о 38%

12,7 О

60.0

О О О

12,2

90,0 24,6 О

60,8

75,0

О О О

53,7

81,3

75,0

100,0 89,6 100,0

100,0

87,5

75,0

87,3 О

29,3

81,3

О О О

29,3

62,5

100,0 100,0 100,0

13,4

100,0

25,0

100,0 12,7 О

) Хотя ошибки этих классов требовали изменений в программах, попытка уточнить стадию их проникновения- (проектирование или программирование) ие предпринималась, ошибки этих классов составляют лишь 5% от обшего их числа.

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

ПОЭЗД -проверка при особенных и экстремальных значениях данных.