【摘 要】
：
静态测试是软件测试的一种,它是在不运行源程序的基础上,通过对源程序或者中间代码进行抽象和理解,抽取程序的属性并预测其运行时行为和状态来完成测试.通过对DTSJava系统的
【基金项目】
：
国家“八六三”高技术研究发展计划基金重点项目(2007AA010302),国家“八六三”高技术研究发展计划基金项目(2009AA012404)
论文部分内容阅读
静态测试是软件测试的一种,它是在不运行源程序的基础上,通过对源程序或者中间代码进行抽象和理解,抽取程序的属性并预测其运行时行为和状态来完成测试.通过对DTSJava系统的分析,来说明通过函数摘要对程序进行全局分析的静态测试方法.函数摘要是对函数信息的一种抽象,一般与具体的缺陷模式相关.包括前置信息、后置信息和特征信息.前置信息主要是对调用该函数的条件的一种约束,如参数不能为空.后置信息主要是对类成员和实例成员变量的影响.特征信息是对当前函数一些特征的描述,如资源分配或释放信息.
其他文献
车辆自组网(VANETs)是物联网在智能交通领域的一种重要应用形态,近年来已经成为了学术界和工业界的共同研究重点.VANETs具有诱人的发展前景,但其应用受到安全性和隐私保护的
基于Cytron和Cooper等人的研究成果,提出了一个新的概念——支配边界逆转（dominatorfrontier inverse,DFI）来同时为多个变量摆放Φ函数.如果结点y以结点x为支配边界,则结点x就
本文介绍了风电叶片在生产过程中所使用到的几种保护面漆,主要为聚氨酯面漆、聚脲涂料（聚天门冬氨酸酯涂料）、硅氟类涂料,并详细介绍了三种涂料的制备、工艺以及其应用性能。
9月6日至8日，第23届中国国际复合材料工业技术展览会在上海世博展览馆隆重举行，中国华信旗下全资子公司上海玻璃钢研究院有限公司作为协办方参展。在华信集团公司的支持下，上玻
常数模算法（constant modulus algorithm,CMA）能够很好地克服无线信道引入的符号间干扰（ISI）,在信道均衡中广泛应用,但存在稳态误差大,相位旋转的问题;MMA算法解决了CMA算法的相
对于幼儿园课程游戏化教育来说,既是幼儿学习知识的起点,也是提高幼儿学习兴趣和学习能力的重要基础,所以幼儿园教师要以幼儿的思维角度出发,融入科学合理的课程游戏教学内容
国家能源局近日正式印发《风电发展“十三五”规划》，明确了“十三五”期间风电发展目标和建设布局。规划指出到2020年底，风电累计并网装机容量确保达到2．1亿千瓦以上，其中海上风
本文简单介绍了使用长纤维热塑性复合材料替代传统手糊工艺生产小型风机叶片的意义、优势、可行性以及生产方法,并以现有的一款叶片为例对相关环节进行分析验证。
<正> 土地海苓煎系笔者经验方,由土茯苓、地肤子、海藻、猪苓、黄芩、知母、升麻、枳实、瞿麦、通草组成,主治急慢性泌尿系疾患。肾结石(石淋) 李某,男,64岁,农民,1987年10月
本文介绍了：1、3D打印技术、规模转型升级；2、国际空间站内、月球永久基地上3D打印技术；3、海面、海洋下3D打印技术、制品；4、3D打印在医药、食品的应用；5、3D打印设备、软件；6、3D