Система модельно-алгоритмической поддержки многоэтапного анализа надежности программных средств тема диссертации и автореферата по ВАК РФ 05.13.01, кандидат технических наук Юнусов, Ренат Викторович

• Юнусов, Ренат Викторович
• кандидат технических наук
• 2003

Оглавление диссертации кандидат технических наук Юнусов, Ренат Викторович

Содержание.

Введение.

1 Анализ методов оценки надежности программных средств на всех этапах жизненного цикла.

1.1 Программное обеспечение и надежность.

1.2 Проблемы в области исследования надежности программного обеспечения

1.2.1 Проблемы терминологии.

1.2.2 Проблемы выбора параметров.

1.3 Классификация моделей оценки надежности программного обеспечения.

1.3.1 Классификация по оптимизируемым параметрам надежности.

1.3.2 Классификация по используемым формальным методам.

1.3.3 Классификация моделей по их месту в процессе разработки.

1.3.4 Прочие модели.

1.3.5 Гибридные модели.

1.4 Методы и средства обеспечения надежности программного обеспечения.

1.4.1 Методы проектирования надежного программного обеспечения.

1.4.2 Методы предупреждения ошибок.

1.4.3 Методы обнаружения ошибок.

1.4.4 Методы обеспечения устойчивости к ошибкам.

1.5 Фазы разработки программного обеспечения.

1.6 Фаза дизайна архитектуры программного обеспечения.

1.6.1 Создание архитектуры программного обеспечения, как этап проектирования информационной системы.

1.6.2 Зависимость надежности от архитектуры программного обеспечения.

1.6.3 Компоненты архитектуры.

1.6.4 Свойства компонентов архитектуры.

1.6.5 Надежность архитектуры программного обеспечения.

1.7 Фаза кодирования.

1.8 Фаза тестирования.

1.8.1 Методология тестирования программного обеспечения.

1.8.2 Моделирование роста надежности программного обеспечения.

1.8.3 Операционные профили тестирования.

1.9 Выводы.

2 Мультиверсионное программное обеспечение.43 ■

2.1 Базовые элементы мультиверсионного программного обеспечения.

2.2 Жизненный цикл мультиверсионного программного обеспечения.

2.2.1 Фаза системных спецификаций - формирование NVX (NVS - супервизор)

2.2.2 Фаза выработки требований к ПО - выбор способов достижения и степени разнообразия версий ПО.

2.2.3 Фаза спецификации ПО - установка определителей ошибок и алгоритмов восстановления.

2.2.4 Фаза проектирования и кодирования - ведение СЮ-протокола развития NVS.

2.2.5 Фаза тестирования - фаза предварительной эксплуатации NVS.

2.2.6 Фаза оценки и принятия - оценка отказоустойчивости NVS.

2.2.7 Фаза сопровождения и развития - выбор и осуществление способа сопровождения NVS.

2.3 Восстановление сбойных компонент при мультиверсиоипом объектноt, ориентированном программировании.

2.3.1. Подход к построению избыточности программного обеспечения.

2.3.2 Избыточность программного обеспечения и объектно-ориентированный подход.

2.3.3 Общие принципы реализации мультиверсионной избыточности.

2.3.4 Современные подходы реализации мультиверсионной избыточности.

2.3.5 Объектно-ориентированное восстановление версий компонент программного обеспечения.

2.4 Выводы.

3 Модели и алгоритмы анализа надежности программных средств.

3.1 Модель анализа на этапе дизайна архитектуры программного обеспечения

3.2 Анализ надежности программного обеспечения на фазе кодирования.

3.3 Анализ надежности программного обеспечения на фазе тестирования системы

3.4 Операционные профили тестирования компонент.

3.4.1 Оценивание вероятностей сбоя.

3.4.2 Ведение таблиц параметров профилей.

3.4.2 Пример применения операционных профилей.

3.5 Модели надежности объектно-ориентированного программного обеспечения

3.5.1 Фаза построения архитектуры объектно-ориентированного программного обеспечения.

3.5.2 Фаза кодирования.

3.5.3 Фаза тестирования.

3.5.4 Оценка параметров надежности.

3.5.6 Модель оценки транзакционной надежности объектно-ориентированного программного обеспечения.

4 Программная реализация системы модельно-алгоритмической поддержки многоэтапного анализа надежности программных средств. Практическое применение и анализ результатов.

