Thread: [Javapathfinder-svn] SF.net SVN: javapathfinder:[996] trunk/extensions/complexcoverage

Status: Beta

Brought to you by: artimid, johnpenix, masoud_mansouri, pcdillinger, and 3 others

javapathfinder-svn

[Javapathfinder-svn] SF.net SVN: javapathfinder:[996] trunk/extensions/complexcoverage

From: <st...@us...> - 2008-09-02 05:48:16

Revision: 996
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=996&view=rev
Author:   staats
Date:     2008-09-02 05:48:13 +0000 (Tue, 02 Sep 2008)

Log Message:
-----------
Fixed native peer naming in complexcoverage

Modified Paths:
--------------
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/GenericTestSuiteListener.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/mcdc/MeasureTestSuiteByMCDC.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/mcdc/ReduceTestSuiteByMCDC.java
    trunk/extensions/complexcoverage/test/ComplexCoverage TestFun Measure Reduced.launch
    trunk/extensions/complexcoverage/test/ComplexCoverage TestFun Normal.launch
    trunk/extensions/complexcoverage/test/ComplexCoverage TestFun Reduce.launch
    trunk/extensions/complexcoverage/test/ComplexCoverage TestFun Symbolic.launch

Added Paths:
-----------
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/JPF_gov_nasa_jpf_complexcoverage_Debug.java
    trunk/extensions/complexcoverage/test/ComplexCoverage TestFun Run Reduced Test #0.launch

Removed Paths:
-------------
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/JPF_crisys_jpf_Debug.java
    trunk/extensions/complexcoverage/test/ComplexCoverage TestFun Run Reduced.launch
    trunk/extensions/complexcoverage/test/ComplexCoverage TestFun2 Symbolic.launch
    trunk/extensions/complexcoverage/test/ComplexCoverage TestFun2.launch


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1023] trunk/extensions/complexcoverage

From: <st...@us...> - 2008-09-25 00:49:23

Revision: 1023
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1023&view=rev
Author:   staats
Date:     2008-09-25 00:49:13 +0000 (Thu, 25 Sep 2008)

Log Message:
-----------
Updated README for complex coverage 

Modified Paths:
--------------
    trunk/extensions/complexcoverage/doc/README.txt
    trunk/extensions/complexcoverage/test/ComplexCoverage TestFun Normal.launch
    trunk/extensions/complexcoverage/test/ComplexCoverage TestFun Reduce.launch
    trunk/extensions/complexcoverage/test/ComplexCoverage TestFun Run Reduced Test #0.launch
    trunk/extensions/complexcoverage/test/ComplexCoverage TestFun Symbolic.launch


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1026] trunk/extensions/complexcoverage

From: <st...@us...> - 2008-09-26 17:59:15

Revision: 1026
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1026&view=rev
Author:   staats
Date:     2008-09-26 17:59:06 +0000 (Fri, 26 Sep 2008)

Log Message:
-----------


Modified Paths:
--------------
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/Debug.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/JPF_gov_nasa_jpf_complexcoverage_Debug.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/TestCase.java
    trunk/extensions/complexcoverage/test/ComplexCoverage TestFun Normal.launch
    trunk/extensions/complexcoverage/test/ComplexCoverage TestFun Reduce.launch
    trunk/extensions/complexcoverage/test/ComplexCoverage TestFun Run Reduced Test #0.launch
    trunk/extensions/complexcoverage/test/ComplexCoverage TestFun Symbolic.launch

Added Paths:
-----------
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/choice/TaggedDoubleChoiceFromSet.java
    trunk/extensions/complexcoverage/test/ComplexCoverage DoubleTest Normal.launch
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/DoubleTest.java


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1437] trunk/extensions/complexcoverage

From: <st...@us...> - 2009-04-22 18:09:02

Revision: 1437
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1437&view=rev
Author:   staats
Date:     2009-04-22 18:08:47 +0000 (Wed, 22 Apr 2009)

Log Message:
-----------


Modified Paths:
--------------
    trunk/extensions/complexcoverage/doc/README.txt
    trunk/extensions/complexcoverage/test/ComplexCoverage TestFun Measure Reduced.launch
    trunk/extensions/complexcoverage/test/ComplexCoverage TestFun Normal.launch
    trunk/extensions/complexcoverage/test/ComplexCoverage TestFun Run Reduced Test #0.launch
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/TestFile.java

