테스팅 원리: 어디에서

Q. 소수점 숫자들은 왜 때때로 코드 에러를 발생시키나요? 

 

A. 소수점 수들을 이용한 산수, 연산은 종종 부정확하다  → 에러
    소수점 숫자들은 수가 아닌 값을 가지고 있다. 예를 들면, 무한대(Infinity)와 NaN(Not a Number)는 계산이 잘못되게 만들 수 있다.
    소수점 수 계산들은 근사치다. 실제 수를 사용한 계산이 성공한 후에 소수점 수 계산값을 비교해보면 fail한다.

 

 

Q. 상관적인(relational) 경계들은 왜 때때로 코드 에러를 발생시키나요?

 

A. 프로그래머들은 종종 off-by-one 에러를 만든다.
    범위에서 엄격한 한계를 결정하는 것은 요구공학(requirements engineering)에 있어서 어렵다.
    상관적인 경계들은 프로그램이 중된되는 포인트들을 정의한다.


off-by-one: 루프(loop)가 더 적게 또는 더 많이 실행되는 일반적인 오류

 

 

Q. 캐스트는 왜 때때로 코드 에러를 발생시키나요?

 

A. 정수에서 비트 길이가 짧은 유형으로 변환할 때(예. long 에서 int), 값은 뒤가 잘려버릴지도 모른다.
    비트 길이가 긴 유형으로 변환할 때(예. int 에서 long), 값은 양수에서 음수로 변할 가능성이 있다.
    signed 변수에서 unsigned 변수로 변환할 때(예. int 에서 byte), 음수는 표현될 수 없다.
    double에서 int로 변환할 때, 값은 정수가 되면서 뒤가 잘린다.