error_test.html 22 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240
  1. <html>
  2. <head>
  3. <meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
  4. <title>Relative Error and Testing</title>
  5. <link rel="stylesheet" href="../../math.css" type="text/css">
  6. <meta name="generator" content="DocBook XSL Stylesheets V1.79.1">
  7. <link rel="home" href="../../index.html" title="Math Toolkit 2.11.0">
  8. <link rel="up" href="../internals.html" title="Internal tools">
  9. <link rel="prev" href="minimax.html" title="Minimax Approximations and the Remez Algorithm">
  10. <link rel="next" href="test_data.html" title="Graphing, Profiling, and Generating Test Data for Special Functions">
  11. </head>
  12. <body bgcolor="white" text="black" link="#0000FF" vlink="#840084" alink="#0000FF">
  13. <table cellpadding="2" width="100%"><tr>
  14. <td valign="top"><img alt="Boost C++ Libraries" width="277" height="86" src="../../../../../../boost.png"></td>
  15. <td align="center"><a href="../../../../../../index.html">Home</a></td>
  16. <td align="center"><a href="../../../../../../libs/libraries.htm">Libraries</a></td>
  17. <td align="center"><a href="http://www.boost.org/users/people.html">People</a></td>
  18. <td align="center"><a href="http://www.boost.org/users/faq.html">FAQ</a></td>
  19. <td align="center"><a href="../../../../../../more/index.htm">More</a></td>
  20. </tr></table>
  21. <hr>
  22. <div class="spirit-nav">
  23. <a accesskey="p" href="minimax.html"><img src="../../../../../../doc/src/images/prev.png" alt="Prev"></a><a accesskey="u" href="../internals.html"><img src="../../../../../../doc/src/images/up.png" alt="Up"></a><a accesskey="h" href="../../index.html"><img src="../../../../../../doc/src/images/home.png" alt="Home"></a><a accesskey="n" href="test_data.html"><img src="../../../../../../doc/src/images/next.png" alt="Next"></a>
  24. </div>
  25. <div class="section">
  26. <div class="titlepage"><div><div><h3 class="title">
  27. <a name="math_toolkit.internals.error_test"></a><a class="link" href="error_test.html" title="Relative Error and Testing">Relative Error and
  28. Testing</a>
  29. </h3></div></div></div>
  30. <h5>
  31. <a name="math_toolkit.internals.error_test.h0"></a>
  32. <span class="phrase"><a name="math_toolkit.internals.error_test.synopsis"></a></span><a class="link" href="error_test.html#math_toolkit.internals.error_test.synopsis">Synopsis</a>
  33. </h5>
  34. <pre class="programlisting"><span class="preprocessor">#include</span> <span class="special">&lt;</span><span class="identifier">boost</span><span class="special">/</span><span class="identifier">math</span><span class="special">/</span><span class="identifier">tools</span><span class="special">/</span><span class="identifier">test</span><span class="special">.</span><span class="identifier">hpp</span><span class="special">&gt;</span>
  35. </pre>
  36. <div class="important"><table border="0" summary="Important">
  37. <tr>
  38. <td rowspan="2" align="center" valign="top" width="25"><img alt="[Important]" src="../../../../../../doc/src/images/important.png"></td>
  39. <th align="left">Important</th>
  40. </tr>
  41. <tr><td align="left" valign="top"><p>
  42. The header <code class="computeroutput"><span class="identifier">boost</span><span class="special">/</span><span class="identifier">math</span><span class="special">/</span><span class="identifier">tools</span><span class="special">/</span><span class="identifier">test</span><span class="special">.</span><span class="identifier">hpp</span></code> is located under <code class="computeroutput"><span class="identifier">libs</span><span class="special">/</span><span class="identifier">math</span><span class="special">/</span><span class="identifier">include_private</span></code>
  43. and is NOT installed to the usual locations by default; you will need to
  44. add <code class="computeroutput"><span class="identifier">libs</span><span class="special">/</span><span class="identifier">math</span><span class="special">/</span><span class="identifier">include_private</span></code> to your compiler's include
  45. path in order to use this header.
  46. </p></td></tr>
  47. </table></div>
  48. <pre class="programlisting"><span class="keyword">template</span> <span class="special">&lt;</span><span class="keyword">class</span> <span class="identifier">T</span><span class="special">&gt;</span>
  49. <span class="identifier">T</span> <span class="identifier">relative_error</span><span class="special">(</span><span class="identifier">T</span> <span class="identifier">a</span><span class="special">,</span> <span class="identifier">T</span> <span class="identifier">b</span><span class="special">);</span>
  50. <span class="keyword">template</span> <span class="special">&lt;</span><span class="keyword">class</span> <span class="identifier">A</span><span class="special">,</span> <span class="keyword">class</span> <span class="identifier">F1</span><span class="special">,</span> <span class="keyword">class</span> <span class="identifier">F2</span><span class="special">&gt;</span>
  51. <span class="identifier">test_result</span><span class="special">&lt;</span><span class="identifier">see</span><span class="special">-</span><span class="identifier">below</span><span class="special">&gt;</span> <span class="identifier">test</span><span class="special">(</span><span class="keyword">const</span> <span class="identifier">A</span><span class="special">&amp;</span> <span class="identifier">a</span><span class="special">,</span> <span class="identifier">F1</span> <span class="identifier">test_func</span><span class="special">,</span> <span class="identifier">F2</span> <span class="identifier">expect_func</span><span class="special">);</span>
  52. </pre>
  53. <h5>
  54. <a name="math_toolkit.internals.error_test.h1"></a>
  55. <span class="phrase"><a name="math_toolkit.internals.error_test.description"></a></span><a class="link" href="error_test.html#math_toolkit.internals.error_test.description">Description</a>
  56. </h5>
  57. <pre class="programlisting"><span class="keyword">template</span> <span class="special">&lt;</span><span class="keyword">class</span> <span class="identifier">T</span><span class="special">&gt;</span>
  58. <span class="identifier">T</span> <span class="identifier">relative_error</span><span class="special">(</span><span class="identifier">T</span> <span class="identifier">a</span><span class="special">,</span> <span class="identifier">T</span> <span class="identifier">v</span><span class="special">);</span>
  59. </pre>
  60. <p>
  61. Returns the relative error between <span class="emphasis"><em>a</em></span> and <span class="emphasis"><em>v</em></span>
  62. using the usual formula:
  63. </p>
  64. <div class="blockquote"><blockquote class="blockquote"><p>
  65. <span class="inlinemediaobject"><img src="../../../equations/error1.svg"></span>
  66. </p></blockquote></div>
  67. <p>
  68. In addition the value returned is zero if:
  69. </p>
  70. <div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: disc; ">
  71. <li class="listitem">
  72. Both <span class="emphasis"><em>a</em></span> and <span class="emphasis"><em>v</em></span> are infinite.
  73. </li>
  74. <li class="listitem">
  75. Both <span class="emphasis"><em>a</em></span> and <span class="emphasis"><em>v</em></span> are denormalised
  76. numbers or zero.
  77. </li>
  78. </ul></div>
  79. <p>
  80. Otherwise if only one of <span class="emphasis"><em>a</em></span> and <span class="emphasis"><em>v</em></span>
  81. is zero then the value returned is 1.
  82. </p>
  83. <pre class="programlisting"><span class="keyword">template</span> <span class="special">&lt;</span><span class="keyword">class</span> <span class="identifier">A</span><span class="special">,</span> <span class="keyword">class</span> <span class="identifier">F1</span><span class="special">,</span> <span class="keyword">class</span> <span class="identifier">F2</span><span class="special">&gt;</span>
  84. <span class="identifier">test_result</span><span class="special">&lt;</span><span class="identifier">see</span><span class="special">-</span><span class="identifier">below</span><span class="special">&gt;</span> <span class="identifier">test</span><span class="special">(</span><span class="keyword">const</span> <span class="identifier">A</span><span class="special">&amp;</span> <span class="identifier">a</span><span class="special">,</span> <span class="identifier">F1</span> <span class="identifier">test_func</span><span class="special">,</span> <span class="identifier">F2</span> <span class="identifier">expect_func</span><span class="special">);</span>
  85. </pre>
  86. <p>
  87. This function is used for testing a function against tabulated test data.
  88. </p>
  89. <p>
  90. The return type contains statistical data on the relative errors (max, mean,
  91. variance, and the number of test cases etc), as well as the row of test data
  92. that caused the largest relative error. Public members of type test_result
  93. are:
  94. </p>
  95. <div class="variablelist">
  96. <p class="title"><b></b></p>
  97. <dl class="variablelist">
  98. <dt><span class="term"><code class="computeroutput"><span class="keyword">unsigned</span> <span class="identifier">worst</span><span class="special">()</span><span class="keyword">const</span><span class="special">;</span></code></span></dt>
  99. <dd><p>
  100. Returns the row at which the worst error occurred.
  101. </p></dd>
  102. <dt><span class="term"><code class="computeroutput"><span class="identifier">T</span> <span class="identifier">min</span><span class="special">()</span><span class="keyword">const</span><span class="special">;</span></code></span></dt>
  103. <dd><p>
  104. Returns the smallest relative error found.
  105. </p></dd>
  106. <dt><span class="term"><code class="computeroutput"><span class="identifier">T</span> <span class="identifier">max</span><span class="special">()</span><span class="keyword">const</span><span class="special">;</span></code></span></dt>
  107. <dd><p>
  108. Returns the largest relative error found.
  109. </p></dd>
  110. <dt><span class="term"><code class="computeroutput"><span class="identifier">T</span> <span class="identifier">mean</span><span class="special">()</span><span class="keyword">const</span><span class="special">;</span></code></span></dt>
  111. <dd><p>
  112. Returns the mean error found.
  113. </p></dd>
  114. <dt><span class="term"><code class="computeroutput"><span class="identifier">boost</span><span class="special">::</span><span class="identifier">uintmax_t</span> <span class="identifier">count</span><span class="special">()</span><span class="keyword">const</span><span class="special">;</span></code></span></dt>
  115. <dd><p>
  116. Returns the number of test cases.
  117. </p></dd>
  118. <dt><span class="term"><code class="computeroutput"><span class="identifier">T</span> <span class="identifier">variance</span><span class="special">()</span><span class="keyword">const</span><span class="special">;</span></code></span></dt>
  119. <dd><p>
  120. Returns the variance of the errors found.
  121. </p></dd>
  122. <dt><span class="term"><code class="computeroutput"><span class="identifier">T</span> <span class="identifier">variance1</span><span class="special">()</span><span class="keyword">const</span><span class="special">;</span></code></span></dt>
  123. <dd><p>
  124. Returns the unbiased variance of the errors found.
  125. </p></dd>
  126. <dt><span class="term"><code class="computeroutput"><span class="identifier">T</span> <span class="identifier">rms</span><span class="special">()</span><span class="keyword">const</span></code></span></dt>
  127. <dd><p>
  128. Returns the Root Mean Square, or quadratic mean of the errors.
  129. </p></dd>
  130. <dt><span class="term"><code class="computeroutput"><span class="identifier">test_result</span><span class="special">&amp;</span>
  131. <span class="keyword">operator</span><span class="special">+=(</span><span class="keyword">const</span> <span class="identifier">test_result</span><span class="special">&amp;</span> <span class="identifier">t</span><span class="special">)</span></code></span></dt>
  132. <dd><p>
  133. Combines two test_result's into a single result.
  134. </p></dd>
  135. </dl>
  136. </div>
  137. <p>
  138. The template parameter of test_result, is the same type as the values in
  139. the two dimensional array passed to function <span class="emphasis"><em>test</em></span>, roughly
  140. that's <code class="computeroutput"><span class="identifier">A</span><span class="special">::</span><span class="identifier">value_type</span><span class="special">::</span><span class="identifier">value_type</span></code>.
  141. </p>
  142. <p>
  143. Parameter <span class="emphasis"><em>a</em></span> is a matrix of test data: and must be a
  144. standard library Sequence type, that contains another Sequence type: typically
  145. it will be a two dimensional instance of <code class="literal">boost::array</code>.
  146. Each row of <span class="emphasis"><em>a</em></span> should contain all the parameters that
  147. are passed to the function under test as well as the expected result.
  148. </p>
  149. <p>
  150. Parameter <span class="emphasis"><em>test_func</em></span> is the function under test, it is
  151. invoked with each row of test data in <span class="emphasis"><em>a</em></span>. Typically type
  152. F1 is created with Boost.Lambda: see the example below.
  153. </p>
  154. <p>
  155. Parameter <span class="emphasis"><em>expect_func</em></span> is a functor that extracts the
  156. expected result from a row of test data in <span class="emphasis"><em>a</em></span>. Typically
  157. type F2 is created with Boost.Lambda: see the example below.
  158. </p>
  159. <p>
  160. If the function under test returns a non-finite value when a finite result
  161. is expected, or if a gross error is found, then a message is sent to <code class="computeroutput"><span class="identifier">std</span><span class="special">::</span><span class="identifier">cerr</span></code>,
  162. and a call to BOOST_ERROR() made (which means that including this header
  163. requires you use Boost.Test). This is mainly a debugging/development aid
  164. (and a good place for a breakpoint).
  165. </p>
  166. <h5>
  167. <a name="math_toolkit.internals.error_test.h2"></a>
  168. <span class="phrase"><a name="math_toolkit.internals.error_test.example"></a></span><a class="link" href="error_test.html#math_toolkit.internals.error_test.example">Example</a>
  169. </h5>
  170. <p>
  171. Suppose we want to test the <code class="computeroutput"><span class="identifier">tgamma</span></code>
  172. and <code class="computeroutput"><span class="identifier">lgamma</span></code> functions, we
  173. can create a two-dimensional matrix of test data, each row is one test case,
  174. and contains three elements: the input value, and the expected results for
  175. the <code class="computeroutput"><span class="identifier">tgamma</span></code> and <code class="computeroutput"><span class="identifier">lgamma</span></code> functions respectively.
  176. </p>
  177. <pre class="programlisting"><span class="keyword">static</span> <span class="keyword">const</span> <span class="identifier">boost</span><span class="special">::</span><span class="identifier">array</span><span class="special">&lt;</span><span class="identifier">boost</span><span class="special">::</span><span class="identifier">array</span><span class="special">&lt;</span><span class="identifier">TestType</span><span class="special">,</span> <span class="number">3</span><span class="special">&gt;,</span> <span class="identifier">NumberOfTests</span><span class="special">&gt;</span>
  178. <span class="identifier">factorials</span> <span class="special">=</span> <span class="special">{</span>
  179. <span class="comment">/* big array of test data goes here */</span>
  180. <span class="special">};</span>
  181. </pre>
  182. <p>
  183. Now we can invoke the test function to test tgamma:
  184. </p>
  185. <pre class="programlisting"><span class="keyword">using</span> <span class="keyword">namespace</span> <span class="identifier">boost</span><span class="special">::</span><span class="identifier">math</span><span class="special">::</span><span class="identifier">tools</span><span class="special">;</span>
  186. <span class="keyword">using</span> <span class="keyword">namespace</span> <span class="identifier">boost</span><span class="special">::</span><span class="identifier">lambda</span><span class="special">;</span>
  187. <span class="comment">// get a pointer to the function under test:</span>
  188. <span class="identifier">TestType</span> <span class="special">(*</span><span class="identifier">funcp</span><span class="special">)(</span><span class="identifier">TestType</span><span class="special">)</span> <span class="special">=</span> <span class="identifier">boost</span><span class="special">::</span><span class="identifier">math</span><span class="special">::</span><span class="identifier">tgamma</span><span class="special">;</span>
  189. <span class="comment">// declare something to hold the result:</span>
  190. <span class="identifier">test_result</span><span class="special">&lt;</span><span class="identifier">TestType</span><span class="special">&gt;</span> <span class="identifier">result</span><span class="special">;</span>
  191. <span class="comment">//</span>
  192. <span class="comment">// and test tgamma against data:</span>
  193. <span class="comment">//</span>
  194. <span class="identifier">result</span> <span class="special">=</span> <span class="identifier">test</span><span class="special">(</span>
  195. <span class="identifier">factorials</span><span class="special">,</span>
  196. <span class="identifier">bind</span><span class="special">(</span><span class="identifier">funcp</span><span class="special">,</span> <span class="identifier">ret</span><span class="special">&lt;</span><span class="identifier">TestType</span><span class="special">&gt;(</span><span class="identifier">_1</span><span class="special">[</span><span class="number">0</span><span class="special">])),</span> <span class="comment">// calls tgamma with factorials[row][0]</span>
  197. <span class="identifier">ret</span><span class="special">&lt;</span><span class="identifier">TestType</span><span class="special">&gt;(</span><span class="identifier">_1</span><span class="special">[</span><span class="number">1</span><span class="special">])</span> <span class="comment">// extracts the expected result from factorials[row][1]</span>
  198. <span class="special">);</span>
  199. <span class="comment">//</span>
  200. <span class="comment">// Print out some results:</span>
  201. <span class="comment">//</span>
  202. <span class="identifier">std</span><span class="special">::</span><span class="identifier">cout</span> <span class="special">&lt;&lt;</span> <span class="string">"The Mean was "</span> <span class="special">&lt;&lt;</span> <span class="identifier">result</span><span class="special">.</span><span class="identifier">mean</span><span class="special">()</span> <span class="special">&lt;&lt;</span> <span class="identifier">std</span><span class="special">::</span><span class="identifier">endl</span><span class="special">;</span>
  203. <span class="identifier">std</span><span class="special">::</span><span class="identifier">cout</span> <span class="special">&lt;&lt;</span> <span class="string">"The worst error was "</span> <span class="special">&lt;&lt;</span> <span class="special">(</span><span class="identifier">result</span><span class="special">.</span><span class="identifier">max</span><span class="special">)()</span> <span class="special">&lt;&lt;</span> <span class="identifier">std</span><span class="special">::</span><span class="identifier">endl</span><span class="special">;</span>
  204. <span class="identifier">std</span><span class="special">::</span><span class="identifier">cout</span> <span class="special">&lt;&lt;</span> <span class="string">"The worst error was at row "</span> <span class="special">&lt;&lt;</span> <span class="identifier">result</span><span class="special">.</span><span class="identifier">worst_case</span><span class="special">()</span> <span class="special">&lt;&lt;</span> <span class="identifier">std</span><span class="special">::</span><span class="identifier">endl</span><span class="special">;</span>
  205. <span class="comment">//</span>
  206. <span class="comment">// same again with lgamma this time:</span>
  207. <span class="comment">//</span>
  208. <span class="identifier">funcp</span> <span class="special">=</span> <span class="identifier">boost</span><span class="special">::</span><span class="identifier">math</span><span class="special">::</span><span class="identifier">lgamma</span><span class="special">;</span>
  209. <span class="identifier">result</span> <span class="special">=</span> <span class="identifier">test</span><span class="special">(</span>
  210. <span class="identifier">factorials</span><span class="special">,</span>
  211. <span class="identifier">bind</span><span class="special">(</span><span class="identifier">funcp</span><span class="special">,</span> <span class="identifier">ret</span><span class="special">&lt;</span><span class="identifier">TestType</span><span class="special">&gt;(</span><span class="identifier">_1</span><span class="special">[</span><span class="number">0</span><span class="special">])),</span> <span class="comment">// calls tgamma with factorials[row][0]</span>
  212. <span class="identifier">ret</span><span class="special">&lt;</span><span class="identifier">TestType</span><span class="special">&gt;(</span><span class="identifier">_1</span><span class="special">[</span><span class="number">2</span><span class="special">])</span> <span class="comment">// extracts the expected result from factorials[row][2]</span>
  213. <span class="special">);</span>
  214. <span class="comment">//</span>
  215. <span class="comment">// etc ...</span>
  216. <span class="comment">//</span>
  217. </pre>
  218. </div>
  219. <table xmlns:rev="http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" width="100%"><tr>
  220. <td align="left"></td>
  221. <td align="right"><div class="copyright-footer">Copyright &#169; 2006-2019 Nikhar
  222. Agrawal, Anton Bikineev, Paul A. Bristow, Marco Guazzone, Christopher Kormanyos,
  223. Hubert Holin, Bruno Lalande, John Maddock, Jeremy Murphy, Matthew Pulver, Johan
  224. R&#229;de, Gautam Sewani, Benjamin Sobotta, Nicholas Thompson, Thijs van den Berg,
  225. Daryle Walker and Xiaogang Zhang<p>
  226. Distributed under the Boost Software License, Version 1.0. (See accompanying
  227. file LICENSE_1_0.txt or copy at <a href="http://www.boost.org/LICENSE_1_0.txt" target="_top">http://www.boost.org/LICENSE_1_0.txt</a>)
  228. </p>
  229. </div></td>
  230. </tr></table>
  231. <hr>
  232. <div class="spirit-nav">
  233. <a accesskey="p" href="minimax.html"><img src="../../../../../../doc/src/images/prev.png" alt="Prev"></a><a accesskey="u" href="../internals.html"><img src="../../../../../../doc/src/images/up.png" alt="Up"></a><a accesskey="h" href="../../index.html"><img src="../../../../../../doc/src/images/home.png" alt="Home"></a><a accesskey="n" href="test_data.html"><img src="../../../../../../doc/src/images/next.png" alt="Next"></a>
  234. </div>
  235. </body>
  236. </html>