Added Paths:
-----------
    trunk/extensions/complexcoverage/doc/tutorial.txt


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1599] trunk/extensions/complexcoverage

From: <st...@us...> - 2009-06-06 03:54:21

Revision: 1599
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1599&view=rev
Author:   staats
Date:     2009-06-06 03:54:20 +0000 (Sat, 06 Jun 2009)

Log Message:
-----------


Modified Paths:
--------------
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/heuristic/PathTrimSymbolicSearch.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/heuristic/RandomizedSymbolicSearch.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/heuristic/ReorderingSymbolicSearch.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/heuristic/TrimAndReorderSymbolicSearch.java
    trunk/extensions/complexcoverage/test/ComplexCoverage TestFun Normal.launch
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/TestFile.java

Added Paths:
-----------
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/JPFProcess.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/MultiJPFMonitor.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/MultiProcessJPF.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/MultiThreadJPF.java
    trunk/extensions/complexcoverage/test/ComplexCoverage MultiProcess JPF.launch


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1611] trunk/extensions/complexcoverage

From: <st...@us...> - 2009-06-10 23:22:41

Revision: 1611
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1611&view=rev
Author:   staats
Date:     2009-06-10 23:22:35 +0000 (Wed, 10 Jun 2009)

Log Message:
-----------
added multi-core and beginning of multi-comp JPF

Modified Paths:
--------------
    trunk/extensions/complexcoverage/test/ComplexCoverage MultiProcess JPF.launch

Added Paths:
-----------
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/JPFManager.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/JPFManagerInterface.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/MultiJPFListener.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/RemoteJPF.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/StartJPFManager.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/multicore/
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/multicore/JPFProcess.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/multicore/MultiJPFMonitor.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/multicore/MultiProcessJPF.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/multicore/MultiThreadJPF.java

Removed Paths:
-------------
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/JPFProcess.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/MultiJPFMonitor.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/MultiProcessJPF.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/MultiThreadJPF.java


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1614] trunk/extensions/complexcoverage

From: <st...@us...> - 2009-06-11 23:52:19

Revision: 1614
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1614&view=rev
Author:   staats
Date:     2009-06-11 23:52:17 +0000 (Thu, 11 Jun 2009)

Log Message:
-----------


Modified Paths:
--------------
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/JPFManager.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/JPFManagerInterface.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/MultiJPFListener.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/RemoteJPF.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/StartJPFManager.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/multicore/JPFProcess.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/multicore/MultiProcessJPF.java
    trunk/extensions/complexcoverage/test/ComplexCoverage MultiProcess JPF.launch
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/TestFile.java


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1617] trunk/extensions/complexcoverage

From: <st...@us...> - 2009-06-12 18:44:55

Revision: 1617
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1617&view=rev
Author:   staats
Date:     2009-06-12 18:44:32 +0000 (Fri, 12 Jun 2009)

Log Message:
-----------


Modified Paths:
--------------
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/TestFile.java

Added Paths:
-----------
    trunk/extensions/complexcoverage/launch/
    trunk/extensions/complexcoverage/launch/ComplexCoverage BinTree Symbolic.launch
    trunk/extensions/complexcoverage/launch/ComplexCoverage BinomialHeap Symbolic.launch
    trunk/extensions/complexcoverage/launch/ComplexCoverage DoubleTest Normal.launch
    trunk/extensions/complexcoverage/launch/ComplexCoverage FibHeap Symbolic.launch
    trunk/extensions/complexcoverage/launch/ComplexCoverage MultiProcess JPF.launch
    trunk/extensions/complexcoverage/launch/ComplexCoverage TestFun Measure Reduced.launch
    trunk/extensions/complexcoverage/launch/ComplexCoverage TestFun Normal.launch
    trunk/extensions/complexcoverage/launch/ComplexCoverage TestFun Reduce.launch
    trunk/extensions/complexcoverage/launch/ComplexCoverage TestFun Run Reduced Test #0.launch
    trunk/extensions/complexcoverage/launch/ComplexCoverage TestFun SimpleCoverage.launch
    trunk/extensions/complexcoverage/launch/ComplexCoverage TestFun Symbolic.launch
    trunk/extensions/complexcoverage/launch/ComplexCoverage TreeMap Symbolic.launch

