Բաժշված ինֆորմացիոն համակարգերի վերլուծության և տեստավորման մեթոդների և բանկային պրոցեսների ճշտության ապահովման գործիքային միջոցների մշակում