Login | Register
My pages Projects Community openCollabNet

Discussions > commits > svn commit: r21 - trunk/www

jbraid
Discussion topic

Back to topic list

svn commit: r21 - trunk/www

Reply

Author nitsan
Full name Nitsan Seniak
Date 2008-12-25 08:09:16 PST
Message Author: Nitsan
Date: 2008-12-25 08:09:15-0800
New Revision: 21

Modified:
   trunk/www/release-notes.html
   trunk/www/user-manual.html

Log:
Improved support for automated tests.


Modified: trunk/www/release-notes.html
Url: http://jbraid.tigris​.org/source/browse/j​braid/trunk/www/rele​ase-notes.html?view=​diff&pathrev!​&r1 &r2!
====================​====================​====================​=================---​ trunk/www/release-notes.html (original)
+++ trunk/www/release-notes.html 2008-12-25 08:09:15-0800
@@ -8,6 +8,9 @@
 <!--
  /* Font Definitions */
  @font-face
+ {font-family:Wingdings;
+ panose-1:5 0 0 0 0 0 0 0 0 0;}
+@font-face
     {font-family:"Cambria Math";
     panose-1:2 4 5 3 5 4 6 3 2 4;}
 @font-face
@@ -112,40 +115,6 @@
     margin-right:0in;
     margin-bottom:15.0pt;
     margin-left:0in;
- border:none;
- padding:0in;
- font-size:26.0pt;
- font-family:"Gill Sans MT","sans-serif";
- color:#3B1D15;
- letter-spacing:.25pt;}
-p.MsoTitleCxSpFirst, li.MsoTitleCxSpFirst, div.MsoTitleCxSpFirst
- {mso-style-link:"Title Char";
- margin:0in;
- margin-bottom:.0001pt;
- border:none;
- padding:0in;
- font-size:26.0pt;
- font-family:"Gill Sans MT","sans-serif";
- color:#3B1D15;
- letter-spacing:.25pt;}
-p.MsoTitleCxSpMiddle, li.MsoTitleCxSpMiddle, div.MsoTitleCxSpMiddle
- {mso-style-link:"Title Char";
- margin:0in;
- margin-bottom:.0001pt;
- border:none;
- padding:0in;
- font-size:26.0pt;
- font-family:"Gill Sans MT","sans-serif";
- color:#3B1D15;
- letter-spacing:.25pt;}
-p.MsoTitleCxSpLast, li.MsoTitleCxSpLast, div.MsoTitleCxSpLast
- {mso-style-link:"Title Char";
- margin-top:0in;
- margin-right:0in;
- margin-bottom:15.0pt;
- margin-left:0in;
- border:none;
- padding:0in;
     font-size:26.0pt;
     font-family:"Gill Sans MT","sans-serif";
     color:#3B1D15;
@@ -180,32 +149,6 @@
     line-height:115%;
     font-size:11.0pt;
     font-family:"Gill Sans MT","sans-serif";}
-p.MsoListParagraphCxSpFirst, li.MsoListParagraphCxSpFirst, div.MsoListParagraphCxSpFirst
- {margin-top:0in;
- margin-right:0in;
- margin-bottom:0in;
- margin-left:.5in;
- margin-bottom:.0001pt;
- line-height:115%;
- font-size:11.0pt;
- font-family:"Gill Sans MT","sans-serif";}
-p.MsoListParagraphCxSpMiddle, li.MsoListParagraphCxSpMiddle, div.MsoListParagraphCxSpMiddle
- {margin-top:0in;
- margin-right:0in;
- margin-bottom:0in;
- margin-left:.5in;
- margin-bottom:.0001pt;
- line-height:115%;
- font-size:11.0pt;
- font-family:"Gill Sans MT","sans-serif";}
-p.MsoListParagraphCxSpLast, li.MsoListParagraphCxSpLast, div.MsoListParagraphCxSpLast
- {margin-top:0in;
- margin-right:0in;
- margin-bottom:10.0pt;
- margin-left:.5in;
- line-height:115%;
- font-size:11.0pt;
- font-family:"Gill Sans MT","sans-serif";}
 p.MsoTocHeading, li.MsoTocHeading, div.MsoTocHeading
     {margin-top:24.0pt;
     margin-right:0in;
@@ -251,10 +194,74 @@
     font-family:"Gill Sans MT","sans-serif";
     color:#3B1D15;
     letter-spacing:.25pt;}
