Static detecting method for uninitialized variable

Uninitialized Variable is a common kind of error in programs written in C/C++,which often causes system collapse.Firstly,the classical C/C++ uninitialized variable errors is analysed,adefect model ofuninitialized variableof C/C++ based on thedefect-oriented testing strategy is established,then a detecting method of uninitialized variable errors combining the advantage of static analysis is de-scribed.This theory is implemented in a defect-oriented testing system.