The invention relates to a state diagram-based coding verification method. The method comprises the following steps: 1) describing a target software requirement by using an ArgoUML state diagram, and carrying out requirement analysis; 2) taking a file output by ArgoUML as an extraction object to extract a state diagram description file; 3) analyzing the state diagram description file so as to obtain a node state, migration information and a state attribute of the state diagram; 4) converting the ArgoUML state diagram into a target MuSMV code according to the obtained node state, migration information and state attribute of the state diagram; 5) automatically extracting an inspection property and providing the inspection property to users in an interaction manner for secondary edition; and 6) calling an NuSMV inspector to execute inspection, returning whether the inspection property is satisfied or not, and if the inspection property is not satisfied, giving an error position point and displaying a route sequence. Compared with the prior art, the method disclosed in the invention can be used for carrying out modeling aiming at the software requirement and realizing automatic inspection, and enabling the design analysts to not consider how to compile complicated NuSMV programs any more, wherein the conversion is realized automatically.