fişa disciplinei
1. Date despre program
1.1 Instituţia de învăţământ superior	Universitatea Babes-Bolyai	
1.2 Facultatea	Facultatea de Matematica si Informatica	
1.3 Departamentul	Departamentul de Informatica	
1.4 Domeniul de studii	Stiinta calculatoarelor	
1.5 Ciclul de studii	Licenta	
1.6 Programul de studiu / Calificarea	Informatică, linia Română	

2. Date despre disciplină
2.1 Denumirea disciplinei	Verificarea si Validarea Sistemelor soft	
2.2 Titularul activităţilor de curs	Lect. Dr. Camelia Chisăliţă-Creţu	
2.3 Titularul activităţilor de seminar	Lect. Dr. Camelia Chisăliţă-Creţu	
2.4 Anul de studiu	3	2.5 Semestrul	6	2.6. Tipul de evaluare	E	2.7 Regimul disciplinei	obligatoriu	

3. Timpul total estimat (ore pe semestru al activităţilor didactice)
3.1 Număr de ore pe săptămână	4	Din care: 3.2 curs	2	3.3 seminar/laborator	2	
3.4 Total ore din planul de învăţământ	48	Din care: 3.5 curs	24	3.6 seminar/laborator	24	
Distribuţia fondului de timp:	ore	
Studiul după manual, suport de curs, bibliografie şi notiţe	24	
Documentare suplimentară în bibliotecă, pe platformele electronice de specialitate şi pe teren	24	
Pregătire seminarii/laboratoare, teme, referate, portofolii şi eseuri	24	
Tutoriat	6	
Examinări 	24	
Alte activităţi: ..................	0	
3.7 Total ore studiu individual	102	
3.8 Total ore pe semestru	150	
3.9 Numărul de credite	6	

4. Precondiţii (acolo unde este cazul)
4.1 de curriculum	•		
4.2 de competenţe	•		

5. Condiţii (acolo unde este cazul)
5.1 De desfăşurare a cursului	•		
5.2  De desfăşurare a seminarului/laboratorului	•		

6. Competenţele specifice acumulate

Competenţe profesionale	•	Cunoasterea, intelegerea si utilizarea conceptelor teoretice de baza din informatica;
•	Capacitatea de a lucra independent pentru rezolvarea unor probleme. 	
Competenţe transversale	•	Abilitati de programare imbunatatite: depanarea si corectarea erorilor de compilare.	

7. Obiectivele disciplinei (reieşind din grila competenţelor acumulate)
7.1 Obiectivul general al disciplinei	•	Intelegerea notiunilor de algoritm partial si total corect;
•	Formarea deprinderilor de proiectare a algoritmilor in paralel cu demonstrarea corectitudinii lor;
•	Cunoasterea metodelor de testare si verificare a sistemelor soft;
•	 Formarea deprinderilor de proiectare a programelor corecte din specificatii;
•	Formarea unui stil modern de programare.	
7.2 Obiectivele specifice

	•	Studentii vor sti cum se desfasoara si care sunt pasii unei inspectari, fie a codului sursa fie a specificatie din fiecare etapa de dezvoltare a sistemului soft.
•	Studentii vor sti sa prevada inca din faza de specificare si proiectare crearea unor cazuri de testare care sa-i ajute la dezvoltarea unui sistem soft mai robust.
•	Studenţii vor sti să utilizeze instrumentele pentru managementul procesului de testare.
•	Studenţii vor şti să proiecteze cazurile de testare folosind diferite criteria (black-box, white-box).	

8. Conţinuturi
8.1 Curs	Metode de predare	Observaţii	
1.	Verificarea si validarea; Concepte. Testarea programelor (1): conceptul de testarea progamelor; criterii de testare. testarea black-box;	Prezentare, Demonstratii, Problematizare		
2. Testarea programelor (2): testarea white-box; tipuri de testare (T de integrare, T. de sistem, T. de regresie,T de acceptare), automatizarea testarii.	Prezentare, Demonstratii, Problematizare		
3. Instrumente pentru managementul testării 	Prezentare, Demonstratii, Problematizare		
4. Executia simbolica	Prezentare, Demonstratii, Problematizare		
5. Model checking	Prezentare, Demonstratii, Problematizare		
6. Teoria corectitudinii programelor. Evolutia conceptului de corectitudine. Contributiile lui Floyd, Hoare, Dijkstra, Gries, Droomey, Morgan	Prezentare, Demonstratii, Problematizare		
7. Asigurarea calităţii produselor soft	Prezentare, Demonstratii, Problematizare		
8. Testare de performanţă şi WebDriver	Prezentare, Demonstratii, Problematizare		
9. Testarea aplicaţiilor GUI şi Web, cu Selenium şi WebDriver.	Prezentare, Demonstratii, Problematizare		
10. COCOMO.	Prezentare, Demonstratii, Problematizare		
11. Inspectare.	Prezentare, Demonstratii, Problematizare		
12. SPI, SQA,CMM.	Prezentare, Demonstratii, Problematizare		

