Community
Participate
Working Groups
The JUnit tests that Laurent introduced for detailed evaluation and particularly the assertQueryResults in which OCL creates both challenge and response is almost pure OCL. It would be good to support a direct OCL test capability so that OCL can be tested as invariants written in OCL with the results appearing direct in a JUnit-like GUI. Introduction of type constructors may make provision of test models much simpler.