Research On Fault Model Of Array Bound And Its Detecting Method
Ei Z · Microcomputer Information · 2007
Array bound is a common kind of fault in programs written in c,which often causes system collapse. Firstly classical fault of array bound is analyzed,the criterion of detecting array bound fault is given,and then fault model is established. According to this fault model,an approach is given to effectively detect array bound fault in programs utilizing static analysis with flow chart and path condition. Finally it brings the application process through the example.