4.1 Общие сведения.

4.2 Описание системы модельно-алгоритмической поддержки многоэтапного анализа надежности программных средств.

4.3 Концептуальная архитектура системы модельно-алгоритмической поддержки многоэтапного анализа надежности программных средств.

4.3.1 Логическая структура данных.

4.4 Концептуальная архитектура реализации мультиверсионной среды.

4.5 Описание функционирования системы.

4.6 Примеры решения задач и анализ результатов.

4.6.1. Фаза создания архитектуры.

4.6.2 Фазы кодирования и тестирования компонент.

4.6.3 Фаза тестирования системы.

4.6.4 Фаза эксплуатации.

4.7. Анализ результатов.

Введение диссертации (часть автореферата) на тему «Система модельно-алгоритмической поддержки многоэтапного анализа надежности программных средств»

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

За прошедшие десятилетия было создано множество методов и моделей исследования надежности программного обеспечения (ПО), однако единого подхода к решению этой проблемы предложено не было. Причиной этому является уникальность каждой программной системы. Тем не менее, при разработке ответственных проектов, их создатели стараются в той или иной степени получить оценку надежности ПО, как правило, на основе результатов конечных испытаний. Современные программные системы используют при работе колоссальный объем данных, проходящих через стандартные модули и функции. Поэтому, выявить все связи и пути обработки информации, даже для достаточно несложной программы, практически невозможно. Исходя из этого, детализация элементов расчета надежности (условно называемых программными модулями) должна ограничиваться законченными программными образованиями, которые, взаимодействуя между собой, составляют более сложное объединение, надежность которого нас интересует.

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

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

Уверенность в успешности решения поставленной проблемы основывается на результатах исследований таких отечественных и зарубежных ученых, как

Хорошевский В.Г., Липаев В.В., Ковалев И.В., Движение А.А, Боэм Б.У., Гросспитч К.Е, и др.

Целью диссертационной работы является разработка системы модельно-алгоритмической поддержки многоэтапного анализа надежности программных средств.

Для достижения поставленной цели решались следующие задачи:

- Анализ существующих методик, моделей и алгоритмов оценки. надежности программных средств.

- Анализ методик, моделей и алгоритмов оценки надежности объектно-ориентированного программного обеспечения.

- Разработка базовой модели оценки надежности программного обеспечения, которая охватывает все этапы жизненного цикла программных средств.

- Формирование ряда подмоделей оценки надежности, путем модификации базовой модели.

- Разработка структуры и реализация системы модельно-алгоритмической • поддержки многоэтапного анализа надежности программных средств.

- Применение системы при реализации реальных проектов разработки программных средств.

Методы исследования. При выполнении работы использовались математическое и вероятностное моделирование параметров сложных систем, методы оценки надежности сложных систем, элементы теории вероятностей, объектно-ориентированный анализ, теория надежности программного обеспечения.

Научная новизна работы:

- Создана модифицированная модель роста надежности программного обеспечения, позволяющая получить требуемое время тестирования компонент ПО для достижения требуемого уровня надежности.

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

- Разработан алгоритм трансформации базовой модели для оценки надежности ПО любого класса.

- Предложены модель и алгоритм оценки транзакционной надежности программного обеспечения систем обработки и хранения информации.

- Реализован программный комплекс моделей и алгоритмов оценки параметров надежности программного обеспечения на основных фазах жизненного цикла.

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

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

Разработанная программная система позволяет:

- Рассчитать требуемое время тестирования компонент (в человеко-часах) ПО для достижения требуемого уровня надежности на ранних фазах жизненного цикла.

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

Базовая модель оценки надежности применяется как для любого ПО, в том числе, объектно-орентированного ПО, для мультиверсионного объектно-ориентированного ПО с распределенной архитектурой и позволяет выявлять «узкие места» в компонентах программных средств и диапазоны входных значений, в наибольшей степени влияющие на сбои в компоненте. Данная модель также позволяет рассчитывать транзакционную надежность систем обработки информации на фазе тестирования всей системы.

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

Реализация результатов работы. При использовании системы модельно-алгоритмической поддержки многоэтапного анализа надежности программных средств был реализован модуль «Модели надежности» системы Microsoft Business Solutions-Axapta, используемый в официальном Центре Решений Microsoft Business Solutions в Красноярском крае.

