Testarea structurilor de control

Testarea structurii de control

Calea de baza pentru testarea unui exemplu a testarii structurii de control.

1.4.1 Testarea conditiilor

Testarea conditiilor cu scopul de a manevra toate conditiile logice intr-un modul de program.

Se pot defini:

- expresie relationala (E1 op E2), unde E1 si E2 sunt expresii aritmetice;

- conditie simpla - variabila booleana sau expresie relationala, posibil precedata de un operator NOT;

- conditie compusa - compusa din doua sau mai multe conditii simple, operatori booleeni si paranteze;

- expresie booleana - conditie fara expresii relationale.

Erorile in expresii pot aparea datorita :

- erorii operatorului boolean;

- erorii variabilei booleene;

- erorii parantezelor booleene;

- erorii operatorului relational;

- erorii expresiei aritmetice.

Metodele de testare a conditiilor concentreaza fiecare conditie de testare intr-un program.

Strategiile propuse includ:

- testarea ramurei- executa fiecare ramura cel putin odata;

- testarea domeniului- foloseste trei sau patru teste pentru fiecare operator relational;

- testarea ramurei si a operatorului relational- foloseste conditii de constrangere.

Exemplul 1:

C1 = B1 & B2

unde B1, B2 sunt conditii booleeene.

Conditia de constangere a formei (D1,D2), unde D1 si D2 pot fi adevarate (t) sau false (f).

Ramificatia si operatorul relational testeaza cerintele setului de constrangeri {(t,t),(f,t),(t,f)} pentru a fi protejate de executia lui C1.

Protejarea setului de constrangeri garanteaza detectia erorilor operatorului relational.

1.4.2 Testarea scurgerii de date

Selecteaza testarea cailor conforme locatiei definitiilor si folosirii variabilelor.

1.4.3 Testarea ciclului

Cicluri fundamentale pentru mai multi algoritmi.

Ciclurile pot fi:

- simple;

- concatenate;

- incuibarite;

- nestructurate.

Exemple:

Pentru a testa:

1. Cicluri simple de dimensiune n:

- se sare peste intreg ciclul ;

- numai o parcurgere de ciclu ;

- doua parcurgeri prin ciclu ;

- m parcurgeri prin ciclu unde m<n;

- (n-1), n, si (n+1) parcurgeri ale ciclului.

2. Cicluri incuibarite :

- se incepe cu un ciclu interior;

- se seteaza toate celelalte cicluri la valori minime;

- rularea ciclului simplu testandu-se ca ciclu interior;

- se lucreaza din exterior ;

- se contiuna pana cand toate ciclurile sunt testate.

3. Cicluri concatenate:

- daca ciclurile sunt independente, se foloseste testarea simpla a ciclurilor;

- daca sunt dependente, se trateaza ca cicluri incuibarite.

4. Cicluri nestructurate :

• • • • Nu se testeaza - se recostruiesc.