论文部分内容阅读
软件测试分为静态测试和动态测试,而数组越界是静态测试中最常见的问题之一,并且其带来的危害巨大,甚至导致软件系统崩溃。根据数组越界的现象及特点,详细描述了数组越界的定义和种类,给出了数组越界产生的条件及防范技巧,并对检测方法及工具进行比较分析,从而更好地实现软件测试。
数组越界的静态分析
【摘 要】
：
软件测试分为静态测试和动态测试,而数组越界是静态测试中最常见的问题之一,并且其带来的危害巨大,甚至导致软件系统崩溃。根据数组越界的现象及特点,详细描述了数组越界的定
【机 构】
：
江苏自动化研究所
【出 处】
：
电脑编程技巧与维护
【发表日期】
：
2012年4期
其他文献
会议背景：随着兽药GMP认证工作的深入进行，实施兽药GSP认证，加强兽药流通环节的监督管理已经提到了议事日程。兽药GSP是全过程、全员参与和全企业的质量管理，实施兽药GSP是贯彻执
傈僳族女子舞蹈《高山彩云》在“第四届滇西民族艺术节”开幕式大型文艺表演中获得一等奖,得到观众和专家们的好评:很美,美在敢于创新,创新中不失民族特色,表现中没有庞杂的
荷兰乌得勒支大学的Keawcharoen研究了“经典”禽流感病毒H5N1，并解释了野生动物特别是鸟类在这种病毒传播中的作用。自1997年以来，H5N1病毒株主要是在亚洲流传。
为实现永磁电磁混合悬浮地球仪的稳定悬浮控制,采用伪微分反馈控制算法进行了力学和运动学分析,建立了系统数学模型,推导出控制对象及控制系统的传递函数,并对其稳态性能进行了理论分析.研究结果表明,伪微分反馈控制策略针对混合磁悬浮系统非线性和固有的不稳定性具有鲁棒性和控制精度高的特点.
著名滇剧表演艺术家彭国珍虽然逝世了,但她却在滇剧声腔艺术的宝库中。给我们留下了一份用其辛勤的汗水和聪明才智铸成的厚礼——彭派唱腔艺术。她的许多精采唱段仿佛又在耳
本文提出了一种分析桩与桩相互作用的ＱＲ法，利用这种方法分析桩与桩相互作用，不仅计算简便，而且精度高，能用微机分析复杂问题，比有限元法优越。
利用地面常规与加密自动站降水观测、卫星云图、NCEPFNL全球分析等资料对2008年10月12～14日海南持续暴雨天气过程进行诊断分析。分析表明：热带低压、冷空气以及副热带高压三者