targetLen = maxLen;
}
String filename = rh.buildRandomFileName(averageLen, maxLen);
Abbreviator abb = new Abbreviator(fixedLen, targetLen, FS);
String result = abb.abbreviate(filename);
assertTheory0(averageLen, filename, result, fixedLen, targetLen);
assertUsefulness(averageLen, filename, result, fixedLen, targetLen);
assertTheory1(filename, result, fixedLen, targetLen);
assertTheory2(filename, result, fixedLen, targetLen);
}