소프트웨어 결함(defect) 종류

• Buffer overflow
• Invalid pointer dereference/arithmetic
• Race condition
• Nested scheduler unlock
• Unsafe casting
• Stack overflow

소프트웨어 테스팅이란 효율성을 위한 최선의 노력일 뿐이다.

*“Testing can only prove the presence of bugs, not their absence”

• Edsger W. Dijkstra*

대안 : formal proof, comprehensive static analysis

테스팅은 무조건 해야하는 거임. 다음 단계는 시스템의 크리티컬 정도에 따라 할지말지 결정.

테스팅의 종류

• defect testing : 결함이 있는지
• validation testing : 동작을 잘하는지

Fault, Error 그리고 Failure의 차이