Removed Paths:
-------------
    trunk/extensions/complexcoverage/test/ComplexCoverage BinTree Symbolic.launch
    trunk/extensions/complexcoverage/test/ComplexCoverage BinomialHeap Symbolic.launch
    trunk/extensions/complexcoverage/test/ComplexCoverage DoubleTest Normal.launch
    trunk/extensions/complexcoverage/test/ComplexCoverage FibHeap Symbolic.launch
    trunk/extensions/complexcoverage/test/ComplexCoverage MultiProcess JPF.launch
    trunk/extensions/complexcoverage/test/ComplexCoverage TestFun Measure Reduced.launch
    trunk/extensions/complexcoverage/test/ComplexCoverage TestFun Normal.launch
    trunk/extensions/complexcoverage/test/ComplexCoverage TestFun Reduce.launch
    trunk/extensions/complexcoverage/test/ComplexCoverage TestFun Run Reduced Test #0.launch
    trunk/extensions/complexcoverage/test/ComplexCoverage TestFun SimpleCoverage.launch
    trunk/extensions/complexcoverage/test/ComplexCoverage TestFun Symbolic.launch
    trunk/extensions/complexcoverage/test/ComplexCoverage TreeMap Symbolic.launch


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1622] trunk/extensions/complexcoverage

From: <st...@us...> - 2009-06-12 21:21:12

Revision: 1622
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1622&view=rev
Author:   staats
Date:     2009-06-12 21:19:42 +0000 (Fri, 12 Jun 2009)

Log Message:
-----------


Added Paths:
-----------
    trunk/extensions/complexcoverage/bin/
    trunk/extensions/complexcoverage/bin/jpf-parallel-server
    trunk/extensions/complexcoverage/bin/wideopen.policy


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1631] trunk/extensions/complexcoverage

From: <st...@us...> - 2009-06-16 01:24:48

Revision: 1631
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1631&view=rev
Author:   staats
Date:     2009-06-16 00:17:15 +0000 (Tue, 16 Jun 2009)

Log Message:
-----------


Modified Paths:
--------------
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/JPFManager.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/JPFManagerInterface.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/RemoteJPF.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/StartJPFManager.java

Added Paths:
-----------
    trunk/extensions/complexcoverage/launch/CompCov BinTree Symbolic.launch
    trunk/extensions/complexcoverage/launch/CompCov BinomialHeap Symbolic.launch
    trunk/extensions/complexcoverage/launch/CompCov DoubleTest Normal.launch
    trunk/extensions/complexcoverage/launch/CompCov FibHeap Symbolic.launch
    trunk/extensions/complexcoverage/launch/CompCov MultiProcess JPF.launch
    trunk/extensions/complexcoverage/launch/CompCov Parallel Client.launch
    trunk/extensions/complexcoverage/launch/CompCov Parallel Manager Testfile.launch
    trunk/extensions/complexcoverage/launch/CompCov TestFun Measure Reduced.launch
    trunk/extensions/complexcoverage/launch/CompCov TestFun Normal.launch
    trunk/extensions/complexcoverage/launch/CompCov TestFun Reduce.launch
    trunk/extensions/complexcoverage/launch/CompCov TestFun Run Reduced Test #0.launch
    trunk/extensions/complexcoverage/launch/CompCov TestFun SimpleCoverage.launch
    trunk/extensions/complexcoverage/launch/CompCov TestFun Symbolic.launch
    trunk/extensions/complexcoverage/launch/CompCov TreeMap Symbolic.launch

Removed Paths:
-------------
    trunk/extensions/complexcoverage/launch/ComplexCoverage BinTree Symbolic.launch
    trunk/extensions/complexcoverage/launch/ComplexCoverage BinomialHeap Symbolic.launch
    trunk/extensions/complexcoverage/launch/ComplexCoverage DoubleTest Normal.launch
    trunk/extensions/complexcoverage/launch/ComplexCoverage FibHeap Symbolic.launch
    trunk/extensions/complexcoverage/launch/ComplexCoverage MultiProcess JPF.launch
    trunk/extensions/complexcoverage/launch/ComplexCoverage TestFun Measure Reduced.launch
    trunk/extensions/complexcoverage/launch/ComplexCoverage TestFun Normal.launch
    trunk/extensions/complexcoverage/launch/ComplexCoverage TestFun Reduce.launch
    trunk/extensions/complexcoverage/launch/ComplexCoverage TestFun Run Reduced Test #0.launch
    trunk/extensions/complexcoverage/launch/ComplexCoverage TestFun SimpleCoverage.launch
    trunk/extensions/complexcoverage/launch/ComplexCoverage TestFun Symbolic.launch
    trunk/extensions/complexcoverage/launch/ComplexCoverage TreeMap Symbolic.launch


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1644] trunk/extensions/complexcoverage

