Я использовал бы шаблон объекта метода. Имейте статический экземпляр этого и назовите его в статическом методе. Должно быть возможно разделить на подклассы для тестирования, в зависимости от Вашей платформы насмешки.
т.е. в Вашем классе со статическим методом имейте:
private static final MethodObject methodObject = new MethodObject();
public static void doSomething(){
methodObject.doSomething();
}
и Ваш объект метода может быть очень простое, легко протестированный:
public class MethodObject {
public void doSomething() {
// do your thang
}
}
Я предполагаю, что он имеет в виду, возможно, доказательство этого, исходя только из аксиом Пеано . Затем построение целых чисел и продолжение формального показа, что 13 ^ 3 = 2197 - естественный логический вывод, вытекающий из определения возведения в степень.
Мы могли бы обобщить, чтобы показать, что для a и b существует некоторое целое число c, то есть a ^ b.
Это ужасная проблема, потому что большинство людей находят ее неинтересной.
Подобные виды проблем можно найти в курсе анализа (наряду с некоторыми гораздо более интересными).