Use Java assertions to test your assumptions about program correctness and check them in your code. ... For private helper methods, you can enforce preconditions by specifying assertions.