<?xml version="1.0" encoding='utf-8'?>
<!DOCTYPE wml PUBLIC "-//WAPFORUM//DTD WML 1.1//EN" "http://www.wapforum.org/DTD/wml_1.1.xml">
<wml>
<card id="card1" title="Correctness (computer science) - Page 7 - Wikipedia">
<p>
<a accesskey="1" href="page.php?w=Correctness_(computer_science)&amp;p=6">1.Previous</a><br />
<a accesskey="3" href="page.php?w=Correctness_%28computer_science%29&amp;p=8">3.Next</a>
</p>
<p>test a program with moderate complexity. Testing is more than just debugging. The purpose of testing can be quality assurance, verification and validation, or reliability estimation. Testing can be used as a generic metric as well. Correctness testing and reliability testing are two major areas of testing. Software testing is a trade-off between budget, time, and quality.</p>

<p><big>See also</big></p>
<p>
*<a href="page.php?w=Formal_verification">Formal verification</a><br/>
*<a href="page.php?w=Design_by_contract">Design by contract</a><br/>
*<a href="page.php?w=Program_analysis">Program analysis</a><br/></p><p>
<a accesskey="1" href="page.php?w=Correctness_(computer_science)&amp;p=6">1.Previous</a><br />
<a accesskey="3" href="page.php?w=Correctness_%28computer_science%29&amp;p=8">3.Next</a>
</p>

<do type="prev" label="Search">
        <go href="search.wml"/>
</do>

</card>
</wml>
