בדיקות מסוג קופסת לבנה שבה יש טרנספורמציה של סגמנט הקוד לתרשים זרימה שבה מצב אחד תלוי בשני.

Data Flow Diagram = DFD

A: int x,y,a,b;
B: scanf("%d %d",&x,&y);
C: a=x;
D: b=y;
E: while(a!=b) {
F: if(a>b)
G: a-=b;
H: else b-=a;
I: } printf("%d",a);