프로그램 검증 도구
개발이야기 / 2008. 6. 17. 17:49
프로그램 검증 도구란..
1. 정적으로 프로그램을 실행하지 않고,
2. 소스 코드를 자동으로 분석하고
3. 오류를 검출하는 프로그램
따라서, 컴파일러도 프로그램 검증 도구의 하나라고 할 수 있다고 합니다.
컴파일러보다 좀 더 테스트에 적합한 도구들이 상용 및 연구용으로 많이 존재하는데...
(도구들은 찾아보시길 ^^;;;)
자바 언어는
개발자의 실수 정도는 런타임시에 오류를 발생시키며, 상당히 제약적인 언어이므로
검증도구가 따로 필요하지 않다고 합니다.
---> 강사님께서 자주 자바를 좋아하시는 듯...한 발언을 하시네요.
저는 자바 개발자이므로 별다른 감흥은 없었지만요~~