Based on the static analysis method of source codes

an automatic testing method is proposed to detect invalid arithmetic operations in programs.Based on the forms of invalid arithmetic operations

the process to analyze source codes and identify invalid arithmetic operations statically is modeled

and the computation models used to detect invalid arithmetic operations statically are established.The process to detect invalid arithmetic operations statically is automated

and the automatic testing algorithm of invalid arithmetic operations is proposed.Experimental results show that the automatic testing method could detect invalid arithmetic operations more accurately and automatically.