Главная страница  Анализ эмпирических данных 

1 2 [ 3 ] 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105

ций окончательного варианта рабочей конфигурации этой системы программного обеспечения. Модификациям присвоены обозначения MODI А, MODI В, MODIBR, M0D2. Каждая модификация рассматривается как самостоятельный пакет программ (фактически как самостоятельный проект), характеризуемый своим собственным циклом проектирования, программирования, отладки и формального тестирования.

Собственно программное обеспечение представляет собой систему команд и управляющих программ, записанную на языке JOVIAL J4. Мы ограничимся рассмотрением только прикладного программного обеспе51ения, хотя в процессе сбора информации анализировались и данные об ошибках в операционной системе SYMON и ее программных, средствах. В случае Проектов 2 и 3 программные средства операциовг ной системы фактически не содержали ошибок.

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

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

С точки зрения структуры наименьшим транслируемым элементом исходной программы являлась под-Г ?ппммп п т1г г 1 соединялись затем для



образования функций, группирование которых давало подсистемы, а объединение нескольких подсистем образовывало систему. Такая структура, характерная также для Проекта 3, была предложена и разработана проектной организацией, каждое рабочее подразделение которой (группа разработчиков или испытателей) несло ответственность за обеспечение одной или нескольких функций. Результаты анализа показали целесообразность подобного принципа построения коллектива.

Проект 3 представляет собой исходную версию крупного пакета программного обеспечения. Прикладные программы пакета написаны на языке JOVIAL J4 и совместимы с операционной системой SYMON.

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

Характеристики процессов разработки и испытаний для Проекта 3 в основном аналогичны соответствующим характеристикам Проекта 2 (табл. 1.2). Как уже отмечалось, фирма TRW не являлась единственным разработчиком программного обеспечения, однако Данные, относящиеся к работе обоих соисполнителей, были получены из сходных источников. Часть данных, цапример характеристики персонала и показатели затрат машинного времени, имеются только для разделов программного обеспечения, разработанных фирмой TRW.

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

В структуре Проекта 4 наименьшим транслируемым элементом является подпрограмма. Все такие



Общие характер1гстики проектов

Таблица 1.2

Характеристики

Проект 2

Проект 3

Проект 4

ПроЕКГ 5

Объем (общее количество опе-

96931

115346

1>

11105-

раторов в программах на

17459

входном языке)

Количество программ

Язык

JOVIAL J4

JOVIAL J4

PV/S

ФОРТРАН, АССЕМБЛЕР

Уровень формализации требо-

К функциям

К функциям

К системному

К программам

ваний

программному обеспечению

Стандарт на документацию

SSD 61-47 В

SSD 61-47 В

Стандарт TRW

STD 490

Наличие соисполнителей раз-

Есть (1977 г.)

работки программ

Режим функционирования

Пакетный

Пакетный

Онлайн или пакетный

В реальном времени и пакетный

Методы формальной проверки

Аттестация

Аттестация

Тестирование под-

(в порядке уменьшения ча-

программ

стости применения)

Приемочные ис-

Приемочные ис-

Интеграция под-

пытания

пытания

программ

Системные испы-

Системные испы-

Интеграция функ-

тания

тания Демонстрация работоспособности

Оценка качества

Демонстрация работоспособности

лгакросы языка PWS неизмеримы в сравнимых единицах.

> Объем системы программного обеспечения по Проекту о измеряется числом выполняемых операторов исходного текста для программ на ФОРТРАНе и машинных команд для программ на АССКМБЛЕРе.



1 2 [ 3 ] 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105

© 2000 - 2018 ULTRASONEX-AMFODENT.RU.
Копирование материалов разрешено исключительно при условии цититирования.