Abstract: A program analysis method includes: analyzing, for each program, correlation between plural property values of properties including a property concerning a cost and the accumulated number of failures; calculating a failure forecast value for each program, based on the analysis result and the plural property values of the properties including the property concerning the cost; calculating a latent risk value for each program based on the accumulated number of failures, the failure forecast value, an assumed damage degree per one failure; and selecting a program to be processed based on the latent risk values. Thus, it becomes possible to identify a program for which the maintenance should be carried out, based on the latent risk.