论文部分内容阅读
软件测试分为静态测试和动态测试,而数组越界是静态测试中最常见的问题之一,并且其带来的危害巨大,甚至导致软件系统崩溃。根据数组越界的现象及特点,详细描述了数组越界的定义和种类,给出了数组越界产生的条件及防范技巧,并对检测方法及工具进行比较分析,从而更好地实现软件测试。
数组越界的静态分析
【摘 要】
：
软件测试分为静态测试和动态测试,而数组越界是静态测试中最常见的问题之一,并且其带来的危害巨大,甚至导致软件系统崩溃。根据数组越界的现象及特点,详细描述了数组越界的定
【机 构】
：
江苏自动化研究所
【出 处】
：
电脑编程技巧与维护
【发表日期】
：
2012年4期
其他文献
为实现永磁电磁混合悬浮地球仪的稳定悬浮控制,采用伪微分反馈控制算法进行了力学和运动学分析,建立了系统数学模型,推导出控制对象及控制系统的传递函数,并对其稳态性能进行了理论分析.研究结果表明,伪微分反馈控制策略针对混合磁悬浮系统非线性和固有的不稳定性具有鲁棒性和控制精度高的特点.