//Имя функции test() ни о чем мне не говорить. Тест какой то... 
//Функция что-то тестит. Что - не понятно. 
//Она возвращает int, учитывая что задача функции - тестить, 
//то скорее всего смысл возвращаемого значения - результат теста. 
 
//Что я могу рассказать про аргументы? имена аргументов ни о чем не говорят. 
//Их предназначение пока ещё не понятно. 
//Единственное, что по ним видно - это то, что функция
//гарантирует, что не будит менять данные, на которые указывают указатели....
 
int test(const char * a, const char * b)
{
    //Начинается тихий ужас... не зная ни предназначения функции, 
    //ни используемый ею алгоритм
    //я не могу знать наверняка, что подразумевал автор кода, 
    //когда писал эту строчку.
    //я могу лишь догадаться о предназначении функции, 
    //мысленно скомпилировав этот код
    //и по самому поведению программы предположить, 
    //какое у функции может быть предназначение....
    
    //Начинаю мысленную компиляцию....
    //( ! *b ) заменяю на (*b==0)
    //Если значение ячейки памяти по адресу, на который указывает b равно нулю, тогда... вернуть 1 
    //Иначе.... опять условие, ныряю....
           //опять заменяю  ( ! *a ) на (*a==0).... если значение ячейки памяти по адресу, на который указывает a равно нулю, тогда....
                 //опять условие, ныряю....
   //преобразую тот код, что уже мысленно скомпилировал:
   //если по адресу на который указывает b храниться ноль, тогда выйти из тела функции сразу, вернув 1...
   //иначе, если по адресу на который указывает указатель a хранится ноль, тогда выйти из тела функции вернув ноль...
  
  //если же значение ячейки памяти, на которую указывает b не равно нулю и значение ячейки памяти, на которую указывает a тоже не равно нулю, то сравниваем их на равенство друг с другом...
  
  //Если значение ячейки памяти, на которую указывает b содержит такое же значение, что и ячейка памяти, на которую указывает a, то... уходим в рекурсию, инкрементировав оба указателя..
  //Если же значения ячеек памяти на которые указывают указатели b и a различны, тогда ... уходим в рекурсию, инкрементировав только указатель a
 
  //Уйдя в рекурсию повторить весь цикл... 
  //так как, прежде чем уйти в рекурсию, значения обоих указателей (либо только указателя a ) изменяется, то следовательно, изменяется и содержимое ячеек памяти, на которые они указывают.
  //рано или поздно, либо указатель b либо указатель a должны начать указывать на ячейку памяти, которая содержит ноль. Это будит выходом из рекурсии...
 
 //И вот только теперь, переварив этот достаточно объёмный текст, который пришлось генерировать у себя в голове, и генерировать "на лету", только в этот момент можно сделать предположение о том, что это за алгоритм, ЕСЛИ ЗНАЕШЬ, КАКУЮ ЗАДАЧУ РЕШАЕТ ФУНКЦИЯ.
 
Если не знаешь - придётся скакать ещё выше и анализировать те функции, которые эту функцию используют. И таким вот черезжопинским методом (эвристический анализ) выяснять, для чего эта функция была создана, и как она работает.
 
return ( ! *b ) ? 1 : ( ! *a ) ? 0 : ( *b == *a ) ? test(++a, ++b) : test(++a, b);
 
//Все что я могу сказать, поняв, что происходит в теле функции, это что она возвращает 1 или 0
А так же, производит анализ указателей типа char
 
}