数组越界的故障模型及其检测方法研究  

Research On Fault Model Of Array Bound And Its Detecting Method

作　　者：叶焰锋[1] 叶俊民[1] 詹泽梅[1] 雷志翔[1] 

机构地区：[1]华中师范大学计算机科学系,湖北武汉430079

出　　处：《微计算机信息》2007年第31期145-147,共3页Control & Automation

基　　金：115国防重点预研基金资助(编号不公开)

摘　　要：数组越界是C程序中的常见故障,该类故障可能造成系统的崩溃。首先针对常见的数组越界故障进行了分析,提出了检测数组越界的判定准则,建立了故障模型。根据该故障模型,采用程序控制流图和路径条件,并结合静态分析思想,给出了可有效地检测出程序中存在的数组越界故障的方法。最后通过实例分析了该方法的应用过程。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.

关 键 词：软件测试 数组越界 故障模型 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]