정확성

이론 컴퓨터 과학에서 알고리즘은 지정된 대로 동작하는 경우 사양과 관련하여 정확하다. 가장 잘 탐구되는 것은 기능적 정확성(correctness)이다. 이는 알고리즘의 입력-출력 동작을 나타낸다(즉, 각 입력에 대해 사양을 충족하는 출력을 생성한다).

후자의 개념 내에서, 대답이 반환되면 그것이 정확할 것을 요구하는 부분 정확성은 결국 대답이 반환되어야 하는, 즉 알고리즘이 종료되어야 하는 전체 정확성과 구별된다. 따라서 프로그램의 전체 정확성을 입증하려면 부분 정확성과 종료를 입증하는 것으로 충분하다. 후자 종류의 증명(종료 증명)은 정지 문제를 결정할 수 없기 때문에 완전히 자동화될 수 없다.

 같이 보기 
 프로그램 분석

 출처 
 "Human Language Technology. Challenges for Computer Science and Linguistics." Google Books. N.p., n.d. Web. 10 April 2017.
 "Security in Computing and Communications." Google Books. N.p., n.d. Web. 10 April 2017.
 "The Halting Problem of Alan Turing - A Most Merry and Illustrated Explanation." The Halting Problem of Alan Turing - A Most Merry and Illustrated Explanation. N.p., n.d. Web. 10 April 2017.
 Turner, Raymond, and Nicola Angius. "The Philosophy of Computer Science." Stanford Encyclopedia of Philosophy. Stanford University, 20 August 2013. Web. 10 April 2017.
 Dijkstra, E. W. "Program Correctness". U of Texas at Austin, Departments of Mathematics and Computer Sciences, Automatic Theorem Proving Project, 1970. Web.

 각주 

분류:이론 컴퓨터 과학
분류:소프트웨어 품질