From: <st...@us...> - 2009-06-17 20:08:08

Revision: 1644
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1644&view=rev
Author:   staats
Date:     2009-06-17 20:08:07 +0000 (Wed, 17 Jun 2009)

Log Message:
-----------


Modified Paths:
--------------
    trunk/extensions/complexcoverage/bin/jpf-parallel-client
    trunk/extensions/complexcoverage/bin/jpf-parallel-server
    trunk/extensions/complexcoverage/launch/CompCov Parallel Client.launch
    trunk/extensions/complexcoverage/launch/CompCov Parallel Manager Testfile.launch
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/JPFManager.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/JPFManagerInterface.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/RemoteJPF.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/StartJPFManager.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/TestFile.java


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1661] trunk/extensions/complexcoverage

From: <st...@us...> - 2009-06-18 21:38:11

Revision: 1661
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1661&view=rev
Author:   staats
Date:     2009-06-18 21:38:04 +0000 (Thu, 18 Jun 2009)

Log Message:
-----------


Modified Paths:
--------------
    trunk/extensions/complexcoverage/launch/CompCov Parallel Manager Testfile.launch
    trunk/extensions/complexcoverage/launch/CompCov TestFun Normal.launch
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/LocalMultiReceiver.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/ReceiveRemoteOutput.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/RemoteJPF.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/SendRemoteOutput.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/StartJPFManager.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/TestFile.java


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1662] trunk/extensions/complexcoverage

From: <st...@us...> - 2009-06-19 02:15:49

Revision: 1662
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1662&view=rev
Author:   staats
Date:     2009-06-19 00:37:48 +0000 (Fri, 19 Jun 2009)

Log Message:
-----------


Modified Paths:
--------------
    trunk/extensions/complexcoverage/launch/CompCov Parallel Manager Testfile.launch
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/DebugListener.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/JPF_gov_nasa_jpf_complexcoverage_Debug.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/mcdc/MCDCCoveragePrinter.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/JPFManagerInterface.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/LocalJPFManager.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/ReceiveRemoteOutput.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/RemoteJPF.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/SendRemoteOutput.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/StartJPFManager.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/StoredFile.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/TestFile.java

Added Paths:
-----------
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/DebugListenerInterface.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/LocalJPFListener.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/MCDCTracker.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/MCDCTrackerRemote.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/RemoteJPFListener.java


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1664] trunk/extensions/complexcoverage

From: <st...@us...> - 2009-06-19 06:35:34

Revision: 1664
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1664&view=rev
Author:   staats
Date:     2009-06-19 06:35:33 +0000 (Fri, 19 Jun 2009)

Log Message:
-----------


Modified Paths:
--------------
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/DebugListener.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/GenericTestSuiteListener.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/JPF_gov_nasa_jpf_complexcoverage_Debug.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/LocalJPFManager.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/MCDCTracker.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/MCDCTrackerRemote.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/ReceiveRemoteOutput.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/RemoteJPF.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/StoredFile.java

Added Paths:
-----------
    trunk/extensions/complexcoverage/launch/CompCov Parallel Manager Testfile MCDC.launch
    trunk/extensions/complexcoverage/launch/CompCov Parallel Manager Testfile SendOutput.launch


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1668] trunk/extensions/complexcoverage

From: <st...@us...> - 2009-06-20 02:27:43

Revision: 1668
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1668&view=rev
Author:   staats
Date:     2009-06-20 02:27:42 +0000 (Sat, 20 Jun 2009)

Log Message:
-----------


Modified Paths:
--------------
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/MCDCTracker.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/MCDCTrackerRemote.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/RemoteJPFSender.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/multicore/MultiProcessJPF.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/TestFile.java


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1671] trunk/extensions/complexcoverage

From: <st...@us...> - 2009-06-22 22:34:18

Revision: 1671
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1671&view=rev
Author:   staats
Date:     2009-06-22 22:34:12 +0000 (Mon, 22 Jun 2009)

Log Message:
-----------
changed test suite format

