Sunteți pe pagina 1din 7

Metode statistice pentru msurarea i optimizarea fiabilitii software

- rezumatul tezei de doctorat Doctorand Adrian Costea a) Cuprins Introducere 1. Caracteristicile de calitate ale produselor software 1.1. Modelul generic al caracteristicilor de calitate 1.2. Performana 1.3. Dependabilitatea 1.4. Securitatea 1.5. Sigurana 1.6. (Co)relaii ntre caracteristici 2. Elemente de baz ale teoriei fiabilitii 3. Modelarea fiabilitii software 4. Analiza comparat a modelelor de fiabilitate 4.1. Clasificarea modelelor de fiabilitate software 4.2. Modelele de tip time-domain 4.3. Modelele de tip data-domain 4.4. Comparaia modelelor de tip time-domain cu cele de tip data-domain 5. Modele de tip time-domain modelele Markov omogene 5.1. Modelul Jelinski-Moranda 5.2. Alte modele bazate pe modelul Jelinski-Moranda 5.3. Modelul Goel-Okumoto 5.4. Modelul Littlewood 6. Modele de optimizare n cazul sistemelor software tolerante la erori 6.1. Structurile sistemului software 6.2. Soluii alternative 7. Optimizarea alocrii fiabilitii i a planului de testare pentru sistemele/componentele software 7.1. Alocarea hardware vs. alocarea software 7.2. Specificaia problemei 7.3. Cazul sistemelor software cu o singur funcie/aplicaie 7.4. Soluii n cazul sistemelor care ndeplinesc mai multe funcii/aplicaii 7.5. Dependena ntre cderile software i sistemele tolerante la erori 7.6. Schema de soluionare a problemei de alocare a fiabilitii Concluzii Apendix A Apendix B Apendix C Apendix D Apendix E Bibliografie

b) Cuvinte cheie: calitate software, fiabilitate software, caracteristici de calitate, caracteristici interne, caracteristici externe, complexitatea software-ului, complexitate structural medie, performan, dependabilitate, securitate, siguran, modelarea fiabilitii software, clasificarea modelelor de fiabilitate, comparaia modelelor de fiabilitate, modele de optimizare (maximizare) a fiabilitii, optimizarea alocrii fiabilitii, metode statistice pentru msurarea fiabilitii c) Sinteze ale prilor principale ale tezei de doctorat: Teza este structurat n 3 pri principale: prima parte care cuprinde primul capitol trateaz problema general a calitii programelor software i evideniaz locul i rolul fiabilitii n cadrul caracteristicilor de calitate software, a doua parte compus din capitolele 2, 3, 4 i 5 trateaz problema modelrii fiabilitii software-ului priin prezentarea detaliat a diferitelor modele de fiabilitate i a unor aplicaii practice cu privire la aceasta, iar ultima parte (capitolele 6 i 7) trateaz problema optimizrii fiabilitii programelor software. 1. n Capitolul 1 prezentm problema calitii programelor software care poate fi privit prin prisma a mai multor caracteristici cum ar fi performana, dependabilitatea, securitatea, respectiv sigurana software-ului n exploatare. Problema care se pune este cea a conflictului ntre diferitele caracteristici de calitate: putem obine o performana ridicat n detrimentul unei sigurane mai sczute sau mai mult fiabilitate (o component a dependabilitii) n detrimentul securiti mai sczute. Scopul final l reprezint identificarea compromisurilor care se pot face ntre aceste caracteristici, astfel nct s putem obine o calitate superioar a sistemului software respectiv luat n ansamblu. n Capitolul 1 prezentm cte un model specific pentru fiecare din aceste caracteristici sau modaliti de a privi calitativ programele software. Fiecare model are 3 componente: problematica (parametrii prin care caracteristica este specificat i msurat), factorii specifici caracteristicii (proprieti ale sistemului software sau ale contextului n care este construit sistemul care au un impact asupra problematicii) i metodele (modaliti prin care sunt adresate problemele). Tot n acest capitol evideniem i locul n care se ncadreaz principala caracteristic a programelor software i care ocup locul central i n cazul studiului de fa i anume: fiabilitatea software-ului. 2. Capitolul 2 trateaz elementele de baz ale fiabilitii software printr-o serie de exemple simple. Sunt prezentate diferitele forme ale funciilor de fiabilitate, evideniinduse cele mai importante. Fiabilitatea este definit n termeni de probabiliti, mai precis ca probabilitatea ca o component software s nu cad pn la un anumit moment de timp t. Tot n acest capitol este tratat o caracteristic intern i anume, complexitatea softwareului cu impact direct asupra caracteristicilor externe ale calitii software-ului cum este i caracteristica de fiabilitate. 3. Capitolul 3 prezint pe baza setului de date al lui Musa (Musa, 1979) diferite modaliti de predicie a timpului pn la cderea i, dai fiind timpii dintre dou cderi succesive anterior cderii i. Funcia de repartiie a varabilei aleatoare timpul pn la a i-a cdere nu este cunoscut dar poate fi aproximat ca fiind de tip exponenial.

