 Therefore, unit and integration testing need not re-test through means of assertions or test oracles what has already been coded as specification in the contracts of the class text.EiffelStudio AutoTest provides the user with three methods of test case creation.First, for manually created tests EiffelStudio AutoTest creates a test class containing a framework for the test.