Modified Paths:
--------------
    trunk/extensions/complexcoverage/launch/CompCov TestFun Normal.launch
    trunk/extensions/complexcoverage/launch/CompCov TestFun Reduce.launch
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/DebugListener.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/DebugListenerInterface.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/GenericTestSuiteListener.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/JPF_gov_nasa_jpf_complexcoverage_Debug.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/mcdc/MeasureTestSuiteByMCDC.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/mcdc/MeasureTestSuiteByMCDCListener.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/mcdc/ReduceTestSuiteByMCDC.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/mcdc/ReduceTestSuiteByMCDCListener.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/MCDCTrackerRemote.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/TestFile.java

Added Paths:
-----------
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/TestSuiteNew.java


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1690] trunk/extensions/complexcoverage

From: <st...@us...> - 2009-06-25 23:36:57

Revision: 1690
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1690&view=rev
Author:   staats
Date:     2009-06-25 23:36:23 +0000 (Thu, 25 Jun 2009)

Log Message:
-----------
Added concretize heuristic

Modified Paths:
--------------
    trunk/extensions/complexcoverage/launch/CompCov Parallel Client.launch
    trunk/extensions/complexcoverage/launch/CompCov TestFun Normal.launch
    trunk/extensions/complexcoverage/launch/CompCov TestFun Symbolic.launch
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/JPF_gov_nasa_jpf_complexcoverage_Debug.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/choice/SymbolicChoiceGenerator.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/heuristic/SymbolicSearchHeuristicBase.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/TestFile.java

Added Paths:
-----------
    trunk/extensions/complexcoverage/launch/CompCov TestFun Symbolic Concretize.launch
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/heuristic/ConcretizeVariables.java


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1694] trunk/extensions/complexcoverage

From: <st...@us...> - 2009-06-26 05:57:00

Revision: 1694
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1694&view=rev
Author:   staats
Date:     2009-06-26 05:56:58 +0000 (Fri, 26 Jun 2009)

Log Message:
-----------
fixed bugs in concretization heuristic

Modified Paths:
--------------
    trunk/extensions/complexcoverage/launch/CompCov TestFun Normal.launch
    trunk/extensions/complexcoverage/launch/CompCov TestFun Symbolic Concretize.launch
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/JPF_gov_nasa_jpf_complexcoverage_Debug.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/StartJPFManager.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/ASWMainClass.java

Added Paths:
-----------
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/evaluation/
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/evaluation/EvaluateParallelGeneration.java


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1742] trunk/extensions/complexcoverage

From: <st...@us...> - 2009-07-10 01:09:39

Revision: 1742
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1742&view=rev
Author:   staats
Date:     2009-07-10 01:09:35 +0000 (Fri, 10 Jul 2009)

Log Message:
-----------
added experiment launch scripts

Modified Paths:
--------------
    trunk/extensions/complexcoverage/launch/CompCov Parallel Manager Testfile MCDC.launch
    trunk/extensions/complexcoverage/launch/CompCov TestFun Normal.launch
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/StartJPFManager.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/ASWMainClass.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/TestFile.java

Added Paths:
-----------
    trunk/extensions/complexcoverage/bin/jpf-parallel-multicore
    trunk/extensions/complexcoverage/bin/launch-parallel-experiment.py
    trunk/extensions/complexcoverage/launch/CompCov Parallel Manager ASW MCDC.launch


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1747] trunk/extensions/complexcoverage

From: <st...@us...> - 2009-07-11 00:54:36

Revision: 1747
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1747&view=rev
Author:   staats
Date:     2009-07-11 00:54:27 +0000 (Sat, 11 Jul 2009)

Log Message:
-----------
Add CPU usage based timeout and debug time info

Modified Paths:
--------------
    trunk/extensions/complexcoverage/launch/CompCov Parallel Manager Testfile.launch
    trunk/extensions/complexcoverage/launch/CompCov TestFun Measure Reduced.launch
    trunk/extensions/complexcoverage/launch/CompCov TestFun SimpleCoverage.launch
    trunk/extensions/complexcoverage/launch/CompCov TestFun Symbolic.launch
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/JPF_gov_nasa_jpf_complexcoverage_Debug.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/LocalJPFManager.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/RemoteJPF.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/StartJPFManager.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/TestFile.java


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1752] trunk/extensions/complexcoverage

From: <st...@us...> - 2009-07-12 03:27:52

Revision: 1752
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1752&view=rev
Author:   staats
Date:     2009-07-12 03:27:44 +0000 (Sun, 12 Jul 2009)

Log Message:
-----------
Updated experimental scripts

