A proposal for run-time checks on command execution order of software program

In this paper, we proposed a method to automatically perform “inspection of control flow” of a computer program at runtime. “Inspection of control flow” is an inspection of whether the commands of the program under inspection are executed in the intended order. This inspection system targets programs that are written in assembler language and whose command execution order is determined based on input data. Normally, the program to be executed is an object program written in machine language. However, it is difficult to directly handle the machine language expressed in binary numbers. Therefore, the assembler language that has a one-to-one correspondence with the machine language and is expressed by alphanumeric characters and symbols is used for this paper. The proposed system used a learning system to automatically increase the amount of text information. The performance of this system was compared to a conventional inspection method from the input/output relationship. The proposed system detected 80% of the errors detected by the input / output relationship method.