Re: [Javapathfinder-user] JPF+RMI

[Peter C. M. <Pet...@na...>]

Hi Michal,

yes and no. Yes - we don't model java.net yet (although that is in the  
works as part of Google's Summer of Code). And no - it's probably not  
what you want anyways if your RunListener is supposed to monitor test  
execution outside of JPF. You have to be aware of that you execute  
JUnit under JPF, which means you might backtrack. If an outside  
listener would make any sense, you could use MJI to notify it, but it  
would have to be aware of backtracking

Please make sure you don't want it the other way round, executing JPF  
under JUnit (like the JPF regression tests do, there's also some  
documentation for the associated infrastructure like TestJPF etc.).  
This is the far more common case.

-- Peter

On Aug 16, 2008, at 8:51 AM, Michal Kebrt wrote:

> Hello,
>
> thanks for Peter's fix. I'm experimenting with JPF launched together  
> with JUnit.
> The purpose of my work is to run JPF on a JUnit test. I would like  
> to use
> JUnit's RunListener and also JPF's listeners to be informed what's  
> currenly
> being done. I've successfully tested JPF's SearchListener. Now I'm  
> testing
> JUnit's listener and looking for a way of how to receive information  
> from that
> listener in an external program (for example in the program which  
> invokes JPF.run).
>
> My first idea was to use RMI - after the JUnit listener is called it  
> calls RMI
> server. Without JPF it works perfectly. Unfortunately when I run JPF  
> on JUnit
> with such listener it ends with the following error:
>
> java.lang.UnsatisfiedLinkError: java.net.InetAddress.init()V (no peer)
>         at java.net.InetAddress.<clinit>(InetAddress.java:216)
>         at  
> sun.rmi.transport.tcp.TCPEndpoint.<clinit>(TCPEndpoint.java:95)
>         at  
> java.rmi.registry.LocateRegistry.getRegistry(LocateRegistry.java:158)
>         at  
> java.rmi.registry.LocateRegistry.getRegistry(LocateRegistry.java:106)
>         at java.rmi.Naming.getRegistry(Naming.java:204)
>         at java.rmi.Naming.lookup(Naming.java:80)
>         at cz.kebrt.jpf.JUnitListener.<init>(JUnitListener.java:22)
>         at org.junit.runner.JUnitCore.runMainAndExit(JUnitCore.java: 
> 57)
>         at org.junit.runner.JUnitCore.main(JUnitCore.java:48)
>
> I'm not sure whether all information on JPF web are uptodate but  
> there's
> information about missing support for java.net. If it's true that  
> would be the
> cause of my problem.
>
> What kind of IPC between JUnit listener and other program would you  
> recommend?
> Files?
>
> Thanks.
>
> Michal Kebrt
>
> -------------------------------------------------------------------------
> This SF.Net email is sponsored by the Moblin Your Move Developer's  
> challenge
> Build the coolest Linux based applications with Moblin SDK & win  
> great prizes
> Grand prize is a trip for two to an Open Source event anywhere in  
> the world
> http://moblin-contest.org/redirect.php?banner_id=100&url=/
> _______________________________________________
> Javapathfinder-user mailing list
> Jav...@li...
> https://lists.sourceforge.net/lists/listinfo/javapathfinder-user