Common use of jMock Clause in Contracts

jMock. The Java library jMock [38], developed by Xxxxxxxxx Xxxxx et xxxx, is also used for unit and regression testing of Java programs. The jMock approach follows the idea that for testing object oriented systems it is more appropriate to test the interactions among objects rather than to test 3Actually, it certainly is possible to test this with JUnit, as a JUnit test is a normal Java program. Hence, every test that one can write in Java in general, can be embedded in the JUnit framework. But the test of interactions is not supported by JUnit directly, which means that one has to write additional code to realize this kind of tests Listing 1.2: Voter example: JUnit 3.8.x 1 import org.junit.Test.TestCase; 3 class CensusTestCase extends TestCase { 4 Vector voters;

jMock. ‌ The Java library jMock [38], developed by Xxxxxxxxx Xxxxx et xxxx, is also used for unit and regression testing of Java programs. The jMock approach follows the idea that for testing object oriented systems it is more appropriate to test the interactions among objects rather than to test 3Actually, it certainly is possible to test this with JUnit, as a JUnit test is a normal Java program. Hence, every test that one can write in Java in general, can be embedded in the JUnit framework. But the test of interactions is not supported by JUnit directly, which means that one has to write additional code to realize this kind of tests Listing 1.2: Voter example: JUnit 3.8.x 1 import org.junit.Test.TestCase; 3 class CensusTestCase extends TestCase { 4 Vector voters;