제충하고 시험
구문 오류
S계산서에 있는 성분의 문법, 구조 및 순서가 통어론에 의하여 언급한다. 구문 오류는 우리가 규칙을 위반할 때 발생한다 세미콜론을 가진 계산서를 끝내는 것을 잊기와 같이. 당신이 프로그램을 집계할 경우, 컴파일러는 만날지도 모른다 어떤 구문 오류든지의 명부를 일으킬 것이다.
좋은 컴파일러는 과실의 묘사를 가진 명부를 출력하고, 가능한 해결책을 제공할지도 모른다. 과실을 수정하는 것은 표시되는 더 과실 재컴파일될 때 귀착될지도 모른다. 이것을 위한 이유는 이전 과실이 더 과실이 원래 편집 동안에 억압된 프로그램 의미의 구조를 바꾸었다 이다.
유사하게, 단 하나 과오는 몇몇 과실 귀착될지도 모른다. 정확하게 집계하고 달리는 프로그램의 주 함수의 끝에 세미콜론을 두는 시험. 당신이 그것을 재컴파일할 경우, 당신은 과실의 거대한 명부를 얻을 것이다, 그럼에도 불구하고 잘못 있던 세미콜론만이다.
구문 오류 뿐만 아니라, 컴파일러는 또한 경고를 발행할지도 모른다. 경고는 과실이 아니, 그러나 당신의 프로그램의 실행 중에 문제를 일으킬지도 모른다. 예를 들면 단 하나 정밀도 부동 소수점 수에 double-precision 부동 소수점 수를 할당하는 것은 정밀도의 손실 귀착될지도 모른다. 구문 오류가 아니, 그러나 문제에 지도할 수 있었다. 이 특정한 보기에서는, 당신은 적합한 자료 유형에 가변을 던져서 의향을 보여줄 수 있었다.
그리고 y가 double-precision 부동 소수점 수인지, x가 단 하나 정밀도 부동 소수점 수인 뒤에 오는 보기를 고려하십시오. y는 어떤 컴파일러 경고든지 삭제할 지정 동안에 부유물에 명백하게 던져진다.
x = (float)y;
논리적 오류
논리적 오류는 논리에 있는 과실이 있을 때 발생한다. 예를 들면, 당신은 수가 4개 이하와 보다 큰 8이다 시험할 수 있었다. 저것은 가능하게 이제까지 진실할 수 없었다, 그러나 구문론적으로 정확한 경우에 프로그램은 성공적으로 집계할 것이다. 뒤에 오는 보기를 고려하십시오:
if (x < 4 && x > 8)
puts("Will never happen!");
통어론은 정확하다, 그래서 프로그램은 집계할 것이다, 그러나 x의 가치가 가능하게 4개 이하와 동시에 보다 큰 8이기 수 없기 때문에 계산서를 결코 인쇄될 것이다 두지 않는다.
대부분의 논리적 오류는 프로그램의 처음 시험을 통해 발견된다. 당신이 예상했다시피 그것이 행동하지 않을 때, 당신은 논리적인 계산서를 더 가깝게 검열하고 정정한다. 이것은 명백한 논리 과실을 위해서만 진실하다. 더 큰 프로그램, 더 거기 경로는 그것을 통해 일 것이다, 더 곤란하게 예상되는 것과 같이 프로그램은 행동한다 확인하기 위하여 된다.
|
