Calitate software

Când prin anii '70 dar mai ales prin anii '80 am început să discut despre calitatea software, totul părea în ochii colegilor din catedră dar și în rândul specialiștilor o glumă cam nesărată.

În vremurile de demult, la disciplina Programe aplicative predată studenților Facultății de cibernetică am inclus un capitol de calitate software. Și la cursul postuniversitar am avut capitole de Calitate software. Acolo am prezentat ceea ce era în literatură dar și rezultate ale cercetărilor efectuate de un grup de lucru care mai publica în reviste de la noi dar și din străinătate. După 1989 și mai ales după ce au apărut masteratele de tot felul, am introduc câte ceva de calitate software, ajungând să existe un curs chiar cu numele de Calitate software la masterul de Informatică Economică de la facultatea CSIE din ASE. Acel curs are cam aceleași lucruri pe care le prezentam și cu ani în urmă, precum:

- concepte de bază;

- caracteristici de calitate;

- fiabilitate și modele;

- portabilitate;

- mentenabilitate;

- complexitate;

- generalitate;

- generalitate;

- testabilitate;

- corectitudine;

- metrici de calitate software;

- proprietăți indicatori: senzitivitate, caracter necompersatoriu, caracter necatastrofic;

- agregarea indicatorilor;

- rafinarea metricilor software;

- optimizarea calității;

- costul calității;

- managementul calității software;

- planificarea calității;

- controlul calității;
- standarde de calitate;

- căi de creștere a calității software.

În timp au apărut materiale despre calitatea software precum:

• Doina BANCIU, Alexandru BALOG - Calitatea sistemelor si serviciilor de e-learning, Editura AGIR, Buc. 2013, ISBN 978-973-720-494-3, 184 pag.
• Alexandru BALOG - Calitatea sistemelor interactive: studii si experimente, Editura MatrixRom, Buc. 2004, ISBN 973-685-826-X, 210 pag.
• Alexandru BALOG - Calitatea produselor software - masurare, analiza si evaluare, Editura INFOREC, Buc., 2000, ISBN 973-99450-1-5, 134 pag.
• Alexandru BALOG - Analiza statistica si evaluarea calitatii software-ului, Editura Calipso 2000, Bucuresti, 1997, ISBN 973-97077-2-6, 180 pag.
• Alexandru BALOG - Evaluarea proceselor software, Editura ICI, Bucuresti, 1999, ISBN 973-98406-4-7,148 pag.
• Ion IVAN,Gheorghe NOSCA, Sergiu CAPISIZU, Marius POPA - Managementul calitatii aplicatiilor informatice, Editura ASE, Bucuresti, 2007, 500 pg
• Ion IVAN, Cristian AMANCEI - STABILITATEA COEFICIENTILOR MODELULUI GLOBAL DE CALITATE SOFTWARE, teorie, practica, experimente, Editura ASE, Bucuresti, 2006, 172 pg
• Ion IVAN, Catalin BOJA - MANAGEMENTUL CALITATII PROIECTELOR TIC, Editura ASE , Bucuresti, 2005,  122pg.
• Ion IVAN, Laurentiu TEODORESCU - Managementul calitatii software, Editura INFOREC, Bucuresti, 2001, 150 pg.
• Gheorghe NOSCA, Ion IVAN, Sebastian TCACIUC, Otilia PARLOG, Razvan CACIULA - Calitatea datelor, Editura INFOREC, Bucuresti, 1999, 102 pg.
• Ion IVAN - Asigurarea calitatii software, in INFORMATICA, Editura stiintifica si enciclopedica, coordonator Gh. DODESCU, Bucuresti, 1987, pg. 434-440
• Ion IVAN - Asigurarea calitatii software, in INFORMATICA, Editura stiintifica si enciclopedica, coordonator Gh. DODESCU, Bucuresti, 1987, pg. 434-440
• Tudor BARON, Alexandru BALOG, Ion IVAN - Calitatea produselor program, Lito ASE, Bucuresti, 1983, 24pg
• Tudor BARON, Ion IVAN, Alexandru BALOG- Informatica Economica: Calitatea programelor si stilul de programare, lito ASE, Bucuresti, 1984, 43 pg.