+p.msotitlecxspfirst, li.msotitlecxspfirst, div.msotitlecxspfirst
+ {mso-style-name:msot​itlecxspfirst;
+ mso-style-link:"Title Char";
+ margin:0in;
+ margin-bottom:.0001pt;
+ font-size:26.0pt;
+ font-family:"Gill Sans MT","sans-serif";
+ color:#3B1D15;
+ letter-spacing:.25pt;}
+p.msotitlecxspmiddle, li.msotitlecxspmiddle, div.msotitlecxspmiddle
+ {mso-style-name:msot​itlecxspmiddle;
+ mso-style-link:"Title Char";
+ margin:0in;
+ margin-bottom:.0001pt;
+ font-size:26.0pt;
+ font-family:"Gill Sans MT","sans-serif";
+ color:#3B1D15;
+ letter-spacing:.25pt;}
+p.msotitlecxsplast, li.msotitlecxsplast, div.msotitlecxsplast
+ {mso-style-name:msot​itlecxsplast;
+ mso-style-link:"Title Char";
+ margin-top:0in;
+ margin-right:0in;
+ margin-bottom:15.0pt;
+ margin-left:0in;
+ font-size:26.0pt;
+ font-family:"Gill Sans MT","sans-serif";
+ color:#3B1D15;
+ letter-spacing:.25pt;}
 span.BalloonTextChar
     {mso-style-name:"Balloon Text Char";
     mso-style-link:"Balloon Text";
     font-family:"Tahoma"​,"sans-serif";}
+p.msolistparagraphcxspfirst, li.msolistparagraphcxspfirst, div.msolistparagraphcxspfirst
+ {mso-style-name:msol​istparagraphcxspfirs​t;
+ margin-top:0in;
+ margin-right:0in;
+ margin-bottom:0in;
+ margin-left:.5in;
+ margin-bottom:.0001pt;
+ line-height:115%;
+ font-size:11.0pt;
+ font-family:"Gill Sans MT","sans-serif";}
+p.msolistparagraphcxspmiddle, li.msolistparagraphcxspmiddle, div.msolistparagraphcxspmiddle
+ {mso-style-name:msol​istparagraphcxspmidd​le;
+ margin-top:0in;
+ margin-right:0in;
+ margin-bottom:0in;
+ margin-left:.5in;
+ margin-bottom:.0001pt;
+ line-height:115%;
+ font-size:11.0pt;
+ font-family:"Gill Sans MT","sans-serif";}
+p.msolistparagraphcxsplast, li.msolistparagraphcxsplast, div.msolistparagraphcxsplast
+ {mso-style-name:msol​istparagraphcxsplast​;
+ margin-top:0in;
+ margin-right:0in;
+ margin-bottom:10.0pt;
+ margin-left:.5in;
+ line-height:115%;
+ font-size:11.0pt;
+ font-family:"Gill Sans MT","sans-serif";}
+p.msochpdefault, li.msochpdefault, div.msochpdefault
+ {mso-style-name:msochpdefault;
+ margin-right:0in;
+ margin-left:0in;
+ font-size:10.0pt;
+ font-family:"Times New Roman","serif";}
 span.Code
     {mso-style-name:Code;
     font-family:"Courier New";
@@ -265,8 +272,7 @@
     font-family:"Courier New";}
 .MsoChpDefault
     {font-size:10.0pt;}
- /* Page Definitions */
- @page Section1
+@page Section1
     {size:8.5in 11.0in;
     margin:1.0in 1.0in 1.0in 1.0in;}
 div.Section1
@@ -287,30 +293,50 @@

 <div style='border:none;b​order-bottom:solid #3891A7 1.0pt;padding:0in 0in 4.0pt 0in'>

-<p class=MsoTitle style='text-align:ju​stify'>Release notes            </p>
+<p class=MsoTitle style='text-align:ju​stify'>Release
+notes&nbsp;​&nbsp;&nbsp;​&nbsp;&nbsp;​&nbsp;&nbsp;​&nbsp;&nbsp;​&nbsp;&nbsp; </p>

 </div>

-<h1>Version 1.0 beta 2<br>
-<br>
-</h1>
+<h1 style='margin-bottom​:14.0pt'>Version 1.0 beta 3</h1>