Материалы диссертационной работы введены в учебные курсы и используются при чтении лекций студентам кафедры информатики Красноярского Государственного Технического Университета по дисциплине «Разработка программного обеспечения для информационно-управляющих систем».

На защиту выносятся:

- Базовая модель оценки параметров надежности программных средств.

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

- Модель и алгоритм оценки транзакционной надежности объектно-ориентированного программного обеспечения систем обработки и хранения информации.

- Система модельно-алгоритмической поддержки многоэтапного анализа надежности программных средств.

Апробация работы. Основные положения и результаты работы прошли всестороннюю апробацию на всероссийских конференциях, научных семинарах и научно-практических конференциях. В том числе:

- на всероссийской научно-практической конференции «Решетневские чтения», Красноярск, 2000 г.;

- на всероссийской электронной научно-технической конференции, - Вологда,

2001 г.

- на международной научной конференции Telematica'2001, Санкт-Петербург, 2001г.

- на научной конференции "Научно-инновационное сотрудничество". Москва,

2002 г.

- на международной научно-практической конференции СибГАУ САКС-2002, Красноярск, 2002 г.

- на V-й всероссийской конференции с международным участием молодых ученых и аспирантов «Новые информационные технологии. Разработка и аспекты применения», Таганрог: ТРТУ. 2002 г.

Диссертационная работа в целом обсуждалась на научных семинарах кафедры информатики Красноярского Государственного Технического Университета (2000-2003 гг.), в Академии Microsoft Business Solutions CIS, Москва 2002 г.

Публикации. По теме диссертации опубликовано 16 печатных работ. Полный список публикаций представлен в конце автореферата.

Структура и объем работы. Диссертация состоит из введения, четырех глав, заключения и списка литературы.

Заключение диссертации по теме «Системный анализ, управление и обработка информации (по отраслям)», Юнусов, Ренат Викторович

Заключение

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

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

- Проведен анализ методик, моделей и алгоритмов оценки надежности объектно-ориентированного программного обеспечения, а также выявлены общие параметры оценки надежности, характерные для моделей различного класса.

- Осуществлена разработка базовой модели оценки надежности программного обеспечения, которая охватывает все этапы жизненного цикла программных средств.

- Осуществлена разработка ряда подмоделей оценки надежности, путем модификации базовой модели, таким образом, показана простота адаптации базовой модели для оценки надежности программных средств различных классов.

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

- Предложен метод реализации системы модельно-алгоритмической поддержки многоэтапного анализа надежности программных средств путем интеграции в ERP-систему Microsoft Business Solutions - Axapta.

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

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

Список литературы диссертационного исследования кандидат технических наук Юнусов, Ренат Викторович, 2003 год

1. Движение, А.Н. Гарантоспособные вычисления: от идей до реализации в проектах / Л.Н. Движение, Ж.-К. Лапри. ТИИЭР, 1986. - Т. 74. - № 5. -С.8-21

2. Ашимов, А.А. Оптимальные модульные системы обработки данных / А.А. Ашимов, А.Г. Мамиконов, В.В. Кульба. Алма-Ата: Наука. 1981. - 186 с

3. Богатырев, В.А. К повышению надежности вычисли тельных систем на основе динамического распределения функций / Изв. вузов. Приборостроение. 1981

4. Богатырев, В.А. Отказоустойчивые многомашинные вычислительные системы динамического распределения запросов при дублировании функциональных ресурсов / Изв. вузов. Приборостроение. 1996. № 4

5. Боэм, Б. Характеристики качества программного обеспечения / Б. Боэм, Дж. Браун, X. Каспар, М. Липов, Г. Мак-Леод, М. Мерит. М.: Мир, 1981. -208 с

6. Боэм, Б.У. Инженерное проектирование программного обеспечения / Пер. с англ. М.: Радио и связь, 1985. -512 с

7. Буч, Г. Объектно-ориентированный анализ и проектирование с примерами на С++. М.: БИНОМ, 1998. 560 с

8. П.Воеводин, В.В. Математические модели и методы в параллельных процессах / М.: Наука, 1986. 328 с

9. Волик, Б.Г. Методы анализа и синтеза структур управляющих систем / Под ред. Б.Г.Волика. М.: Энергоатомиздат, 1988. - 296 с

10. Гантер, Р. Методы управления проектированием программного обеспечения / Под ред. Е.К.Масловского. М.: Мир, 1981. - 392 с

