Research on Auto-judge Method of Self-Contained Condition

The method of logic analysis could be used to assist in searching for the errors of the program. The present researches mainly focus on the infinite loops, memory leaks, pointer errors and so on. Neither of them paid any attention on the correctness of the branch condition, the error of which usually occurred in the software developing process. The concept of program condition self-contained is defined in the thesis, and it includes integrity and compatibility. According to the formal logic and set theory, an auto-judge method of program condition self-contained, range space merging theory, has been submitted. This method analyzes the if-clause in the same if-statements level, and distinguishes the equivalent classes that the program process on, then transform them into range subspace form. Thereafter, analyze the integrity that whether the range subspaces could be merged into integrated range space, and analyze the incompatibility that whether there exist overlaps between them. The thesis also gives out the condition expression arranging algorithm, transforming condition expression into range space form algorithm, range space partition algorithm, range space merging algorithm, etc. It proves that this method could also be used to do the requirement analyses and to inspect the condition expressions in the formatting documents of software designing.