Complementul fa de 1 al funciei de repartiie este chiar funcia de fiabilitate. n Capitolul 3 sunt prezentate trei predicii cu privire la timpul mediu pn la urmtoarea cdere utiliznd: media ultimilor 2, 10, respectiv 20 timpi de cdere. n literatura de specialitate exist multe alte sisteme de predicie, clasificarea acestor modele fcnd obiectul capitolului urmtor. 4. n acest capitol sunt prezentate modelele de fiabilitate n conformitate cu o clasificare unanim acceptat n literatura de specialitate. Astfel, exist 2 categorii de modele: modele de tip data-domain care au la baz filozofia c fiabilitatea programului software poate fi determinat dac se analizeaz rezultatele n urma testrii software-ului cu toate combinaiile variabilelor de intrare n mod exhaustiv i modele de tip time-domain care se bazeaz pe procesul de cdere a software-ului pentru a estima numrul de erori indigene ale software-ului. Sunt prezentate n mod analitic cele mai importante modele din fiecare categorie. n finalul capitolului prezentm o comparaie ntre cele dou tipuri de modele. 5. Capitolul 5 prezint n mod analic cele mai importante i utilizate modele de analiz a fiabilitii software-ului i anume modelele Markov omogene cum sunt: modelul JelinskiMoranda (Jelinski & Moranda, 1972) cu variaiile sale, modelul Goel-Okumoto (Goel & Okumoto, 1979b), modelul Littlewood (Littlewood, 1990). Am utilizat setul de date Musa prezentat n capitolul 3 pentru a estima parametrii modelului Jelinski-Moranda, iar rezultatele obinute ne-au confirmat ateptrile n sensul c s-a constatat o cretere de fiabilitate a sistemului odat cu eliminerea n timp a erorilor care generau cderi. 6. n capitolul 6 prezentm 4 modele de optimizare a fiabilitii software-ului avnd organizare modular. Recurgnd la aceste modele, utilizatorul poate alege, n dezvoltarea aplicaiei sale, acele module care maximizeaz fiabilitatea global a sistemului. Totodat, fiecare modul n parte are ataate o fiabilitate proprie i un cost de utilizare individual. Modelele prezentate, rezolvate prin diferite metode de cercetri operaionale, asigur maximizarea fiabilitii globale n condiiile unor restricii bugetare. 7. Capitolul 7 abordeaz problema de optimizrii fiabilitii software dintr-o alt perspectiv, i anume, considerm drept msur a fiabilitii (sau a nefiabilitii) rata de cdere a componentelor, iar ca msur a costului timpul de testare a diferitelor componente. Elementul de noutate n acest capitol l reprezint optimizarea timpilor de testare a diferitelor componente software necesare dezvoltrii unui sistem software ce ndeplinete mai multe funcii i care are anumite restricii de fiabilitate. Totodat, este luat n considerare posibilitatea interaciunii dintre diferitele componente/module software. d) CV:

ADRIAN COSTEA, Str. Deleni, Nr. 6, Bl. T64, Sc. 2, Et. 1, Ap. 44, Sector 2, 023732, Bucureti, Romania, Telefon: 2104650, Mobil: 0728183898, acostea74@yahoo.com, http://www.abo.fi/~acostea.

OBIECTIV

