APPARATUS AND METHOD FOR CREATING EXECUTION CODE AND METHOD OF MANAGING SOURCE CODE

PROBLEM TO BE SOLVED: To solve the following problems that causes the decrease in reliability and increase in man hours: in a conventional method of verifying specifications, the method serves only to verify functional specifications without taking into consideration the verification of performance specifications such as processing time and the amount of memory required; and it is necessary to take measures such as checking performance specifications by adding performance-measuring codes for checking performance to source codes in addition to the framing of function verification, with the result that in such a method a technique for verifying specifications differs between verification of functional specifications and verification of performance specifications, thereby making it impossible to unify the operations of verifying specifications. SOLUTION: An apparatus for creating execution codes, such as a compiling means, is provided with an assertion function that can add the descriptions of the process of verifying performance specifications. The assertion function can designate an assertion as either valid or invalid. Further, based on assertion designation information that can set only the assertion function of a particular performance verification process to be either valid or invalid, it is possible to set the assertion function of the particular performance verification process to be either valid or invalid. COPYRIGHT: (C)2009,JPO&INPIT