소프트웨어 수행시간의 정적 추정에 관한 연구 = A study on the static estimation of software execution time