jqwik with JMockit about jqwik HOT 5 CLOSED

Somehow the test framework must invoke mock object creation within its lifecycle. In jqwik you're supposed to do that in the test class's constructor. With Mockito for example you'd call
MockitoAnnotations.initMocks(this); there.

To be frank I have no idea how it can possibly work with Jupiter without some additional mechanics like registering a Jupiter extension through a service provider. I also tried to find out how JMockit works in principle but jmockit.org seems to be dead.

Do you have a link to JMockit's current documentation?

from jqwik.

I had a look at JMockit's source code. It comes with code that hooks into Jupiter's extension mechanism. Since such a mechanism is currently not available for jqwik you'll have to use a different way to make JMockit inject mock objects. I guess JMockit's documentation would help if I only knew where it was...

from jqwik.

OK. I eventually found the current documentation:
http://jmockit.github.io/tutorial/Introduction.html#runningTests

I guess the javaagent approach could work with jqwik. Let me know if you try it (successfully or unsuccessfully).

from jqwik.

I tried with -javaagent:C:/.../jmockit-1.39.jar. It doesn't seem to work.
The JUnit5 test is green and the jqwik is still red.

from jqwik.

I didn't succeed in making it work either. So you'd probably have to ask the author of @jmockit if there is a programmable way of invoking all the necessary mocking harness. Looking at https://github.com/jmockit/jmockit1/blob/master/main/src/mockit/integration/junit5/JMockitExtension.java shows that there is quite a lot going on...

But maybe there is a more straightforward way to solve the testing problem you want to solve with integrating jmockit with jqwik? In my experience, mocking is not often necessary when doing proberty-based testing. In the rare occassions in which I did use it Mockito was fully up to the job.

So if you like, open an issue describing your testing problem and we can try to find a solution for that.

from jqwik.