n cutarea unei poziii unde s mi pot pune n valoare cunotintele i s mi extind capacitile profesionale n mediul academic.
SUMAR Inspector BNR, Direcia Supraveghere din martie 2007. Lector universitar la ASE, Bucureti ncepnd cu 01.10.2007. Doctor n tiine economice Absolvit n decembrie 2005. Peste 3 ani de experien n data mining cu aplicaii n business (proiectele de cercetare Countess i Domino) i 2 ani de experien n proiectarea sistemelor software (Compania Extended DISC International). Experien n metode statistice, de inteligen artificial, algoritmi genetici i tehnici fuzzy logic utilizate n aplicaii industriale. Utilizarea acestor metode n analiza datelor financiare la nivelul firmei i a datelor macroeconomice. Experien n proiectarea i dezvoltarea aplicaiilor software utilizate ca suport n luarea deciziilor la nivelul firmei. Cunotine avansate a industriilor de prelucrare a sticlei, telecomunicaiilor i de prelucrare a celulozei i hrtiei. 3 ani (2003-2005) profesor asociat n bo Akademi University, Turku, Finlanda (curs: Databases and Data Warehousing). Peste 4 ani (1998-2002) profesor sau seminarist al diferitor cursuri n bo Akademi University, Turku Polytechnic n Finlanda i Academia de Studii Economice n Romnia. Fluent n englez, francez nivel mediu, cunotine de baz ale limbii finlandeze.

EXPERIEN PROFESIONAL Academia de Studii Economice (ASE), Bucureti, Romania Lector univ. dr. Septembrie 1998 Prezent

n prezent, locul unde mi desfor activitatea didactic i de cercetare este Catedra de Statistic i Econometrie, Facultatea de Cibernetic, Statistic i Informatic Economic la Academia de Studii Economice din Bucureti, Romnia. Responsabilitile mele includ: Activitatea de predare-seminarizare a cursului Bazele Econometriei pentru studenii din anul II din FABBV i Comer. Activitatea de seminarizare la cursul de Statistic pentru studenii anului II de la Economie General, Statistic II pentru studenii din anul I din C.S.I.E. Co-organizator al celui de-al treilea Simpozion Internaional de Statistic. Consilierea studenilor. Recenzor pentru Journal of Applied Quantitative Methods (www.jaqm.ro) Activitatea de cercetare n domeniul Data Mining cu aplicaii economice. Banca Naional a Romniei, Direcia Supraveghere Inspector Martie 2007 Prezent

Dintre responsabiliti: supravegherea prudenial a instituiilor financiare nebancare (ifn-urilor); efectuarea inspeciilor la faa locului; verificarea registrelor i conturilor ifn-urilor;

ncheierea rapoartelor de supraveghere rezultate din inspecie sau din analiza raportrilor; elaborarea notelor de sintez. bo Akademi University, Turku Centre For Computer Science (TUCS), Institute for Advanced Management System Research (IAMSR), Turku, Finlanda Cercettor Septembrie 2000 Septembrie 2006 Am absolvit programul doctoral al TUCS i IAMSR. Obiectivul principal al cercetrii l-au constituit explorarea i combinarea diferitelor metode de Inteligen Computaional (IC) precum: metode statistice avansate, algoritmi bazai pe arbori de decizie, reele neuronale artificiale (RNA), algoritmi genetici i tehnici fuzzy logic n vederea rezolvrii problemelor legate de activitatea economico-decizional a firmelor. Obiective de cercetare detaliate: Utilizarea metodologiilor IC, n special a RNA n vederea monitorizrii proceselor industriale (de exemplu: procesul de producie a sticlei) Utilizarea metodologiilor IC n analiza documentelor financiare i n colectarea informaiilor n vederea formulrii strategiilor la nivelul firmelor/corporaiilor Diagnosticarea vizual a situaiei financiare a companiilor din 2 mari sectoare de activitate: sectorul telecomunicaiilor i al prelucrrii celulozei i hrtiei Noi modele de stabilire a clasificrii obligaiunilor Analiza convergenei economice a rilor europene prin utilizarea indicatorilor macroeconomici Reele neuronale auto-organizabile ca sisteme-suport pentru luarea deciziilor Proiectele principale de cercetare n care am fost implicat sunt: Domino (2003-2007) Tema principal a proiectului este Data mining i Inteligen Computaional n organizaii. Obiectivul principal de cercetare este proiectarea i dezvoltarea unui sistem-suport pentru luarea deciziilor care s includ inteligen computaional avansat i care s fie utilizat de diferii oameni de afaceri n luarea deciziilor complexe. Countess (Inteligen Computaional n Afaceri) a fost finanat de Academia Finlandei ntre 2000 i 2002. Cercetarea s-a concentrat pe dezvoltarea unor metode i tehnici pentru integrarea inteligenei computaionale n procesul de luare a deciziilor. inta cercetrii a reprezentat-o dezvoltarea unor sisteme informatice inteligente precum sistemele expert, algoritmii genetici i reelele neuronale. Domeniile principale de aplicaie n cadrul tiinei managementului provin din managementul strategic, contabilitate, procesul de auditare, respectiv procesul de asigurare logistic. Aceste proiecte de cercetare i altele asemntoare sunt parte a laboratorului TUCS Data Mining and Knowledge Management (conductor: Prof. Barbro Back). Extended DISC International, Espoo, Finlanda Programator Software Septembrie 2001- Iunie 2003