11. Головкин, Б.А. Расчет характеристик и планирование параллельных вычислительных процессов / М.: Радио и связь, 1983. 272 с

12. Гудман, С. Введение в разработку и анализ алгоритмов / С. Гудман, С. Хидетниеми. Пер. с англ. - М.: Мир, 1981. - 366 с

13. П.Давыденко, О.В. Оценка надежности программного обеспечения бортового комплекса управления / О.В. Давыденко, И.В. Ковалев. Вестник КГТУ:

14. Сб.научн.трудов; под ред. Б.П.Соустина. Вып.5. - Красноярск, 1996. - С. 119-121

15. Дилон, Б. Инженерные методы обеспечения надежности систем / Б. Дилон, И. Сингх. М.: Мир, 1984.-318 с

16. Ковалев, И.В. Автоматизация создания программных средств систем управления / В кн.: Микроэлектронные устройства: проектирование и технология. Красноярск. КПИ, 1990. - С. 79-85

17. Ковалев, И.В. Многоатрибутивный метод принятия решений с учетом относительной близости к лучшей альтернативе / И.В. Ковалев, Р.Ю. Царев; Тез. докл. межрегиональной конференции «Математические модели природы и общества» Красноярск: ТЭИ, 2002. - С. 63-66

18. Ковалев И.В. Многоатрибутивная модель формирования гарантоспособного набора проектов мультиверсионных программных систем / И.В. Ковалев, Р.Ю. Царев; Вестник НИИ СУВПТ. Вып.7. -Красноярск: НИИ СУВПТ, 2001.-С. 129-137

19. Ковалев, И.В. Оптимальное проектирование мультиверсионных систем управления / И.В. Ковалев, А.А. Попов, А.С. Привалов. Доклады НТК с международным участием «Информационные технологии в инновационных проектах» . - Ижевск: ИжГТУ, 2000. - С. 24-29

20. Ковалев, И.В. Параллельные процессы в информационно-управляющих системах. Формирование и оптимизация: Монография/ И.В. Ковалев, Р.Ю.

21. Царев, Ю.Г. Шиповалов. Под ред. д.т.н., проф. А.В. Медведева. -Красноярск: НИИ СУВПТ, 2001. - 143 с

22. Ковалев, И.В. Система мультиверсионного формирования программного обеспечения управления космическими аппаратами: Диссертация на соискание ученой степени доктора технических наук / Красноярск: КГТУ, 1997.-228 с.

23. Ковалев, И.В.Надежность архитектуры программного обеспечения телекоммуникационных технологий / И.В. Ковалев, Н.В. Василенко, Р.В.Юнусов; Международная научная конференция Telematica'2001, Санкт-Петербург, 2001- С. 23-24

24. Ковалев, И.В. Мультиверсиопный метод повышения программной надежности информационно-телекоммуникационных технологий в корпоративных структурах / И.В.Ковалев, Р.В. Юнусов; Телекоммуникации и информатизация образования. 2003. №2, С. 50-55

25. Колчанов, С.Ю. Использование генетических алгоритмов в задачах' формирования мультиверсионных программных систем. / Вестник НИИ СУВПТ: Сб. научн. трудов/ Под общей ред. профессора Н.В. Василенко; Красноярск: НИИ СУВПТ.- 2003. Выпуск 11.- С. 166-179

26. Лебедев, В.А. Параллельные процессы обработки информации в управляющих системах: Монография / В.А. Лебедев, Н.Н. Трохов, Р.Ю. Царев. Красноярск: НИИ СУВПТ, 2001. - 137 с

27. Липаев, В.В. Качество программного обеспечения / М.: Финансы и статистика, 1983. 264 с

28. Липаев, В.В. Технология проектирования комплексов программ АСУ / В.В. Липаев, Л.А. Серебровский. М.: Радио и связь, 1983. - 264 с

29. Липаев, В.В. Тестирование программ / М.: Радио и связь, 1986. 234 с

30. Липаев, В.В. Надежность программных средств/ СИНТЕГ. -М., 1998. -232 с

31. Майерс, Г. Надежность программного обеспечения: Пер. с англ./ Под ред. В.Ш.Кауфмана. М.: Мир, 1980. - 360 с

32. Мамиконов, А.Г. Типизация разработки модульных систем обработки данных / А.Г. Мамиконов, В.В. Кульба, С.А. Косяченко. М.: Наука, 1989. - 165 с