Au mai fost și alte materiale publicate în reviste de specialitate, mai ales înainte de 1989 când accesul de a publica materiale mai extinse sub forma unor cărți era destul de dificil de realizat. Calitatea software este cu atât mai necesară cu cât aplicațiile online impun înzestrarea cu niveluri pentru caracteristicile de calitate care să permită utilizarea 24/24 și 7/7 a aplicațiilor în orice condiții, căci ele funcționează independent de dezvoltatori.
Când se vorbește despre calitate software trebuie să se vorbească despre indicatori care măsoară caracteristicile cantitative și calitative ale unui program, dintre care enumăr:
- lungimea programului;
- gradul de ocupare a zonelor de memorie;
- lungimea zonelor de memorie;
- complexitatea programului;
- gradul de satisfacție al utilizatorului;
- productivitatea programatorului;
- nivelul de mentenabilitate;
- nivelul de fiabilitate;
- costul calității software;
- indicator agregat;
- durata de viață a produsului software.
Când se analizează calitatea software fără măsurători nimic nu este clar și nimic nu are suport de decizie, pentru cei care își propun creșterea performanței oricărei aplicații informatice.
Sunt diferite opțiuni legate de indicatorii de calitate. Unii preferă incicatorii separați pentru fiecare caracteristică de calitate, alții preferă indicatoul global de calitate.

(01 noiembrie 2017)

Cărți de informatică teoretică

Cărțile de informatică teoretică au apărut încă din zorii informaticii de la noi, pentru că cei care au înțeles noutatea domeniului au dezvoltat deja abordări în planul cercetării științifice operând cu noțiuni abstracte, nefiind legați de dotarea cu tehnică de calcul în concordanță cu exigențele lor și cu nivelul de generalitate pe care l-au abordat.

Cărțile despre gramatici generative, despre limbaje formale, despre compilatoare, despre automate finite și despre teoria informației au apărut în editurile românești cu autori români și s-au bucurat de mare succes.

• I. CREANGĂ, C. REISCHER, D. SIMOVICI - Introducere algebrică în informatică. Teoria automatelor, Editura Junimea, Iași, 1973, 287 pg.
• I. CREANGA, C. REISCHER, D. SIMOVICI - Introducere algebrica in informatica. Limbaje formale, Editura Junimea, Iasi, 1974, 195pg.
• Dan SIMOVICI - Limbaje formale si tehnici de compilare, Editura Didactica si pedagogica, Bucuresti, 1978, 245 pg.
• S. MARCUS - Gramatici și automate finite, Editura Academiei RPR, București, 1964.
• D. VAIDA - Limbaje formale și tehnici de compilare, Editura Universității, București, 1976.
• D. VAIDA - Algoritmi de compilare, Editura Didactica si Pedagogica, București,  1971
• T. BALANESCU - Corectitudinea programelor, Editura tehnică, București, 1995.
• M. FRENȚIU - Verificarea corectitudinii programelor, Editura Universitară Petru-Maior, 2001.
• C. CALUDE - Theories of Computational Complexity, North-Holland, Amsterdam, 1988. 
• D. L. ȘERBĂNAȚI - Limbaje de programare si compilatoare, Editura Academiei RSR, București, 1987, 345 pg. 
• E. VASILIU - Gramatici generative și gramatici transformaționale,  vol. Lingvistica modernă în texte, redactori M. Iliescu, L. Wald, Tipografia Universităii București, 1981,  121pg. 
• A. ATANASIU - Limbaje formale și automate, Editura INFODATA,  Cluj, 2007, 170 pg.
• T. JUCAN  - Limbaje formale ¸si automate, Editura Matrix Rom, București, 1999
• Gh. PĂUN - Probleme actuale în teoria limbajelor formale, Editura Științifică și Enciclopedică, București 1984. 
• Ş. MĂRUȘTER, M. DRĂGAN – Limbaje formale, Editura Eubeea, Timișoara, 1998. 
• E. M. POPA - Limbaje formale, Editura Alma Mater, Sibiu, 2003.

Mai era o carte cu coperți albastre pe care am cumpărat-o, parcă editată la Cluj despre Gramatici generative, de unde am învățat eu primele noțiuni de limbaje formale și de gramatici. Acolo am citit prima dată despre rezultatele lui Noam CHOMSKY. În clipa aceasta nu-mi aduc aminte despre ce carte este vorba și-mi pare nespus de rău. Cu ea aș fi început aici. Mi-au plăcut dintotdeauna rezultatele de la limbajele formale și prin anul al V-lea de facultate am gândit un limbaj formal pentru aplicații de contabilitate, care ajuta la preluarea directă din documente pentru a scrie formule contabile, era ceva de o matrice de corespondențe dintre conturi. Restul nu-mi mai amintesc, dar era ceva frumos în mintea mea de atunci. 

Cărțile de informatică teoretică sunt extrem de interesante și ele au contribuit substanțial la fondarea școlii de informatică de la noi pentru că numai practica nu ajută prea mult. Ea trebuie precedată de rezultate teoretice semnificative.

(12 octombrie 2017)