Ca programator la Extended DISC International am fost implicat n proiectarea i dezvoltarea de aplicaii software. Responsabilitile au inclus: Facilitarea ntlnirilor echipei de proiect i redactarea specifiicaiilor de proiect Implementarea aplicaiilor proiectate n colaborare cu echipa

Programarea n C++ (.net platform), PHP, ASP, HTML, Mycrosoft SQL i Access. Unul din proiecte a constat n dezvoltarea interfeei web: http://www.extdisc.com/edo/. Testarea diferitelor versiuni ale programelor Gestionarea proiectelor n aa fel nct intele acestora s fie atinse Gestionarea responsabilitilor i a obiectivelor i negocierea acestora cu echipa de proiect Raportarea performanelor proiectului echipei de proiect Octombrie 1998 Octombrie 2005

Activitate didactic

2006 Prezent Lector, Academia de Studii Economice, Bucureti curs: Bazele Econometriei, Statistic Economic 2003, 2004, 2005 Profesor, bo Akademi University, Turku, Finlanda curs: Databases and Data Warehousing 2002 Primvara Profesor, Turku Polytechnic, Salo, Finlanda curs: Databases and Database Design 2000 2001 Seminarist, bo Akademi University, Turku, Finlanda curs: Problem Solving Methods Quantitative Approaches to Decision Making 1998 2000 Seminarist, Academia de Studii Economice, Bucureti, Romania cursuri: Statistica, Statistica Macroeconomica, Econometrie, Informatica Aplicata 1998 2000 Colaborator ca seminarist, Academia de Studii Economice, Bucureti, Romania cursuri: Structuri de Date, Programe Aplicative, Programarea in C, C++, Visual C++. EDUCAIE Program de studii doctorale n economie Absolvit la 2nd Decembrie 2005 bo Akademi University, Turku Centre for Computer Science i Institute for Advanced Management System Research, Turku, Finlanda; Domeniul de cercetare: Tehnici de Data Mining pentru analiza economico-financiar Teza: Metode de Inteligen Computaional pentru Data Mining Studii aprofundate n Economie (Medie 9.66) Absolvit n Iunie 1999 Academia de Studii Economice, Bucureti, Romania Specializarea: Managementul Sistemelor Informatice; Teza: Proiectarea i Implementarea Sistemului Informatic al Bursei de Valori Liceniat n Economie Academia de Studii Economice, Bucuresti, Romania Specializarea: Informatic Economic Teza: Procesarea Informatic a Sondajelor Statistice EXPERIEN TEHNIC Limbaje de programare: C, C++, HTML, VBScript, JavaScript, ASP, PHP; Sisteme de gestiune a bazelor de date: FOXPRO, PL/SQL ORACLE, ACCESS 2000; Programe / Pachete de programe: Statistica 99 Edition, SPSS 10.0, See 5, ACL V6.5 for Windows, Systat, SOM PAK, Matlab 6.5; Absolvit n Iunie 1998

PREMII Premiul 3 (cu Dr. Iulian Nastac) la Concursul Internaional de Inteligen Artificial organizat de EUNITE n 2003. Subiectul competiiei: Predicia calitii produselor n procesul de producie a sticlei (http://www.eunite.org/eunite/events/eunite2003/look_back/look_back.htm). AFILIERI Banca Naional a Romniei, Direcia Supraveghere. Academia de Studii Economice din Bucureti, Catedra de Statistic i Econometrie. Turku Center for Computer Science, Turku, Finlanda. Institute for Advanced Management Systems Research, Turku, Finlanda.

REFERINELE SUNT DISPONIBILE LA CERERE