33. Мамиконов, А.Г. Синтез оптимальных модульных систем обработки данных / А.Г. Мамиконов, В.В. Кульба. М.: Наука, 1986

34. Михалевич, B.C. Вычислительные методы исследования и проектирования сложных систем / B.C. Михалевич, В.Л. Волкович. Наука, 1982. - 286 с

35. Поздняков, Д.А. Разработка и исследование среды мультиверсионного исполнения программных модулей. / Д.А. Поздняков, И.С. Титовский, Р.В.Юнусов; Вестник НИИ СУВПТ: Сб. научн. трудов; Красноярск: НИИ СУВПТ.- 2003. Выпуск 13.- С. 155-170

36. Попов, А.А. Бинарная модель отказоустойчивой системы программного обеспечения: Доклады НТК с международным участием «Информационные технологии в инновационных проектах» / А.А. Попов, А.С. Привалов. Ижевск: ИжГТУ, 2000. - С. 77-83

37. Раинкшкс, К. Оценка надежности систем с использованием графов / К. Раинкшкс, И.А. Ушаков. М.: Радио и связь, 1988

38. Саркисян, А.А. Повышение качества программ на основе автоматизированных методов / М.: Радио и связь, 1991. 160 с.

39. Системный анализ: Проектирование, оптимизация и приложения / В 2 т., под общ. Ред. Антамошкина А.Н. Красноярск: САА, 1996. - 206 с

40. Фокс, Дж. Программное обеспечение и его разработка / Пер. с англ. Под ред. Д.Б.Подшивалова. - М.: Мир, 1985. - 268 с

41. Хорошевский, В.Г. Инженерный анализ функционирования вычислительных машин и систем / М.: Радио и связь, 1987. 256 с.

42. Царев, Р.Ю. Многокритериальное принятие решений при создании отказоустойчивого программного обеспечения / Вестник НИИ СУВПТ. -Вып.2. Красноярск: НИИ СУВПТ, 1999.-С. 190-194

43. Царев, Р.Ю. Преобразование атрибутов при многоатрибутивном принятии решения / Решетневские чтения. Тез. докл. V Всерос. Научн.-практ. конф. студентов, аспирантов молодых специалистов 12-15 ноября 2001г. -Красноярск: САА, 2001. С. 119-120

44. Чжу, У.У. Копирование и размещение программных модулей в системе распределенной обработки в реальном времени / У.У. Чжу, Ц.К. Лян. — ТИИЭР, 1987. Т. 75, N 5. - С. 23-44

45. Юдин, Д.Б. Математические методы оптимизации устройств и алгоритмов АСУ / Д.Б. Юдин, А.П. Горяшко, А.С. Немировский. М.: Радио и связь, 1982.-288 с

46. Юнусов, Р.В. Анализ надежности аппаратно-программного информационно-управляющего комплекса / Вестник НИИ СУВПТ: Сб.научн. трудов/ Под общей ред. профессора Н.В. Василенко; Красноярск: МНИ СУВПТ.2003. Выпуск 11. С. 103-106

47. Юнусов, Р.В. Моделирование программных архитектур автоматизированных систем управления / Управляющие и вычислительные системы. Новые технологии: Материалы всероссийской электронной научно-технической конференции. Вологда: ВоГТУ, 2001. С. 60-61

48. Antamoshkin, A. System Analysis, Design and Optimization / A. Antamoshkin, H.P. Schwefel, and others. Ofset Press, Krasnoyarsk, 1993. - 312 p

49. Ashrafi, N. Optimization Models for Selection of Programs, Considering Cost & Reliability / N. Ashrafi, O. Berman;IEEE Transaction on reliability. Vol. 41, No 2, June 1992, P.281-287

50. Avizienis, A. The N-Version approach to fault-tolerant software / IEEE Trans, on Software Engineering. Vol. SE11,№ 12, December, 1985.-P. 1491-1501

51. Berman, O. Choosing an Optimal Set of Libraries / O. Berman, M. Cutler.; IEEE Transaction on reliability. Vol. 45, No 2, June 1996, P.303-307

52. Bhatnagar, S.K. Network analysis techniques / Wiley Eastern Limited, New Delhi, 1986.-456 p

53. Bogomolov, S. Fault Tolerance Software Library Support of Real-Time Embedded Systems / S. Bogomolov, A. Bondarenko, A. Fyodarov; Third European Dependable Computing Conference,EDCC-3, Prague, Czech Republic , September 15-17, 1999

