论文部分内容阅读
数组越界是C程序中的常见故障，该类故障可能造成系统的崩溃。首先针对常见的数组越界故障进行了分析，提出了检测数组越界的判定准则，建立了故障模型。根据该故障模型，采用程序控制流图和路径条件，并结合静态分析思想，给出了可有效地检测出程序中存在的数组越界故障的方法。最后通过实例分析了该方法的应用过程。
数组越界的故障模型及其检测方法研究
【摘 要】
：
数组越界是C程序中的常见故障，该类故障可能造成系统的崩溃。首先针对常见的数组越界故障进行了分析，提出了检测数组越界的判定准则，建立了故障模型。根据该故障模型，采用程序控
【机 构】
：
华中师范大学计算机科学系
【出 处】
：
微计算机信息
【发表日期】
：
2007年31期
其他文献
岱岳区是全国首批启动县级融媒体中心建设的县市区。区融媒体中心成立后,坚持边改革、边建设、边运行,通过借“融”转型和借“新”发展,整合组建了集网、端、微、屏等于一体
本文对GPS车辆卫星定位系统的硬件架构与软件的设计进行了探讨,系统采用GSM作为数据传输的媒介,用PC机当作是控制中心,用小车代替车辆。系统由GPS发出位置信息,再由GSM把信息传送给PC机,经过PC机处理,显示小车在地图上的位置,再由PC机在发出指令,通过GSM把指令传送给小车,小车执行指令。
“互联网+教育”背景下,教师的信息化教学能力决定了教学的质量。为提升教学质量,烟台大学文经学院从顶层设计到底层实践,通过多种途径推动教师信息化能力的提升。
畜牧业作为一项重要产业,在国家经济体系中占重要地位,畜牧业的发展不仅影响着国家经济,也关系着畜产品市场环境。重视畜牧业的发展,提高养殖技术水平,才能更好的满足消费者
文章从港口特点和生产系统的实际需求出发，给出了一个基于WebSphere的港口生产管理系统的设计方案，并从体系结构和网络架构两方面进行了详细的介绍，给出了连接缓冲池的配置方法，
目的 观察溶栓治疗对不同年龄组急性心肌梗死患者的效果及并发症。方法 将47例急性心肌梗死（AMI）患者按发病年龄分成3组，进行尿激酶（uK）溶栓治疗。结果 12h内溶栓的47例AHI患者再
1病例资料患者,女,45岁,两天前因感冒,咳嗽,咳痰伴哮喘,口服药物疗效不佳,来院就诊。检查：体温37.8℃,脉搏84次/分,血压100/70mmHg。患者精神稍差，喘息，口唇轻度发绀。自述：咳嗽
目的总结成人肺炎支原体（MP）感染的临床特点，提高认识、减少不必要的误、漏诊。方法回顾性分析70例成人MP感染者临床资料。结果70例患者平均年龄34.4岁，四季散发，夏秋发病41例（58．6％）
目的探讨腹股沟斜疝手术后阴囊积液的预防。方法回顾45例行预防性疝囊底开窗手术及332例未行预防性疝囊底开窗手术的阴囊疝患者的临床资料,并对比分析两组术后发生阴囊积液情
目的 探讨剥夺睡眠脑电图在小儿癫痫诊断中的价值。方法 剥夺患儿睡眠使其在进行脑电图描记时较快进入自然睡眠，然后与清醒状态下描记的脑电图比较痫样放电的阳性率。结果 两