Система модельно-алгоритмической поддержки многоэтапного анализа надежности программных средств
Анализ методов оценки надежности программных средств на всех этапах жизненного цикла, их классификация и типы, предъявляемые требования. Мультиверсионное программное обеспечение. Современные модели и алгоритмы анализа надежности программных средств.
| Рубрика | Программирование, компьютеры и кибернетика |
| Вид | дипломная работа |
| Язык | русский |
| Дата добавления | 03.11.2013 |
| Размер файла | 280,5 K |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
66. Boehm, B.W. Information Processing / B.W. Boehm, A.C. Haile. Data Automation Implications of Air Force Command and Control Requirements in the 1980's (CCPI - 1985), Vol. I: Highlights, Report SAMSO/XRS-71-1, U.S. Air Force Systems Command (NTIS: AD 900031L), Los Angeles, CA, 1982
67. 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
68. Cherif, A. Improving the Efficiency of Replication for Highly Reliable Systems/ A. Cherif, M. Toyoshima, T. Katayama; FastAbstract ISSRE Copyright 1999
69. 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
70. Clasen, U. Eine Moeglichkeit der numerischen Behandlung von zeitlich-stochastischen Netzplaenen / In: «Operations Research Proceedings», Springer Verlag Berlin-Heidelberg, 1994. - P. 46-51
71. Costa, D. On the Extention of Exception to Support Software Faults Models / D. Costa, T. Mendez; FastAbstract ISSRE Copyright 2000
72. David, Ph. Development of a fault tolerant computer system for the Hermes Space Shuttle / Ph. David, C. Guidal. - IEEE Trans., 1993. - P. 641-648
73. 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
74. Grams T. The Poverty of Reliabiliy Growth Models/ FastAbstract ISSRE Copyright 1999
75. 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
76. Hamlet, D. Foundational Theory of Software Component Reliability / D. Hamlet, D. Mason, D. Wiot; FastAbstract ISSRE Copyright 2000
77. Hecht, H. Fault tolerant software / IEEE Trans. Reliability, Vol. R-28, 1979. - P. 227-232
78. 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
79. Hudak, J. Evaluation & comparition of fault-tolerant software techniques / J. Hudak, B.-H. Suh, D. Sieweorek, Z. Segall
80. 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
81. Kaszycki. G. Using Process Metrics to Enhance Software Fault Prediction Models/ FastAbstract ISSRE Copyright 1999
82. Keene, S. Progressive Software Reliability Modeling/ FastAbstract ISSRE Copyright 1999
83. 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
84. Kovalev, I.V. An Approach for the Reliability Optimization of N-Version Software under Resource and Cost/Timing Constraints /16th International Computer Measurement Group Conference, Nashville, TN, USA, December 9-13, 1991
85. 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
86. Kovalev, I. Optimization Models for Reliability of Telecommunications Software Systems: Abstracts of International Conference on Modelling and Simulation / I. Kovalev, A. Privalov, Ju. Shipovalov. - May, 17-19, Universidade de Santiago de Compastela (Spain) 1999. - P. 31
87. 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
88. Kovalev, I. Software engineering of spacecraft control technological cycles / In: «Modelling, Measurement and Control, B». - Vol.56, №3. - AMSE PRESS, 1994. - P. 45-49
89. 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, Р.31-43
90. Levendel, Y. Reliability analysis of large software systems: Defect data modeling / IEEE Trans. Software Engineering, 1990. - Vol. 16. - P. 141-152
91. Liestman, A. Fault-Tolerant Scheduling Problem / A. Liestman, R.-H. Campbell. - IEEE Trans. on Software Engineering, 1986. - Vol. SE-12. - P. 1089-1095
92. 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
93. Lyu, M.R. Software Fault Tolerance / Edited by Michael R. Lyu Published by John Wiley & Sons Ltd, 1996
94. McFarlan, F.W. Portfolio approach to information systems / Harvard Business Rev. 59. - P. 142-150
95. Microsoft Business Solution - Axapta. Axapta developers best practice handbook/Microsoft Business Solution, 2003. http://www.msbs.ru
96. Microsoft Business Solution - Axapta. Axapta developers guide /Microsoft Business Solution, 2003. http://www.msbs.ru
97. Microsoft Business Solution - Axapta. MorphX Integration master /Microsoft Business Solution, 2003. http://www.msbs.ru
98. Microsoft Business Solution - Axapta. X++ Advanced master/Microsoft Business Solution, 2003. http://www.msbs.ru
99. Microsoft Business Solution - Axapta. Administration users guide /Microsoft Business Solution, 2003. http://www.msbs.ru
100. 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
101. Oracle Education. Introduction to Oracle: SQL & PL/SQL, Volume 1: Students Guide, Production 1.1. 2000
102. Oracle Education. Introduction to Oracle: SQL & PL/SQL, Volume 2: Students Guide, Production 1.1. 2000
103. Oracle University. Enterprize DBA Part 1: Perfomance and tunning. Volume 1: Students Guide, Production 1.0. 2000
104. Oracle University. Enterprize DBA Part 2: Perfomance and tunning. Volume 2: Students Guide, Production 1.0. 2000
105. 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
106. 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
107. Shooman, M.L. Software Reliability for Use During Proposal and Early Design Stages / FastAbstract ISSRE Copyright 1999
108. Silayeva, T.K.-E. An Innovative Method for Program Reliability Evaluation / T. Silayeva, K.-E. Grosspietsch. - Euromicro «95. Como (Italy), September 1995
109. 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
110. Wattanapongsakorn, N. Reliability Optimization for Software Systems with Multiple Applications./ FastAbstract ISSRE and Chillarege Corp. Copyright 2001
111. Whitehouse, G.E. Applied operations research: a survey, Wiley, Inc. / G.E. Whitehouse, B.L. Wechsler. - New York, 1976. - 424 p
112. Xie, M. Regression Goodness-Of-fit Test for Software Reliability Model Validation / M. Xie, B. Yang; FastAbstract ISSRE Copyright 2000
113. 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
Размещено на Allbest.ru
Подобные документы
Программное обеспечение как продукт. Основные характеристик качества программного средства. Основные понятия и показатели надежности программных средств. Дестабилизирующие факторы и методы обеспечения надежности функционирования программных средств.
лекция [370,1 K], добавлен 22.03.2014Порядок и принципы документирования работ, выполняемых на этапе анализа и проектирования в жизненном цикле программных средств, нормативная основа. Описание пользовательского интерфейса прототипа разработанной информационной системы, его структура.
курсовая работа [472,9 K], добавлен 11.11.2014Анализ методологии и стандартизации оценки характеристик качества готовых программных средств: по функциональной пригодности, по корректности, по способности к взаимодействию, по защищенности. Процессы и продукты жизненного цикла программных средств.
контрольная работа [26,6 K], добавлен 23.01.2011Ошибки, которые воздействуют на программное обеспечение и методы прогнозирования программных отказов. Анализ моделей надежности программного обеспечения и методика оценки ее надежности. Экспоненциальное распределение. Методика оценки безотказности.
курсовая работа [71,5 K], добавлен 15.12.2013Особенности аналитической и эмпирической моделей надежности программных средств. Проектирование алгоритма тестирования и разработка программы для определения надежности ПО моделями Шумана, Миллса, Липова, с использованием языка C# и VisualStudio 2013.
курсовая работа [811,5 K], добавлен 29.06.2014Модель надежности программного средства как математическая модель для оценки зависимости надежности программного обеспечения от некоторых определенных параметров, анализ видов. Общая характеристика простой интуитивной модели, анализ сфер использования.
презентация [151,1 K], добавлен 22.03.2014Критерии оценки эффективности и качества создания программных средств. Роль трудоемкости и длительности создания программных средств в определении эффективности их создания. Требования к качеству, суммарные затраты на разработку программного средства.
реферат [26,7 K], добавлен 10.10.2014Этапы тестирования при испытаниях надежности программных средств. Комплексирование модулей и отладка автономных групп программ в статике без взаимодействия с другими компонентами. Испытания главного конструктора. Жизненный цикл программного средства.
презентация [339,6 K], добавлен 22.03.2014Сущность понятия "программное обеспечение". Типы прикладных программ. Современные системы программирования для персональных компьютеров. Уровни программного обеспечения: базовый, системный, служебный. Классификация служебных программных средств.
реферат [20,2 K], добавлен 01.04.2010Определение задач и классов программных средств для организации научных конференций. Особенности использования программных средств поддержки организации и проведения конференций. Сравнение программных средств для организации и проведения конференций.
реферат [1,8 M], добавлен 05.12.2017
