|
프로그램 검증 도구란..
1. 정적으로 프로그램을 실행하지 않고,
2. 소스 코드를 자동으로 분석하고
3. 오류를 검출하는 프로그램
따라서, 컴파일러도 프로그램 검증 도구의 하나라고 할 수 있다고 합니다.
컴파일러보다 좀 더 테스트에 적합한 도구들이 상용 및 연구용으로 많이 존재하는데...
(도구들은 찾아보시길 ^^;;;)
자바 언어는
개발자의 실수 정도는 런타임시에 오류를 발생시키며, 상당히 제약적인 언어이므로
검증도구가 따로 필요하지 않다고 합니다.
---> 강사님께서 자주 자바를 좋아하시는 듯...한 발언을 하시네요.
저는 자바 개발자이므로 별다른 감흥은 없었지만요~~
직무교육 - 고급프로그래밍 강의 중 생각나는 것 세 가지만 적어봅니다.
1. 수식을 사용할 때에는 순서를 명시해주어라.
2. 누가 봐도 똑같이 해석할 수 있는 코드를 짜라.
(실행 비용이 커도 추상화된 코드가 좋다.)
3. assert 함수를 사용하여 코딩하라.
(오류 검출에 큰 도움이 된다.)
=> 자바에서는 Exception 처리로 해결할 수 있다.
Exception 발생 후 처리하지 않으면
사용자 입장에서는 Exception 처리하지 않은 것과 별반 다르지 않다.
소프트웨어 개발자에게 가장 중요하다고 생각하는 것은
2번으로 적어놓은 내용입니다.
물론 1번, 3번의 내용도 중요하겠습니다만....
한번 개발해 놓은 제품은 향후 몇 년은 유지보수 해야하는 경우가 다반사므로..
유지보수를 위해서는 (!!!)
언제. 누가 보던지 이해할 수 있는 코드를 작성하는 것이 중요하다고 봅니다.
자신이 작성한 코드조차도 한 달만 지나 다시 보면
썩.. 눈에 잘 들어오지 않는 경우도 많으니까요.
또한 여러 명이 개발하는 경우..
소스로 다른 사람과 의사소통을 하기 위해서
역시나 알아보기 쉬운 코딩이 중요하다고 봅니다.
요새 느낀 부분을 강의 도중 듣게되어
주저리주저리 적어보았습니다. ^^
기억에 남는 단어들.. : 추상화, Comparable type, Generic