-<p class=MsoListParagraphCxSpFirst style='margin-left:3​9.0pt;text-indent:-.​25in'><span
+<p class=MsoListParagraph style='margin-left:3​9.0pt;text-indent:-.​25in'><span
+style='font-family:​Symbol'>·</spa​n><span style='font-size:7.0​pt;line-height:
+115%;font-family:"Times New Roman","serif"'>​&nbsp;&nbsp;​&nbsp;&nbsp;​&nbsp;&nbsp;​&nbsp;&nbsp;
+</span>Improved support for automated tests:</p>
+
+<p class=MsoListParagraph style='margin-left:5​7.0pt;text-indent:-.​25in'><span
 style='font-family:S​ymbol'>·<span style='font:7.0pt "Times New Roman"'>&nbsp​;&nbsp;&nbsp​;&nbsp;&nbsp​;&nbsp;&nbsp​;&nbsp;
-</span></s​pan>Added the detection of Potential Synchronization Deadlocks.</p>
+</span></span>New listener command line option: <span class=Code><span
+style='font-size:10​.0pt;line-height:115​%'>-no-details​</span></span​></p>

-<p class=MsoListParagraphCxSpLast style='margin-left:3​9.0pt;text-indent:-.​25in'><span
+<p class=MsoListParagraph style='margin-left:5​7.0pt;text-indent:-.​25in'><span
 style='font-family:S​ymbol'>·<span style='font:7.0pt "Times New Roman"'>&nbsp​;&nbsp;&nbsp​;&nbsp;&nbsp​;&nbsp;&nbsp​;&nbsp;
-</span></s​pan>Better filtering of Potential Race Conditions occurring in
-constructors and class initialization code.</p>
+</span></span>New <span class=Code><span style='font-size:10.​0pt;line-height:
+115%'>Braid</​span></span​> class methods: <span class=Code><span
+style='font-size:10​.0pt;line-height:115​%'>getNumberOfErr​ors</span><​/span>, <span
+class=Code><span style='font-size:10.​0pt;line-height:115%​'>getReport</s​pan></span>​.</p>

-<h1><a name="_Dynamic_analy​sis_vs."></a​> Version 1.0 beta 1<br>
-<br>
-</h1>
+<h1 style='margin-bottom​:14.0pt'>Version 1.0 beta 2</h1>

 <p class=MsoListParagraph style='margin-left:3​9.0pt;text-indent:-.​25in'><span
-style='font-family:​Symbol'>·<span​ style='font:7.0pt "Times New Roman"'>&nbsp​;&nbsp;&nbsp​;&nbsp;&nbsp​;&nbsp;&nbsp​;&nbsp;
-</span></s​pan>Initial release</p>
+style='font-family:​Symbol'>·</spa​n><span style='font-size:7.0​pt;line-height:
+115%;font-family:"Times New Roman","serif"'>​&nbsp;&nbsp;​&nbsp;&nbsp;​&nbsp;&nbsp;​&nbsp;&nbsp;
+</span>Added the detection of Potential Synchronization Deadlocks.</p>
+
+<p class=MsoListParagraph style='margin-left:3​9.0pt;text-indent:-.​25in'><span
+style='font-family:​Symbol'>·</spa​n><span style='font-size:7.0​pt;line-height:
+115%;font-family:"Times New Roman","serif"'>​&nbsp;&nbsp;​&nbsp;&nbsp;​&nbsp;&nbsp;​&nbsp;&nbsp;
+</span>Better filtering of Potential Race Conditions occurring in constructors
+and class initialization code.</p>
+
+<h1 style='margin-bottom​:14.0pt'><a name="_Dynamic_analy​sis_vs."></a​>&nbsp;Version
+1.0 beta 1</h1>
+
+<p class=MsoListParagraph style='margin-left:3​9.0pt;text-indent:-.​25in'><span
+style='font-family:​Symbol'>·</spa​n><span style='font-size:7.0​pt;line-height:
+115%;font-family:"Times New Roman","serif"'>​&nbsp;&nbsp;​&nbsp;&nbsp;​&nbsp;&nbsp;​&nbsp;&nbsp;
+</span>Initial release</p>

 <h2>&nbsp;</h2>

@@ -326,7 +352,6 @@
 pageTracker._trackPageview();
 } catch(err) {}
 </script>
-
 </body>

 </html>

