Как называется проверка соответствия модели исходному объекту моделирования?

верификация модели

#include < iostream> using namespace std; int nod(int a, int b) {      while(a! =b)          if (a> b) a-=b; else b-=a;     return a; }int main() {      int n,k,a;       cin > > n > > k;       for(int i=1; i< n; i++) {            cin> > a;             k=nod(k,a);       }      cout< < k;       return 0; }

#include < iostream> #include < string> #include < time.h> using namespace std; void main()   { srand(time(null)); int n,k=0,k1=4; cin > > n;                           //вводишь количество символовstring *s=new string [n]; for (int i = 0; i < n; ++i) { while (k == k1) { k = rand() % 3; } switch (k) { case 0: s[i] = '0'; cout < < s[i]; break; case 1: s[i] ='1'; cout < < s[i]; break;     //вместо 0,1,2 пишешь свой алфавит . case 2: s[i] ='2'; cout < < s[i]; break; } k1 = k; } system("pause"); }