Documente Academic
Documente Profesional
Documente Cultură
T=proc de descop a evid defectelor si src lor, dif depanare si corect+verif calitati sw.
S=scrierea de sw mai mentenabil, reutilizabil, flexibil.
I=sw face ceea ce trebuie s fac i nimic n plus,asigurarea utilizatorilor mpotriva
cderilor sw ce pot duce la pierderi de timp, proprieti, clieni, sau chiar viei.
2. Testarea intr-un proces iterativ si incremental de dezvoltare.
TpI=Analizeaz puin / Creeaz puin din design / Implementeaz puin / T ce poi.
IdD=Dac un sistem sw poate fi dezvoltat incremental, T se poate face la sfritul fiecrei
etape (adic, n etape cresctoare de funcionalitate)
3. Specificarea claselor. Preconditiile si postconditiile operatiilor. Invarianti.
SpC=trebuie s conin o descriere a ce reprezint clasa + ataare un neles i nite
constrngeri (fiecare operaie>specificaie>descrie ce face cls).
PrC=descriu condiii ce trebuie s fie ndeplinite nainte ca operaia s se poat executa.
Se exprim n termenii atributelor obiectului ce conine ; atributele parametrilor actuali ai
mesajului ce solicit execuia operaiei;
PoC=descriu condiii ce trebuie s fie ndeplinite dup execuia operaiei
Se exprim n termeni atributelor obiectului ce conine operaia; atributele parametrilor
actuali ai mesajului ce solicit execuia operaiei; o valoare de rspuns a operaiei i/sau
excepiilor ce pot apare
Inv=Descriu cond ce trebuie ndep ct pe parcursul duratei de via a obiectului. Un
invariant de cls descrie o mulime de granie operaionale pentru o instan a unei cls. Un
invariant de cls este o PoC implicit pentru fiecare operaie dar invarianii pot fi nclcai
n timpul execuiei. Se exprim n termeni de atribute/stri ale obiectului.
4. Surse de erori in implementarea claselor.
Atributele noilor instane nu sunt iniializate corect.
Colaborarea cu alte clase n implementarea codului unei clase(implementare incorecta).
Implementarea cls satisf specif, dar nu avem garania c specificaia este corect .
Implementarea nu conine toate operaiile sau definete incorect operaiile.
Clasa nu ofer o modalitate de verificare a precondiiilor de ctre transmitor.
5. Comparati programarea contractuala si programarea defensiva.
6.. Mostenirea din perspectiva testarii.
Erorile se propag de la o clas la descendenii si- prevenire: testarea unei clase imediat
ce a fost dezvoltat . Permite reutilizarea cazurilor de test.
Constrngerea modificrilor de comportament de la clas la subclas un mod de a fora
substitutabilitatea. Comportamentul unei subclase se poate defini n termenii schimbrilor
incrementale ale strilor observabile i operaiilor definite de clasa de baz.