Thesis /

ROMDOC-THESIS-2017-932

Analiza fiabilităţii software-ului

Cornel, Constantin-Eugen
2012-04-29

Abstract: UNIVERSITATEA „POLITEHNICA” din BUCUREŞTI Facultatea ELECTRONICĂ, TELECOMUNICAŢII ŞI TEHNOLOGIA INFORMAŢIEI Catedra TEHNOLOGIE ELECTRONICĂ ŞI FIABILITATE ANALIZA FIABILITĂŢII SOFTWARE-ULUI SOFTWARE RELIABILITY ANALYSIS Autor: Ing. Constantin-Eugen CORNEL Conducător ştiinţific: Prof.univ.dr.ing. Eugeniu DIATCU Abstract Dezvoltarea sistemelor de programe fiabile constituie un subiect larg dezbătut încă de la începuturile istoriei informaticii şi până în prezent. Gradul ridicat de industrializare, diversificarea serviciilor şi divertismentul digital reprezintă dovezi clare ale necesităţii continue în dezvoltarea sistemelor de programe, fiabilitatea jucând un rol primordial în dezvoltarea şi progresul societăţii tehnologizate. În acest context, autorul a desfăşurat o activitate continuă de cercetare în ceea ce priveşte analiza fiabilităţii software-ului, activitate finalizată prin teza de doctorat aferentă. Lucrarea, structurată pe cinci capitole, debutează cu o analiză istorică privind ingineria fiabilităţii software-ului, în care au fost prezentate problematica domeniului, tehnicile de lucru existente, precum şi ciclul de viaţă al fiabilităţii software-ului. Capitolele 2 şi 3 descriu, pe rând, problematica modelării fiabilităţii software-ului, ciclul de viaţă al software-ului, analiza datelor de defectare şi modelul de capabilitate şi maturitate integrat (CMMI), dezvoltat de către Institutul de Inginerie Software al Universităţii Carnegie Mellon din SUA. S-au prezentat principalele modele de creştere a fiabilităţii software-ului, etapele procesului de dezvoltare software, utilizarea datelor de defectare în analiza şi predicţia fiabilităţii, precum şi importanţa aplicării modelului CMMI în cadrul organizaţiilor software, studiindu-se şi compatibilitatea cu evaluările de tip ISO 15504/SPICE. Contribuţiile autorului se găsesc preponderent în toate capitolele, prin studii critice, sinteze asupra metodelor de evaluare a fiabilităţii, dar mai ales prin noua metodologie descrisă în capitolul al 4-lea, în cadrul căreia s-au integrat câteva tehnici clasice de modelare fiabilistică a sistemelor (analiza arborilor de defectare software, diagrame de decizie binară) împreună cu biblioteca de fiabilitate JReliability, dezvoltată în limbajul de programare Java şi care furnizează un cadru de analiză fiabilistică a oricărui sistem software particular. Aplicabilitatea noii metodologii este demonstrată prin studii de caz, în urma cărora evaluarea fiabilităţii s-a realizat inclusiv prin reprezentări grafice ale unor funcţii legate de fiabilitate (funcţia de repartiţie, intensitatea de defectare etc.). În ultimul capitol al tezei sunt sintetizate concluzii generale, contribuţiile personale ale autorului şi perspectivele de dezvoltare ulterioară. Rezultatele cercetărilor evidenţiază faptul că noul cadru de analiză a fiabilităţii poate veni în sprijinul inginerilor software analişti în scopul evaluării cât mai precise a fiabilităţii sistemelor software. Cuvinte cheie: fiabilitate software, analiză, modelare, evaluare, tehnica SFTA, diagrame BDD, tehnologii Java de fiabilitate. The development of reliable software systems is a widely debated topic even since the beginning of computer history and until today. The high degree of industrialization, the diversification of services and the digital entertainment are clear evidences of a continuous need in developing software applications and systems, where reliability plays an important role in the development and progress of a technological society. In such a context, the author conducted a continuous research activity regarding software reliability analysis, work completed by the thesis related. The work, divided into five chapters begins with a historical analysis of software reliability engineering (SRE), in which were presented the SRE field issues, existing working techniques and the life cycle of software reliability. Chapters 2 and 3 describe, in turn, issues regarding software reliability modelling, software development life cycle, failure data analysis and Capability Maturity Model Integration (CMMI), a model developed by Software Engineering Institute at Carnegie Mellon University, USA. These chapters presents: the most used software reliability growth models, then the stages of software development process, the use of failure data in reliability analysis and prediction, and also the important role in applying CMMI model in software organizations, where studies regarding the compatibility with ISO 15504/SPICE assessments were also performed. Author’s contributions are found mainly in all chapters, by critical studies, synthesis of methods for reliability assessment, and especially by the new methodology described in the 4th chapter, in which several classical techniques for reliability modelling (software fault tree analysis, binary decision diagrams) are integrated in one framework together with a reliability library, named JReliability, developed in Java programming language and which provides a reliability analyze framework for almost any specific software system. The applicability of the new methodology is demonstrated through several case studies, after which reliability assessment was performed also through graphics of some reliability related functions (distribution function, failure intensity, etc.). The last chapter of the thesis summarizes general conclusions, the author's personal contributions and perspectives for further research and development. Research results show that the new framework of reliability analysis can assist software engineers and analysts to precisely assess the systems’ software reliability. Key words: software reliability, analysis, modelling, assessment, SFTA technique, BDD, Java reliability technologies.

Keyword(s): Programe de calculator -- Fiabilitate -- Teză de doctorat
OPAC: See record in BC-UPB Web OPAC
Full Text: see files

Similar records

 

People who viewed this page also viewed:

(291)  Optimizarea conceptuală şi operaţională a instalaţiilor chimice multiscop - Voinescu, Sorin - ROMDOC-BC_UPB-THESIS-2003-000000054 (274)  Managementul congestiilor în sistemele electroenergetice în prezenţa surselor regenerabile - Boambă, Claudia-Elena - ROMDOC-THESIS-2021-2325 (273)  Roboţi mobili - Grămescu, Bogdan - ROMDOC-BOOK-2018-004 (270)  Tehnologiile informării şi comunicării : suport de curs - Curta, Olimpia - ROMDOC-BOOK-2007-005 (268)  Scientific bulletin Series B: Chemistry and Materials - ROMDOC-Journal-2007-002

 

Rate this document:

Be the first to review this document.

Discuss this document:

Start a discussion about any aspect of this document.