54. Cherif, A. Improving the Efficiency of Replication for Highly Reliable Systems/ A. Cherif, M. Toyoshima, T. Katayama; FastAbstract ISSRE Copyright 1999

55. Choi, J.G. Reliability Estimation of nuclear digital I&C systems using Software Functional Block Diagram and control flow / J.G. Choi, H.G.Kang; FastAbstract ISSRE Copyright 2000

56. Clasen, U. Eine Moeglichkeit der numerischen Behandlung von zeitlich-stochastischen Netzplaenen / In: "Operations Research Proceedings", Springer • Verlag Berlin-Heidelberg, 1994. P. 46-51

57. Costa, D. On the Extention of Exception to Support Software Faults Models / D. Costa, T. Mendez; FastAbstract ISSRE Copyright 2000

58. David, Ph. Development of a fault tolerant computer system for the Hermes Space Shuttle / Ph. David, C. Guidal. IEEE Trans., 1993. - P. 641-648

59. Dunham, J.R. Eds. Production of reliable flight crucial software: Validation method research for fault-tolerant avionics and control systems sub-working-group meeting / J.R. Dunham, C.J. Knight NASA Conf. Pub. 2222, NASA, 1985

60. Grams Т. The Poverty of Reliabiliy Growth Models/ FastAbstract ISSRE Copyright 1999

61. Goseva-Popova K. How Different Architecture Based Software Reliability Models are Reealated / K. Goseva-Popova, K.S. Trivedi, A.P.Mathur; FastAbstract ISSRE Copyright 2000

62. Hamlet, D. Foundational Theory of Software Component Reliability / D. Hamlet, D. Mason, D. Wiot; FastAbstract ISSRE Copyright 2000

63. Hecht, H. Fault tolerant software / IEEE Trans. Reliability, Vol. R-28, 1979. P. 227-232

64. Hui-Qun, Z. A New Method for Estimating the Reliability of Software System Based on Components / Z. Hui-Qun, S. Jing, G. Yuan; FastAbstract ISSRE and Chillarege Corp. Copyright 2001

65. Hudak, J. Evaluation & comparition of fault-tolerant software techniques / J. Hudak, B.-H. Suh, D. Sieweorek, Z. Segall

66. Karunanithi, N. Prediction of Software Reliability Using Connectionist / N. Karunanithi, D.Whitley, Y.K.Malaiya; IEEE transactions on reliability. Models July 1992, Vol. 18, No. 7

67. Kaszycki,. G. Using Process Metrics to Enhance Software Fault Prediction Models/ FastAbstract ISSRE Copyright 1999

68. Keene, S. Progressive Software Reliability Modeling/ FastAbstract ISSRE' Copyright 1999

69. Knight, C.J. An experimental evaluation of the assumption of independence in Multiversion programming / C.J. Knight, N.G. Levenson. IEEE Trans. Software Engineering, Vol. SE-12,1986. - P. 96-109

70. Kovalev, I.V. An Approach for the Reliability Optimization of N-Version Software under Resource and Cost/Timing Constraints /16th International

71. Computer Measurement Group Conference, Nashville, TN, USA, December 913,1991

72. Kovalev, I. Computer-Aided Modelling of Production Cycles Optimal Sequence in: Letunovsky V.V.(Editor-in-chief): Problems of products quality assurance in machine-building: Proceedings of Int. Conf. KSTU / Krasnoyarsk, 1994. P. 43-48

73. Kovalev, I. Optimization Reliability Model for Telecommunications Software Systems / I. Kovalev , A. Privalov, Ju. Shipovalov. In: Modelling, Measurement and Control. - AMSE Periodicals, Vol.4-5, 2000. - P. 47-52

74. Kovalev, I. Software engineering of spacecraft control technological cycles / In: • "Modelling, Measurement and Control, B". Vol.56, №3. -AMSE PRESS, 1994.-P. 45-49

75. Kovalev, I.V. Fault-tolerant software architecture creation model based on reliability evaluation / I.V. Kovalev, R.V.Younoussov; Advanced in Modeling & Analysis, vol. 48, № 3-4. Journal of AMSE Periodicals,2002, P.31-43

76. Levendel, Y. Reliability analysis of large software systems: Defect data modeling / IEEE Trans. Software Engineering, 1990.-Vol. 16.-P. 141-152

77. Liestman, A. Fault-Tolerant Scheduling Problem/ A. Liestman, R.-H. Campbell. IEEE Trans, on Software Engineering, 1986. - Vol. SE-12. - P. 1089-1095

78. Lyu, M.R. Handbook of Software Reliability Engineering / Edited by Michael R. Lyu Published by IEEE Computer Society Press and McGraw-Hill Book Company, 1996, 819 p

79. Lyu, M.R. Software Fault Tolerance / Edited by Michael R. Lyu Published by John Wiley & Sons Ltd, 1996

80. McFarlan, F.W. Portfolio approach to information systems / Harvard Business Rev. 59.-P. 142-150

81. Microsoft Business Solution Axapta. Axapta developers best practice handbook/Microsoft Business Solution, 2003. http://www.msbs.ru

82. Microsoft Business Solution Axapta. Axapta developers guide /Microsoft Business Solution, 2003. http://www.msbs.ru

83. Microsoft Business Solution Axapta. MorphX Integration master /Microsoft Business Solution, 2003. http://www.msbs.ru

84. Microsoft Business Solution Axapta. X++ Advanced master/Microsoft Business Solution, 2003. http://www.msbs.ru

85. Microsoft Business Solution Axapta. Administration users guide /Microsoft Business Solution, 2003. http://www.msbs.ru

86. Muralidhar, K. Using the analytic hierarchy process for information system project selection / K. Muralidhar, R. Santhanam, R. Wilson. -Information Mgmt 18, 1990. P. 87-95

87. Oracle Education. Introduction to Oracle: SQL & PL/SQL , Volume 1: Students Guide, Production 1.1. 2000

88. Oracle Education. Introduction to Oracle: SQL & PL/SQL , Volume 2: Students Guide, Production 1.1. 2000

89. Oracle University. Enterprize DBA Part 1: Perfomance and tunning . Volume 1: Students Guide, Production 1.0. 2000

90. Oracle University. Enterprize DBA Part 2: Perfomance and tunning . Volume 2: Students Guide, Production 1.0. 2000

91. Pai, G.J. Enhancing Software Reliability Estimation Using Bayaesan Network and Fault Trees / G.J. Pai, J.B. Dugan; FastAbstract ISSRE and Chillarege Corp. Copyright 2001

92. Rosenberg, L. Software Metrics and Reliability / L. Rosenberg, T. Hammer, J. Shaw; Software reliability engineering was presented at the 9-th International Symposium, "Best Paper" Award, November, 1998

93. Shooman, M.L. Software Reliability for Use During Proposal and Early Design Stages / FastAbstract ISSRE Copyright 1999

94. Silayeva, Т. K.-E. An Innovative Method for Program Reliability Evaluation / T. Silayeva, K.-E. Grosspietsch. Euromicro '95. Como (Italy), September 1995

95. Tai, A. Performability Enhancement of Fault-Tolerant Software / A. Tai, J. Meyer, A. Avizienis. IEEE Trans, on Reliability, 1993. - Vol. 42, No. 2 . -P. 227-237

96. Wattanapongsakom, N. Reliability Optimization for Software Systems with Multiple Applications./ FastAbstract ISSRE and Chillarege Corp. Copyright 2001

97. Whitehouse, G. E. Applied operations research: a survey, Wiley, Inc. /G. E. Whitehouse, B. L. Wechsler. New York, 1976. - 424 p

98. Xie, M. Regression Goodness-Of-fit Test for Software Reliability Model. Validation / M. Xie, B.Yang; FastAbstract ISSRE Copyright 2000

99. Zahedi, F. Software reliability allocation based on structure, utility, price, and cost / F. Zahedi, N. Ashrafi. IEEE Trans, on Software Engineering, April 1991. - Vol. 17, No. 4. - P. 345-356сШиК+

100. Результаты диссертационной работы Юнусова Ренета Викторовича были использованы, при создании новых решений (модулей) системы Microsoft Business Solutions Axapta, в рамках плана работ Центра решений за 2003 год.

101. Утверждаю" Генеральный директор Центра решений Microsoft Business Solutions ^/^^iiiiK рас н о я p с ко м краек

102. Ведущий аналитик Центра решений Microsoft Business Solutions . в Красноярском крае ООО «ЭТиК+»1. С.А. Честнов05» ноября 2003 г.