Modified Paths:
--------------
    trunk/extensions/complexcoverage/launch/CompCov Parallel Client.launch
    trunk/extensions/complexcoverage/launch/CompCov Parallel Manager ASW MCDC.launch
    trunk/extensions/complexcoverage/launch/CompCov Parallel Manager Testfile.launch
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/RemoteJPF.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/TestFile.java


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1753] trunk/extensions/complexcoverage

From: <st...@us...> - 2009-07-12 06:50:28

Revision: 1753
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1753&view=rev
Author:   staats
Date:     2009-07-12 06:50:22 +0000 (Sun, 12 Jul 2009)

Log Message:
-----------
Ready to run experiments. :)

Modified Paths:
--------------
    trunk/extensions/complexcoverage/bin/launch-parallel-experiment.py
    trunk/extensions/complexcoverage/launch/CompCov TestFun Symbolic Concretize.launch
    trunk/extensions/complexcoverage/launch/CompCov TestFun Symbolic PathConstraint.launch
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/heuristic/ReorderingSymbolicSearch.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/ASWMainClass.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/asw.java

Added Paths:
-----------
    trunk/extensions/complexcoverage/bin/asw-concretize-config.txt
    trunk/extensions/complexcoverage/bin/asw-random-config.txt
    trunk/extensions/complexcoverage/bin/asw-reorder-config.txt
    trunk/extensions/complexcoverage/bin/asw-trim-config.txt


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1754] trunk/extensions/complexcoverage

From: <st...@us...> - 2009-07-13 05:27:52

Revision: 1754
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1754&view=rev
Author:   staats
Date:     2009-07-13 05:27:47 +0000 (Mon, 13 Jul 2009)

Log Message:
-----------
More experiments

Modified Paths:
--------------
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/RemoteJPF.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/BinTree.java

Added Paths:
-----------
    trunk/extensions/complexcoverage/bin/bintree-concretize-config.txt
    trunk/extensions/complexcoverage/bin/bintree-random-config.txt
    trunk/extensions/complexcoverage/bin/bintree-reorder-config.txt
    trunk/extensions/complexcoverage/bin/bintree-trim-config.txt


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1757] trunk/extensions/complexcoverage

From: <st...@us...> - 2009-07-13 23:39:22

Revision: 1757
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1757&view=rev
Author:   staats
Date:     2009-07-13 23:39:19 +0000 (Mon, 13 Jul 2009)

Log Message:
-----------
More experiments to run

Modified Paths:
--------------
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/FibHeap.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/FibHeapNode.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/TreeMap.java

Added Paths:
-----------
    trunk/extensions/complexcoverage/bin/fibheap-concretize-config.txt
    trunk/extensions/complexcoverage/bin/fibheap-random-config.txt
    trunk/extensions/complexcoverage/bin/fibheap-reorder-config.txt
    trunk/extensions/complexcoverage/bin/fibheap-trim-config.txt
    trunk/extensions/complexcoverage/bin/treemap-concretize-config.txt
    trunk/extensions/complexcoverage/bin/treemap-random-config.txt
    trunk/extensions/complexcoverage/bin/treemap-reorder-config.txt
    trunk/extensions/complexcoverage/bin/treemap-trim-config.txt


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1760] trunk/extensions/complexcoverage

From: <st...@us...> - 2009-07-15 00:03:18

Revision: 1760
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1760&view=rev
Author:   staats
Date:     2009-07-15 00:03:09 +0000 (Wed, 15 Jul 2009)

Log Message:
-----------
added even more experiments

Modified Paths:
--------------
    trunk/extensions/complexcoverage/bin/asw-concretize-config.txt
    trunk/extensions/complexcoverage/bin/bintree-concretize-config.txt
    trunk/extensions/complexcoverage/bin/fibheap-concretize-config.txt
    trunk/extensions/complexcoverage/bin/launch-parallel-experiment.py
    trunk/extensions/complexcoverage/bin/treemap-concretize-config.txt
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/heuristic/ConcretizeVariables.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/RemoteJPF.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/BinomialHeap.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/FibHeap.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/TreeMap.java

Added Paths:
-----------
    trunk/extensions/complexcoverage/bin/asw-constrain-config.txt
    trunk/extensions/complexcoverage/bin/binheap-concretize-config.txt
    trunk/extensions/complexcoverage/bin/binheap-random-config.txt
    trunk/extensions/complexcoverage/bin/binheap-reorder-config.txt
    trunk/extensions/complexcoverage/bin/binheap-trim-config.txt


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.

1 2 3 > >> (Page 1 of 3)