Тензорный метод анализа надежности программного обеспечения систем управления и обработки информации
Диссертация
Значение для теории. Результаты, полученные при выполнении диссертационной работы, могут быть непосредственно использованы в процессе анализа надежности программного обеспечения, а также создают теоретическую основу для разработки моделей, методов и алгоритмов, направленных на эффективный анализ программного обеспечения. Методы исследования. При выполнении работы использовались тензорная… Читать ещё >
Список литературы
- Боэм, Б. Характеристики качества программного обеспечения / Б. Боэм, Дж. Браун, X. Каспар, М. Липов, Г. Мак-Леод, М. Мерит. М.: Мир, 1981.-208 с.
- Боэм, Б.У. Инженерное проектирование программного обеспечения / Пер. с англ. М.: Радио и связь, 1985. — 512 с.
- Брукс, Ф. Мифический человеко-месяц или как создаются программные системы // Ф. Брукс. СПб.: Символ-Плюс, 1999. — 304с.
- Глазунов, Л.П. Основы теории надежности автоматических систем управления / Л. П. Глазунов, В. П. Грабовецкий, О. В. Щербаков. М.: Энергоатомиздат, 1984. — 208 с.
- Гнеденко, Б.В. Математические методы в теории надежности / Б. В. Гнеденко, Ю. К. Беляев, А. Д. Соловьев. М.: Наука, 1965. — 524 с.
- Дружинин, Г. В. Надежность автоматизированных систем / Г. В. Дружинин. М.: Энергия, 1977. — 536 с.
- Канер, С. Тестирование программного обеспечения / С. Канер, Дж. Фолк, Енг. Нгуен. К.: Диасофт, 2000. — 544 с.
- Ковалев, И.В. Многоатрибутивный метод принятия решений с учетом относительной близости к лучшей альтернативе / И. В. Ковалев, Р.Ю. Царев- Тез. докл. межрегиональной конференции «Математические модели природы и общества» Красноярск: ТЭИ, 2002. — С. 63−66.
- Ю.Ковалев, И. В. Многоатрибутивная модель формирования гарантоспособного набора проектов мультиверсионных программных систем / И. В. Ковалев, Р.Ю. Царев- Вестник НИИ СУВПТ. Вып.7. -Красноярск: НИИ СУВПТ, 2001. — С. 129−137.
- Н.Ковалев, И. В. Параллельные процессы в информационно-управляющих системах. Формирование и оптимизация: Монография/ И. В. Ковалев, Р. Ю. Царев, Ю. Г. Шиповалов. Под ред. д.т.н., проф. A.B. Медведева. -Красноярск: НИИ СУВПТ, 2001. — 143 с.
- Колчанов, С.Ю. Использование генетических алгоритмов в задачах формирования мультиверсионных программных систем. / Вестник НИИ СУВПТ: Сб. научн. трудов/ Под общей ред. профессора Н.В. Василенко- Красноярск: НИИ СУВПТ.- 2003. Выпуск 11.- С. 166−179.
- Крон, Г. Тензорный анализ сетей / Г. Крон М.: Советское Радио, 1978. — 720 с.
- Крон, Г. Исследование сетей по частям диакоптика / Г. Крон — М.: Наука, 1972. — 544 с.
- Лебедев, В.А. Параллельные процессы обработки информации в управляющих системах: Монография / В. А. Лебедев, H.H. Трохов, Р. Ю. Царев. Красноярск: НИИ СУВПТ, 2001. — 137 с.
- Липаев, В.В. Качество программного обеспечения / В. В. Липаев. М.: Финансы и статистика, 1983. — 264 с.
- Липаев, В.В. Технология проектирования комплексов программ АСУ / В. В. Липаев, Л. А. Серебровский. М.: Радио и связь, 1983. — 264 с.
- Липаев, В.В. Тестирование программ / В. В. Липаев. М.: Радио и связь, 1986.-234 с.
- Липаев, В.В. Надежность программного обеспечения /В.В. Липаев -М.: Радио и связь, 1998. 200 с.
- Липаев, В.В. Проблемы обеспечения надежности и устойчивости сложных комплексов программ АСУ / В. В. Липаев В.В. М.: Радио и связь, 1977.
- Ллойд, Д. Надежность / Д. Ллойд, М. Липов. М.: Сов. Радио, 1964. -686 с.
- Майерс, Г. Искусство тестирования программ / Г. Майерс. М.: Финансы и статистика, 1982. — 176 с.
- Майерс, Г. Надежность программного обеспечения: Пер. с англ./ Под ред. В. Ш. Кауфмана. М.: Мир, 1980. — 360 с.
- Макгрегор, Дж. Тестирование объектно-ориентированного программного обеспечения / Дж. Макгрегор, Д. Сайке. К.: Диасофт, 2002. — 432 с.
- Петров, А.Е. Тензорная методология в теории систем // А. Е. Петров. -М.: Радио и связь, 1985. 152 с.
- Петров, М.Н. Анализ вероятностных характеристик сетей на основе тензорного исчисления.// XXXIII науч.-техн.конф, посвящ. Дню радио: Тезисы докл. Новосибирск, -1990. — С. 8.
- Петров, М.Н. Вероятностно-временные характеристики в сетях и системах передачи интегральной информации: Научное издание / М. Н. Петров. Красноярск: КГТУ, 2001. — 158 с.
- Петров, М.Н. Исследование сетей связи методом тензорных преобразований // Международная науч.-техн. конф. «Проблемы функционирования информационных сетей ПФИС 91»: Сб. Трудов: часть 2. Новосибирск, 1991. С. 186−189.
- Петров, М.Н., Верёвкина, Е.В. Тензорный метод анализа нагрузки в сетях интегрального обслуживания // Вестник НИИ СУВПТ Сб. науч. трудов / Под общей ред. проф. Н. В. Василенко, Красноярск: НИИ СУВПТ, 2001 г. Вьп. 7, стр. 100 107.
- Петров, М.Н., Верёвкина, Е.В. Тензорный метод анализа нагрузки в сетях интегрального обслуживания большой размерности // Вестник
- НИИ СУВПТ Сб. науч. трудов / Под общей ред. проф. Н. В. Василенко, Красноярск- НИИ СУВПТ. 2001 Вып.7, стр.11−18.
- Петров, М.Н., Верёвкина, Е.В. Тензорный метод анализа нагрузки в сетях связи большой размерности.// Проблемы информатизации региона. ПИР-2001: Сб. науч. трудов под ред. Е. А. Вейсова, В. И. Подшивалова. Красноярск: ИПЦКГТУ, 2002. стр.113−120.
- Петров, М.Н., Верёвкина, Е.В. Тензорный метод анализа нагрузки в сетях связи.// Проблемы информатизации региона. ПИР-2001: Сб. науч. трудов под ред. Б. А. Вейсова, В. И. Подшивалова. Красноярск: ИПЦ КГТУ, 2002. стр.120−122.
- Петров, М.Н., Гришко, С.Н. Тензорный анализ надёжности алгоритма программного обеспечения контурной структуры // Вестник НИИ СУВПТ: Сб. науч. Трудов / под общей ред. профессора Н. В. Василенко, Красноярск: НИИ СУВПТ 2003 г., Вып. 11, стр. 3−9.
- Петров, М.Н., Гришко, С.Н. Анализ надёжности алгоритма программного обеспечения ортогональной топологии контурным методом // Вестник НИИ СУВПТ: Сб. науч. Трудов / под общей ред. профессора Н.В. Василенко- Красноярск: НИИ СУВПТ-2003., Вып 11.-стр.10−11.
- Петров, М.Н., Гришко, С.Н. Анализ надёжности алгоритма программного обеспечения узловым методом // Вестник НИИ СУВПТ: Сб. научн. трудов / под общей ред. профессора Н.В. Василенко- Красноярск: НИИ СУВПТ-2003г., Вып. 11.- стр. 18−25.
- Петров, М.Н., Девлишов, Д.А. Анализ надёжности ортогональной информационной сети узловым методом // Вестник НИИ СУВПТ:
- Адаптивные системы моделирования и управления. Сб. научн. Трудов / под. Общей ред. профессора Н.В. Василенко- Красноярск НИИ СУВПТ, 2000 г., стр. 159−168.
- Петров, М.Н., Девлишов Д. А. Анализ надёжности узловой информационной сети // Вестник НИИ СУВПТ: Адаптивные системы моделирования и управления, Сб. научн. Трудов. / Под. Общей ред. профессора Н.В. Василенко- Красноярск НИИ СУВПТ, 2000 г., стр. 168 177.
- Петров, М.Н., Ермилова, Е.Ю. Исследование экономических характеристик сетей интегрального обслуживания тензорным методом // Современные проблемы радиоэлектроники: Сб. науч. тр. / Под научн. ред. A.B. Сарафанова. Красноярск- ИПЦ КГТУ, 2003. 428−431 с.
- Петров М.Н., Заленская М.К, Анализ эффективности деятельности узловой структуры // Вестник НИИ СУВПТ: Сб. научн. трудов / под общей ред. профессора Н.В. Василенко- Красноярск: НИИ СУВПТ, 2003 г., Вып. 12., стр. 49−56.
- Петров, М.Н. Тензорный метод расчета характеристик качества функционирования сетей // Труды Международной школы-семинара «Качество функционирования и надежность телекоммуникационных сетей и их элементов». Новосибирск, 1993. — С. 16.
- Петров, М.Н. Тензорная методология в информационных сетях / М. Н. Петров, М. О. Захарченко, Веревкина Е. В. Красноярск: НИИ СУВПТ, 2001.- 158 с.
- Петров, М.Н. Тензорный анализ вероятностно-временных характеристик сетей СМО // Сети, узлы связи и распределение информации: Сб. науч. тр. учеб. ин-тов связи. Вып № 154, С-П., 1991. -С. 77- 80.
- Петров, М.Н. Тензорный метод анализа вычислительных сетей // XXXII науч.-техн. конф., посвящ. Дню радио: Тез. док. Новосибирск, — 1989.-С, 13.
- Петров, М.Н. Тензорный метод анализа и синтеза сетей связи // Сб. науч. тр. учеб. ин-тов связи. Вып № 148. JL, 1990. — С. 18−22.
- Петров, М.Н. Тензорный метод анализа и синтеза сетей интегральною обслуживания. // В сборнике докладов 3-го Международного семинара (Сибконверсия 99), Том 2, Томск, 1999 г. стр.304−306.
- Петров, М.Н. Тензорная методология исследования локальных сетей // Всесоюзное науч.-техн. совещание «Перспективы развития локальных информационно-вычислительных сетей на базе персональных ЭВМ»: Тез. докл. Москва — Ивантеевка, ВИНИТИ, -1989. — С. 31.
- Петров, М.Н. Тензорная методология исследования нагрузки в информационных сетях / М. Н. Петров, O.A. Корякина, Е. В. Веревкина.- Красноярск: НИИ СУВПТ, 2004. 105 с.
- Петров, М.Н. Тензорная методология исследования сложных систем / М. Н. Петров, М. К. Заленская, Е. В. Веревкина. Красноярск: НИИ СУВПТ, 2004.-143 с.
- Путилов, В.А. Стандартизация процессов обеспечения качества программного обеспечения / В. А. Путилов, Д. В. Богданов, В. В. Фильчаков. Аппатиты, КФ ПетрГУ, 1998. — 152 с.
- Раинкшкс, К. Оценка надежности систем с использованием графов / К. Раинкшкс, И. А. Ушаков. -М.: Радио и связь, 1988.
- Рябинин, И.А. Логико-вероятностные методы исследования надежности структурно-сложных систем / И. А. Рябинин, Г. Н. Черкесов. М.: Радио и связь, 1981. — 264 с.
- Тейер, Т. Надежность программного обеспечения / Т. Тейер, М. Липов, Э. Нельсон. М.: Мир, 1981. — 326 с.
- Фокс, Дж. Программное обеспечение и его разработка / Пер. с англ. Под ред. Д. Б. Подшивалова. — М.: Мир, 1985. — 268 с.
- Царев, Р.Ю. Многокритериальное принятие решений при создании отказоустойчивого программного обеспечения / Вестник НИИ СУВПТ. Вып.2. — Красноярск: НИИ СУВПТ, 1999. — С. 190−194.
- Черкесов, Г. Н. Логико-вероятностные методы расчета надежности структурно-сложных систем / Г. Н. Черкесов, A.C. Можаев. М/. Знание, 1991.-64 с.
- Черкесов, Г. Н. Основы теории надежности АСУ / Г. Н. Черкесов Л.: 1975.-220 с.
- Черкесов, Г. Н. Проектирование систем контроля с учетом надежности / Г. Н. Черкесов. -М.: Знание, 1989. 66 с.
- Шишонок, H.A. Основы теории надежности и эксплуатации радиоэлектронной аппаратуры / H.A. Шишонок, В. Ф. Репкин, Л. Л. Барвинский. -М.: Советское радио, 1964. 552 с.
- Шор Я. Б. Статистические методы анализа и контроля качества и надежности / Я. Б. Шор. М.: Сов. Радио, 1962. — 564 с.
- Avizienis, A. The N-Version approach to fault-tolerant software / IEEE Trans, on Software Engineering. Vol. SEI 1, № 12, December, 1985. — P. 1491−1501.
- Beizer B. Software testing techniques. (Second edit.) International Thomson Computer Press, 1990. 550p.
- 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.
- Butler, R.W. and G. B. Finelli (1993, January). The infeasibility of quantifying the reliability of life-critical real-time software. IEEE Transactions on Software Engineering 19(1), 3−12.
- Cherif, A. Improving the Efficiency of Replication for Highly Reliable Systems / A. Cherif, M. Toyoshima, T. Katayama- FastAbstract ISSRE Copyright 1999.
- Goodenough J.B., Gerhart S.L. Toward a Theory of Test Data Selection. IEEE Transactions on Software Engineering, 1975, SE-1, №.2, p.156−193.
- Grams T. The Poverty of Reliabiliy Growth Models / FastAbstract ISSRE Copyright 1999.
- Halstead M. Elements of Software Science. Elsevier North-Holland, Inc. 1977, pp.109.
- Hecht, H. Fault tolerant software / IEEE Trans. Reliability, Vol. R-28, 1979.-P. 227−232.
- Herman P. M. A Data Flow Analysis Approach to Program Testing Australian Computer Jornal. 1976. — Vol. 8, № 3. pp. 92 — 96.
- 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.
- Jorgensen P. C., Erickson C. Object-Oriented Integration Testing Communications of the ACM. 37, 9 (Sept, 1994), pp. 30−38.
- Kaszycki, G. Using Process Metrics to Enhance Software Fault Prediction Models/ FastAbstract ISSRE Copyright 1999.
- Li, N. and Y. K. Malaiya. Fault exposure ratio: Estimation and applications. In Proc. of the IEEE International Symposium on Software Reliability Engineering, pp. 372−381.
- Littlewood, B. A Bayesian reliability growth model for computer software. In Proceedings of the IEEE Symposium on Computer Software Reliability, pages 70−77,1973.
- 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.
- Lyu, M.R. Software Fault Tolerance / Edited by Michael R. Lyu Published by John Wiley & Sons Ltd, 1996.
- Malaiya, Y. K. and J. A. Denton (1998c, November). Estimating the number of residual defects. In Third International High-Assurance Systems Engineering Symposium, Washington D. C., pp. 98−195.
- McCabe T. J., Schulmeyer G. G. System Testing Aided by Structured Analysis (A Practical Experience) // COMPSAC'82. Proc. IEEE Comput. Soc. 6th International Computer Software and Appl. Conference (Chicago, 111, Nov. 8−12, 1982). pp. 523 — 528.
- McCabe T. J., Butler Ch. W. Design complexity measurement and testing Communications of the ACM. 32, 12 (Dec, 1989), pp. 1415 1425.
- Moranda P.B. Asymptotic Limits to Program Testing, INFOTECH State of Art deport «Software Testing», v/2, 1979, p.201−210.
- Musa, J. D. (1975). A theory of software reliability and its application. IEEE Transactions on Software Engineering SE-1(3), 312−327.
- Ntafos S. C. A Comparition of Some Structural Testing Strategies IEEE Transaction on Software Engineering. 1988. — Vol. SE-14, № 6. pp. 868 -874.
- Prather R., Myers J. P., Jr. The path prefix software testing strategy IEEE Transactions on Software Engineering SE-13, 7 (July, 1987), pp. 761 766.
- 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.
- 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.
- Schneidewind, N. F. (1993, November). Software reliability model with optimal selection of failure data. IEEE Transactions on Software Engineering 19(11), 1095−1104.
- Shimarov Y. A. Definition and quantitative estimation of testing criteria // Software Quality Concern for people. Proceedings of the Fourth European Conference on Software Quality. October 17−20, 1994, Basel, Switzerland, pp. 350 -360.
- Shooman, M.L. Software Reliability for Use During Proposal and Early Design Stages / FastAbstract ISSRE Copyright 1999.
- 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.
- Xie, M. Regression Goodness-Of-fit Test for Software Reliability Model Validation / M. Xie, B. Yang- FastAbstract ISSRE Copyright 2000.
- 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.