Bibliografie
1. BALANESCU T., Corectitudinea programelor, Editura tehnica, Bucuresti 1995.
2. DIJKSTRA, E., A constructive approach to the problem of program correctness, BIT, 8(1968), pg.174-186.
3. DIJKSTRA, E., Guarded commands, nondeterminacy and formal derivation of programs, CACM, 18(1975), 8, pg.453-457.
4. DROMEY G., Program Derivation. The Development of Programs From Specifications, Addison Wesley Publishing Company, 1989.
5. FRENTIU, M., Verificarea corectitudinii programelor, Ed.Univ."Petru-Maior", 2001.
6. GRIES, D., The Science of Programming, Springer-Verlag, Berlin, 1981.
7. HOARE, C.A.R., An axiomatic basis for computer programming, CACM, 12(1969), pg.576-580, 583.
8. Morgan, C., Programing from Specifications, Prentice Hall, NewYork, 1990.
B. Internet

	
8.2 Seminar / laborator	Metode de predare	Observaţii	
1. S1: Specificatii. Cazuri de testare utilizand metoda de testare Black-box Testing (BBT) 
L1: Black-box Testing	Prezentare, conversatie, Problematizare, Descoperire, Studiu individual, Exercitii		
S2: Cazuri de testare utilizand metoda de testare White-box (WBT)
L2: White-Box Testing	Prezentare, conversatie, Problematizare, Descoperire, Studiu individual, Exercitii		
S3: Lucrare de control + Niveluri de testare
L3: Niveluri de testare	Prezentare, conversatie, Problematizare, Descoperire, Studiu individual, Exercitii		
S4: Corectitudine, Floyd, Hoare
L4:Instrumente pentru managementul testării	Prezentare, conversatie, Problematizare, Descoperire, Studiu individual, Exercitii		
S5: Testare GUI şi Web
L5:Testare GUI şi Web. 	Prezentare, conversatie, Problematizare, Descoperire, Studiu individual, Exercitii		
S6:Inspectare
L6:Inspectare	Prezentare, conversatie, Problematizare, Descoperire, Studiu individual, Exercitii		

Bibliografie	

	

9. Coroborarea conţinuturilor disciplinei cu aşteptările reprezentanţilor comunităţii epistemice, asociaţiilor profesionale şi angajatori reprezentativi din domeniul aferent programului
•	Studentii vor sti cum sa aplice metodele de testare pentru un produs soft, metode de testare utilizare in industrie.
•	Studentii vor invata diverse metode de verificare si validare ale unui sistem soft.	

10. Evaluare
Tip activitate	10.1 Criterii de evaluare	10.2 metode de evaluare	10.3 Pondere din nota finală	
10.4 Curs	La sfarsitul semestrului se va da o nota E pe examinarea scrisa.	Examen scris	50	
				
10.5 Seminar/laborator	Activitarea de seminar, constand in participarea la discutii si la rezolvarea unor exercitii, va fi notata cu o nota S.  	Lucrare de control + Activitatea de Seminar	25	
	Activitatea de laborator va fi notata cu nota L.	Teme de laborator	25	
10.6 Standard minim de performanţă	
•	 Studentii vor invata si aplica metodele de testare ale unui produs soft.
•	Studentii vor aplica diverse metode de verificare (testare, inspectare) pentru stabilirea corectitudinii unui algoritm.
•	Cel putin nota 5 (notare de la 1 la 10) la fiecare componenta din nota finala (examenul scris, laborator, activitatea de seminar). 	

Data completării		Titular de curs					Titular de seminar
01.03.2013		Lect. Dr. Camelia Chisăliţă-Creţu		Lect. Dr. Camelia Chisăliţă-Creţu

Data avizării în departament			                          Director de departament	
...........................................						Prof. Dr. Bazil Parv