论文部分内容阅读
给出了一种静态分析方法，静态分析的主要优点就是在程序运行之前就可以对程序故障进行定位。文章首先针对数组越界错误类型进行了分析，介绍了软件测试的一些基本概念，给出了这类错误的静态分析方法，并给出了相应的算法，而后给出了测试系统设计和开发，最后给出了软件测试的实验结果和分析。
数组越界的静态测试分析
【摘 要】
：
给出了一种静态分析方法，静态分析的主要优点就是在程序运行之前就可以对程序故障进行定位。文章首先针对数组越界错误类型进行了分析，介绍了软件测试的一些基本概念，给出了这类
【机 构】
：
装甲兵工程学院信息工程系
【出 处】
：
计算机工程
【发表日期】
：
2006年3期
其他文献
最小预期时延（MED）是一种典型的延时可容忍网络（DTN）路由算法，其现有的改进算法MED—PC能有效地提升性能，但后者事实上加强了节点先验知识假设，缩小了应用范围，并引入过大的计算开销
目的了解护士学员能量摄入量和消耗量,为保证学员合理营养,防止肥胖提供理论依据.方法用膳食调查法调查能量摄入量及24 h生活作业观察法计算能量消耗量,并测量体重.结果入学
《景岳全书·卷二十八》曾记载一喉窍紧涩、一夜而殁的病例,景岳莫知其所以病,谓之“终身之疑窦”。历代医家亦见仁见智,莫衷一是.作者认为死因当以中医喉科之内肿锁喉风
Internet由多个自治系统相互连接而成,AS间的互联结构体现了Internet的宏观结构。研究AS间的连接关系可以辅助分析网络特性。该文研究了Internet AS级拓扑发现,实现了一个Int
<正>1临床资料患者女,27岁。双足、双小腿反复起红斑、溃疡伴疼痛9年。患者9年前无明显诱因于左足踝出现片状红斑,伴疼痛,后红斑中央出现破溃、渗液,局部红肿,就诊于当地医院
<正>毫无疑问,我们已经进入了"新时代"。而所谓"新时代"的一个关键就是意味着,传统时代既有发展逻辑的中断和失灵,许多过去我们熟悉并行之有效的规律与规则已经变得低效无效
随着已有Web服务数量的不断增加,如何利用现有的Web服务创建新的更复杂的Web服务成为一项新的研究课题。该文提出了MDA模型转换驱动的合成Web服务开发方法,针对Web合成的静态
综述了目前国内外柴油低温流动改进剂的研究开发概况，系统介绍了柴油降凝剂的种类及其降凝作用机理，如吸附机理、共晶机理、成核机理等，并对常用的分析研究技术手段进行了介绍，最
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield