학습/프로그래밍

정적 프로그램 분석

TayCleed 2011. 8. 16. 15:56

위키 링크: http://ko.wikipedia.org/wiki/%EC%A0%95%EC%A0%81_%ED%94%84%EB%A1%9C%EA%B7%B8%EB%9E%A8_%EB%B6%84%EC%84%9D


 Static Code Analysis 
프로그램을 실제로 실행해보지 않고 분석하는 방법.
프로그램을 실행해보고 분석하는 방법인 동적 프로그램 분석과 반대.
사람 + 도구의 형태.
코딩 에러 검출부터 프로그램의 속성별 만족도를 수학적으로 증명하는 정형분석법까지 다양.