IEEE Transactions on Reliability, VOL. 50, NO. 2, June 2001. Summary and Conclusions—Existing software reliability-growth models often over-estimate the reliability of a given program. Empirical studies suggest that the over-estimations exist because the models do not account for the nature of the testing. Every testing technique has a limit to its ability to reveal faults in a...
Springer International Publishing AG, 2018. — 125 p. — ISBN 3319613332. This book reviews existing operational software failure analysis techniques and proposes near-miss analysis as a novel, and new technique for investigating and preventing software failures. The authors provide details on how near-miss analysis techniques focus on the time-window before the software failure...
Springer, 2023. — 91 p. This book mainly introduces the research overview, results, and achievements of “The Fundamental Research for Trustworthy Software”, a major research plan of NSFC. The Plan focuses on four key scientific issues: (i) measurement and modeling of software trustworthiness; (ii) construction and verification of trustworthy software; (iii) evolution and...
Wiley-IEEE Press, 2024. — 851 p. Covering dependability from software and hardware perspectives. Dependable Computing: Design and Assessment looks at both the software and hardware aspects of dependability. This book: Provides an in-depth examination of dependability/fault tolerance topics Describes dependability taxonomy, and briefly contrasts classical techniques with their...
Journal of Software. — 2012. — Vol. 7. — No. 6. — P. 1296–1306. Software reliability deals with the probability that software will not cause the failure of a system for a specified time under a specified condition. The probability is a function of the inputs to and use of the system as well as a function of the existing faults in the software. The inputs to the system determine...
Paper. — PWASET. — 2007. — Volume 26. — p. 720-725. The Moranda’s Geometric de-Eutrophication model alleviates some of the objections to the Jelinski Moranda model for software failures. In Moranda Geometric de-Eutrophication model, N(t) is defined as the number of faults detected in the time interval (0, t]. In this paper, N(t) is studied as a pure birth stochastic process,...
Paper - 12 p
This paper reviews recent developments in Bayesian software reliability
modeling. In so doing, emphasis is given to two models which can incorporate the
case of reliability deterioration due to potential introduction of new bugs to the software
during the development phase. Since the introduction of bugs is an unobservable
process, latent variables are introduced...
Article Software reliability models are very useful to estimate the probability of the software fail along the time. Several different models have been proposed to predict the software reliability growth (SRGM); however, none of them has proven to perform well considering different project characteristics. The ability to predict the number of faults in the software during...
Paper, Duke University, 8 p.
Finite failure NHPP models proposed in the literature exhibit either constant, monotonic increasing or monotonic decreasing failure occurrence rates per fault, and are inadequate to describe the failure process underlying certain failure data sets. In this paper, we propose the loglogistic
reliability growth model, which can capture the...
Article. — Dept. of Electrical and Computer Engg, Center for Advanced Comp. & Comm. — NC.: Duke University, 2024. — 21 p. Prevalent black-box based approaches to software reliability modeling are inappropriate for the reliability assessment of modern component-based systems. The existing Markovian and semi-Markovian methods to predict the reliability and performance of such...
Paper, Florida Institute of Technology, 2000 IEEE, 7 p.
The notions of time and the operational profile incorporated into software reliability are incomplete.
Reliability should be redefined as a function of application complexity, test effectiveness, and
operating environment.
Критические компьютерные технологии и системы. Научно-технический семинар. Харьков, 14 с, 2013.
В этом докладе я не хочу кого-то поучать или излагать «истину в последней инстанции». Единственная его цель – приглашение к вдумчивому объяснению феномена программных ошибок и процесса их выявления, а также попытка найти понимание некоторого аспекта качества программного обеспечения,...
М.: Мир, 1980. — 359 с. Первая на русском языке монография по надежности программного обеспечения. Разработка программного комплекса рассматривается в книге во всей полноте — от подготовки технического задания до документации отдельных модулей. Ценно, что теоретическое исследование каждой проблемы сопровождается конкретными рекомендациями по ее решению. Каждая глава завершается...
Учебник для студ. учреждений сред. проф. образования / Е. В. Поколодина, Н. А. Долгова, Д. В. Ананьев. — М. : Издательский центр «Академия», 2020. — 208 с. - ISBN 978-5-4468-8609-8. Учебник подготовлен в соответствии с требованиями Федерального государственного образовательного стандарта среднего профессионального образования по специальностям «Информационные системы и...
Учебное пособие. — СПб.: ПГУПС, 2010. — 40 с. Приводятся примеры наиболее известных моделей надежности программ (Джелинского - Моранды, Мусы, Миллса), дается краткая их характеристика. Предлагается расчетная схема (системы дифференциальных уравнений и диаграммы переходов) для моделей роста надежности программ, основанных на использовании распределений фазового типа. С помощью...
Монография. — Красноярск: Сибирский федеральный университет, 2013. — 120 c. — ISBN: 978-5-7638-2749-1 В монографии представлены современные алгоритмы голосования, используемые в мультиверсионном программном обеспечении при принятии решения о корректности полученных результатов; приведена их классификация. Рассмотрены проблемы применения алгоритмов голосования в мультиверсионном...
Комментарии