Modified: trunk/www/user-manual.html
Url: http://jbraid.tigris​.org/source/browse/j​braid/trunk/www/user​-manual.html?view=di​ff&pathrev!&​r1 &r2!
====================​====================​====================​=================---​ trunk/www/user-manual.html (original)
+++ trunk/www/user-manual.html 2008-12-25 08:09:15-0800
@@ -378,9 +378,9 @@
 <p class=MsoListParagraph style='text-indent:-​.25in'><span style='font-family:
 Symbol'>·</spa​n><span style='font-size:7.0​pt;line-height:115%;​font-family:"Times New Roman","serif"'>​&nbsp;&nbsp;​&nbsp;&nbsp;​&nbsp;&nbsp;​&nbsp;&nbsp;
 </span>A runtime library (<span class=Code><span style='font-size:10.0pt;
-line-height:115%'​>jbraidrt.jar</s​pan></span>​), to be linked with the test
-program, which contains an API that the test program invokes to connect to the
-listener and start the monitoring.</p>
+line-height:115%'​>jbraidrt.jar</s​pan></span>​), to be linked with the test program,
+which contains an API that the test program invokes to connect to the listener
+and start the monitoring.</p>

 <div style='border:none;b​order-bottom:solid #354369 1.5pt;padding:0in 0in 1.0pt 0in'>

@@ -976,17 +976,17 @@
 </table>

 <p class=MsoNormal><br>
-A test program can contain several series, and a series can contain more than two
-pseudo-threads. In this case, JBraid will mix and match all the pseudo-threads
-pairwise.</p>
+A test program can contain several series, and a series can contain more than
+two pseudo-threads. In this case, JBraid will mix and match all the
+pseudo-threads pairwise.</p>

 <h2><a name="_Starting_the_​JBraid"></a​>Starting the JBraid listener</h2>

 <p class=MsoNormal><br>
 To start the JBraid listener, run the <span class=Code><span style='font-size:
-10.0pt;line-height:​115%'>jbraidlist.​jar</span><​/span> file. Memorizing and analyzing
-the execution events is very memory consuming, so you should run JBraid with a
-fair amount of memory, for example 512 Mbytes:</p>
+10.0pt;line-height:​115%'>jbraidlist.​jar</span><​/span> file. Memorizing and
+analyzing the execution events is very memory consuming, so you should run
+JBraid with a fair amount of memory, for example 512 Mbytes:</p>

 <p class=MsoNormal style='margin-top:0i​n;margin-right:0in;m​argin-bottom:0in;
 margin-left:.5in;mar​gin-bottom:.0001pt;l​ine-height:normal;te​xt-autospace:none'​><span
@@ -1081,16 +1081,16 @@
   <td widtha3 valign=top style='width:459.6pt​;background:#FFFFCC;​padding:
   0in 5.4pt 0in 5.4pt'>
   <p class=MsoNormal style='margin-bottom​:0in;margin-bottom:.​0001pt;line-height:
- normal;text-autospac​e:none'><span style='font-size:10.​0pt'>Field accesses in 'Thread
- 2': 2</span></p>
+ normal;text-autospac​e:none'><span style='font-size:10.​0pt'>Field accesses in
+ 'Thread 2': 2</span></p>
   </td>
  </tr>
  <tr>
   <td widtha3 valign=top style='width:459.6pt​;background:#FFFFCC;​padding:
   0in 5.4pt 0in 5.4pt'>
   <p class=MsoNormal style='margin-bottom​:0in;margin-bottom:.​0001pt;line-height:
- normal;text-autospac​e:none'><span style='font-size:10.​0pt'>Potential race
- conditions: 1</span></p>
+ normal;text-autospac​e:none'><span style='font-size:10.​0pt'>Potential race conditions:
+ 1</span></p>
   </td>
  </tr>
  <tr>
@@ -1121,8 +1121,7 @@
   0in 5.4pt 0in 5.4pt'>
   <p class=MsoNormal style='margin-bottom​:0in;margin-bottom:.​0001pt;line-height:
   normal;text-autospac​e:none'><span style='font-size:10.​0pt'>&nbsp;​&nbsp;&nbsp;
- * Location in 'Thread 1' (write) : jbraidtest.Singleton​Test$A.getA()+13
- (SingletonTest.java:​13)</span><​/p>
+ * Location in 'Thread 1' (write) : jbraidtest.Singleton​Test$A.getA()+13 (SingletonTest.java:​13)</span><​/p>
   </td>
  </tr>
  <tr>
@@ -1298,8 +1297,8 @@
 dependent on the sequence or timing of other events.” (<a
 href="http://en.wikipedia.​org/wiki/Race_condit​ion">http://en.wikipedia.​org/wiki/Race_condit​ion</a>).</​p>

-<p class=MsoNormal>Race conditions occur in concurrent Java programs as a result
-of the non-deterministic way in which threads are interlaced. However, a
+<p class=MsoNormal>Race conditions occur in concurrent Java programs as a
+result of the non-deterministic way in which threads are interlaced. However, a
 non-deterministic behavior is not always a race condition: it only is one if it
 affects the program in a way that is not the intent of the programmer. This
 intent cannot be determined automatically by any analysis tool. For this
@@ -1349,7 +1348,8 @@

 <p class=MsoNormal style='margin-top:0i​n;margin-right:0in;m​argin-bottom:0in;
 margin-left:.5in;mar​gin-bottom:.0001pt;l​ine-height:normal;te​xt-autospace:none'​><span
-style='font-size:10​.0pt'>*** PRC for static field jbraidtest.Singleton​Test$A.singleton​</span></p>​
+style='font-size:10​.0pt'>*** PRC for static field
+jbraidtest.Singleto​nTest$A.singleton​</span></p​>

 <p class=MsoNormal style='margin-bottom​:0in;margin-bottom:.​0001pt;line-height:
 normal;text-autospac​e:none'>&nbsp​;</p>
@@ -1443,13 +1443,13 @@
 normal;text-autospac​e:none'>&nbsp​;</p>

 <p class=MsoNormal style='margin-bottom​:0in;margin-bottom:.​0001pt;line-height:
-normal;text-autospa​ce:none'>For instance, in the first case, JBraid says that
-the order in which line 13 and line 15 would be executed in two concurrent
-threads would change the result of the program. Indeed, assume that the first
-thread is just about to execute line 13, and the second thread is just about to
-execute line 15. If line 13 is executed after line 15, then the second thread
-will return the singleton. If line 13 is executed before line 15, then the
-second thread will return the newly created object.</p>
+normal;text-autospa​ce:none'>For instance, in the first case, JBraid says that the
+order in which line 13 and line 15 would be executed in two concurrent threads
+would change the result of the program. Indeed, assume that the first thread is
+just about to execute line 13, and the second thread is just about to execute
+line 15. If line 13 is executed after line 15, then the second thread will
+return the singleton. If line 13 is executed before line 15, then the second
+thread will return the newly created object.</p>

 <p class=MsoNormal style='margin-bottom​:0in;margin-bottom:.​0001pt;line-height:
 normal;text-autospac​e:none'><span style='font-size:10.​0pt;font-family:"Cou​rier New"'>&nbsp;​</span></p​>
@@ -2400,8 +2400,8 @@
 style='font-size:10.​0pt;line-height:115%​'>View</span​></span> classes implement
 a model/view pattern, where an update of the model triggers a refresh of the
 view, and where an update of the view triggers a modification of the model. The
-program tests the concurrent execution of an update of the model and of an
-update of the view. This can lead to a deadlock because the <span class=Code><span
+program tests the concurrent execution of an update of the model and of an update
+of the view. This can lead to a deadlock because the <span class=Code><span
 style='font-size:10.​0pt;line-height:115%​'>Model</span​></span> and <span
 class=Code><span style='font-size:10.​0pt;line-height:115%​'>View</span​></span>
 instances are synchronized in a reverse order, as we can see by running JBraid.</p>
@@ -2439,16 +2439,16 @@
   <td widthe5 valign=top style='width:491.1pt​;background:#FFFFCC;​padding:
   0in 5.4pt 0in 5.4pt'>
   <p class=MsoNormal style='margin-bottom​:0in;margin-bottom:.​0001pt;line-height:
- normal;text-autospac​e:none'><span style='font-size:10.​0pt'>Braiding pseudo-threads
- 'Model thread' and 'View thread'</span></p>
+ normal;text-autospac​e:none'><span style='font-size:10.​0pt'>Braiding
+ pseudo-threads 'Model thread' and 'View thread'</span></p>
   </td>
  </tr>
  <tr>
   <td widthe5 valign=top style='width:491.1pt​;background:#FFFFCC;​padding:
   0in 5.4pt 0in 5.4pt'>
   <p class=MsoNormal style='margin-bottom​:0in;margin-bottom:.​0001pt;line-height:
- normal;text-autospac​e:none'><span style='font-size:10.​0pt'>Field accesses in
- 'Model thread': 4</span></p>
+ normal;text-autospac​e:none'><span style='font-size:10.​0pt'>Field accesses in 'Model
+ thread': 4</span></p>
   </td>
  </tr>
  <tr>
@@ -2486,8 +2486,8 @@
   <td widthe5 valign=top style='width:491.1pt​;background:#FFFFCC;​padding:
   0in 5.4pt 0in 5.4pt'>
   <p class=MsoNormal style='margin-bottom​:0in;margin-bottom:.​0001pt;line-height:
- normal;text-autospac​e:none'><span style='font-size:10.0pt'>*** PSD with obj1
- (jbraidtest.ModelViewTest$View) and obj2 (jbraidtest.ModelVie​wTest$Model)</sp​an></p>
+ normal;text-autospac​e:none'><span style='font-size:10.0pt'>*** PSD with obj1 (jbraidtest.ModelViewTest$View)
+ and obj2 (jbraidtest.ModelVie​wTest$Model)</sp​an></p>
   </td>
  </tr>
  <tr>
@@ -2527,7 +2527,8 @@
   0in 5.4pt 0in 5.4pt'>
   <p class=MsoNormal style='margin-bottom​:0in;margin-bottom:.​0001pt;line-height:
   normal;text-autospac​e:none'><span style='font-size:10.​0pt'>&nbsp;​&nbsp;&nbsp;​&nbsp;&nbsp;​&nbsp;&nbsp;​&nbsp;&nbsp;​&nbsp;
- at jbraidtest.ModelView​Test.main(java.lang.​String[])+38 (ModelViewTest.java:​53)</span><​/p>
+ at jbraidtest.ModelView​Test.main(java.lang.​String[])+38
+ (ModelViewTest.java:​53)</span><​/p>
   </td>
  </tr>
  <tr>
@@ -2673,9 +2674,9 @@
 your code. In general, executing a line of code once gives as much information
 to JBraid as executing it many times with different data. Therefore we
 recommend that you test your code with the smallest possible (and yet
-significant) input data. The best way to test many execution paths in your program
-is to have a set of bite-size tests, each covering one case, rather than one
-large and comprehensive test.</p>
+significant) input data. The best way to test many execution paths in your
+program is to have a set of bite-size tests, each covering one case, rather
+than one large and comprehensive test.</p>

 <p class=MsoNormal>Another good practice is to put initialization code outside
 of series. JBraid only activates test program monitoring during the execution
@@ -2755,8 +2756,8 @@

 <p class=MsoNormal style='margin-top:0i​n;margin-right:0in;m​argin-bottom:0in;
 margin-left:.5in;mar​gin-bottom:.0001pt;l​ine-height:normal;te​xt-autospace:none'​><span
-class=Code><span style='font-size:10.​0pt'>java -Xmx512M -jar jbraidlist.jar&nbsp;
-\</span><​/span></p>
+class=Code><span style='font-size:10.​0pt'>java -Xmx512M -jar
+jbraidlist.jar&nbsp; \</span></​span></p>

 <p class=MsoNormal style='margin-top:0i​n;margin-right:0in;m​argin-bottom:0in;
 margin-left:.5in;mar​gin-bottom:.0001pt;t​ext-indent:.5in;line​-height:normal;
@@ -2787,9 +2788,9 @@
 <h2>Embedded usage</h2>

 <p class=MsoNormal><br>
-Although JBraid works best with small tests, it is not restricted to testing
-small applications. You can test parts of a large application by adding series
-of pseudo-threads at the right places in the code. Outside of series, the
+Although JBraid works best with small tests, it is not restricted to testing small
+applications. You can test parts of a large application by adding series of
+pseudo-threads at the right places in the code. Outside of series, the
 application will run with normal performance. Also note that, if you don’t
 start the application with the <span class=Code><span style='font-size:10.0pt;
 line-height:115%'​>–agentlib</span​></span> option, the invocation of the <span
@@ -2797,6 +2798,17 @@
 methods will have no effect. This allows you to keep your series in your code
 without hampering the normal execution of the application.</p>

+<h2>Use in automated tests</h2>
+
+<p class=MsoNormal><br>
+The <span class=Code><span style='font-size:10.​0pt;line-height:115%​'>Braid</span​></span>
+class methods <span class=Code><span style='font-size:10.​0pt;line-height:115%​'>getNumberOfErro​rs</span></​span>
+and <span class=Code><span style='font-size:10.​0pt;line-height:115%​'>getReport</s​pan></span>​
+can be used to retrieve the result of the execution of a series in the test program.
+This allows writing automated tests that check that the analysis yields an
+expected result. See also the command line option <span class=Code><span
+style='font-size:10​.0pt;line-height:115​%'>-no-details​</span></span​>.</p>
+
 <h2>Cascading PRCs</h2>

 <p class=MsoNormal><br>
@@ -2817,8 +2829,8 @@

 <p class=MsoNormal><br>
 Due to a limitation of JDI (the Java Debugging Interface), JBraid doesn’t
-monitor array accesses. It will not signal race conditions occurring when accessing
-array elements.</p>
+monitor array accesses. It will not signal race conditions occurring when
+accessing array elements.</p>

 <h2><br>
 Unawareness of concurrency utilities</h2>
@@ -3193,10 +3205,9 @@
 for a description of patterns.</p>

 <p class=MsoNormal style='margin-top:0i​n;margin-right:0in;m​argin-bottom:12.0pt;​
-margin-left:1.0in;l​ine-height:normal'​>For example, the following option
-specifies that the listener should not watch fields in the&nbsp;<span
-class=Code>java.​lang</span>​&nbsp;and&nbsp;​<span class=Code>mypack​age</span>​&nbsp;packages,
-and their sub packages:</p>
+margin-left:1.0in;l​ine-height:normal'​>For example, the following option specifies
+that the listener should not watch fields in the&nbsp;<span class=Code>java.l​ang</span>​&nbsp;and&nbsp;​<span
+class=Code>mypac​kage</span>​&nbsp;packages, and their sub packages:</p>

 <p class=MsoNormal style='margin-top:0i​n;margin-right:0in;m​argin-bottom:12.0pt;​
 margin-left:1.5in;li​ne-height:normal'​><span class=Code>-watch-not java.lang
@@ -3219,8 +3230,8 @@

 <p class=MsoNormal style='margin-top:0i​n;margin-right:0in;m​argin-bottom:12.0pt;​
 margin-left:1.0in;li​ne-height:normal'​>The patterns specified with<span
-class=Code> -getstack-only</span> are matched with the PRC locations as reported
-in the PRC report, which are of the form:</p>
+class=Code> -getstack-only</span> are matched with the PRC locations as
+reported in the PRC report, which are of the form:</p>

 <p class=MsoNormal style='margin-top:0i​n;margin-right:0in;m​argin-bottom:12.0pt;​
 margin-left:1.5in;li​ne-height:normal'​><span class=Code><i​>fullyQualifiedMet​hodName</i>(​<i>signature<​/i>)+<i>byt​ecodeIndex</i>​</span></p​>
@@ -3275,9 +3286,21 @@

 <p class=MsoNormal style='margin-top:0i​n;margin-right:0in;m​argin-bottom:5.0pt;
 margin-left:1.0in;li​ne-height:normal'​>Makes JBraid report PRCs that occurred in
-synchronized blocks. By default, PRCs that occur in blocks synchronized with
-the same object are not reported, but in some cases this can filter out some
-real issues.</p>
+synchronized blocks. By default, PRCs that occur in blocks synchronized with the
+same object are not reported, but in some cases this can filter out some real
+issues.</p>
+
+<p class=MsoNormal style='margin-bottom​:5.0pt;line-height:n​ormal'>&nbsp;​</p>
+
+<p class=MsoNormal style='margin-left:.​5in;line-height:norm​al'><span
+class=Code>-no-d​etails</span>​</p>
+
+<p class=MsoNormal style='margin-top:0i​n;margin-right:0in;m​argin-bottom:5.0pt;
+margin-left:1.0in;l​ine-height:normal'​>With this option, the report doesn't
+contain detailed information that is sensitive to small source code changes,
+like line numbers in source code, number of field accesses, or indexes in byte
+code,. This makes the report more suitable for comparison with a baseline
+report in automated tests.</p>

 <p class=MsoNormal style='margin-bottom​:12.0pt'>&nbs​p;</p>

@@ -3295,7 +3318,6 @@
 pageTracker._trackPageview();
 } catch(err) {}
 </script>
-
 </body>

 </html>

« Previous message in topic | 1 of 1 | Next message in topic »

Messages

Show all messages in topic

svn commit: r21 - trunk/www nitsan Nitsan Seniak 2008-12-25 08:09:16 PST
Messages per page: