【摘 要】
：
基于符号执行的测试用例生成方法，以其高可靠性得到了学术界和工业界广泛关注。然而。已有工具大都面向C或者C＋＋程序，面向Java的符号执行工具发展相对较慢。JDart是表现较好的一
【机 构】
：
西北工业大学自动化学院,西北工业大学软件与微电子学院
【基金项目】
：
国家自然科学基金（61402370）与航天科技基金（HT-2017-XG）资助
论文部分内容阅读
基于符号执行的测试用例生成方法，以其高可靠性得到了学术界和工业界广泛关注。然而。已有工具大都面向C或者C＋＋程序，面向Java的符号执行工具发展相对较慢。JDart是表现较好的一款开源的面向Java的符号执行工具，但是对复杂数据类型比较数组却支持很弱，因此，在对JDart工具以及动态符号技术进行分析的基础上，通过对JDart测试用例生成能力和存在问题的深入剖析，针对数组处理进行改进，以提高生成测试用例的代码覆盖率，保证测试质量。最后，通过用三角形程序实例进行验证，结果表明，改进后的JDart工具能够完全探
其他文献
关于SO2的性质实验，现行高中教材编排了两个实验：一个是SO2遇水呈酸性，另一个是SO2的漂白性实验。通常教师都会补做SO2让溴水（或碘水或酸性KMnO4溶液）褪色的实验，用以证明SO2的还原
管理体系是企业的无形资产,这是知名企业管理者一致认可的道理,也是吉林省工程咨询服务中心(以下简称"吉咨中心")全体员工较为认可的事实.吉咨中心从 1987年组建以来,无论是
要培养新一代具有创新精神的人才，作为教育工作者应主动研究新课程，探究新时期的育人方法。我在平时的观察中注意到，有的任课老师在上实验课时，往往面面俱到，结果一节课讲解占去了
近年来随着多尺度分析和压缩感知成为研究的热点,字典学习算法在图像融合领域得到了广泛应用,但是其算法应用于可见光和红外图像的融合,容易出现块状噪声,边缘有振铃现象。基于此,本文提出了一种基于非下采样剪切波变换(NSST)和字典学习的红外和见光图像融合算法研究,对NSST分解的低频分量利用滑动窗口得到图像块序列,并对其进行零均值化后再稀疏分解,选择区域能量的融合规则,高频子带选择拉普拉斯能量和的融合规
中国加入WTO后,国内加速了改革开放的步伐.一大批外资企业纷纷来到中国,通过合资或独资的方式在国内投资兴建项目,其中不乏一些国际知名的工程公司.他们的到来也引入了许多先
招标管理与其他管理一样,不是为了简单地建立一种运行程序和步骤,而是在良好的运行程序和步骤中创造最佳效益.因而,要使招标管理工作处于最佳有效的运行状态,就必须掌握好招
NaOH溶解放出的热，能引起蜡烛熔化、饱和KNO3溶液中未溶的KNO3继续溶解、碘升华……我选取了现象出现最快和视觉刺激最强的使碘升华的实验。
一、为银行贷款决策服务的咨询市场是很大的自1984年起,中央政府对银行体制实行了一系列改革,主要包括把工商银行、农业银行、建设银行、中国银行等改制为国有独资商业银行,
J2108斜面小车是中学物理力学中重要的实验设备，可用于测试各种摩擦力和（配合其他仪器）做运动学实验等。由于它能做的实验较多，使用频率高，使用久了就引起诸如轮与轴的摩擦磨损而
<正> 加入WTO,对中国工程咨询业的发展一是机遇,二是挑战。 首先是为中国工程咨询业提