基于区间缩减的自动化打桩方法

为了提高自动化单元测试的覆盖率,提出一种基于区间缩减的自动化打桩方法。该方法首先选择一条目标执行路径,利用路径敏感和变量相关的区间计算技术,计算路径对该路径上所有函数调用的路径约束区间,并利用该约束区间对函数调用的返回值区间进行区间缩减,最后根据缩减后的区间进行桩代码自动生成。该方法已经在单元自动化测试系统(UATS)中实现,对10个开源大型函数进行测试的结果表明:该方式将平均覆盖率由50%提高到81%,对于等价表达式较多的函数,覆盖率提高了10倍,证明该文提出的方式能有效地提高自动化单元测试的覆盖率。     

测试用例自动生成中约束求解策略的选择

在软件测试中,构造测试用例是非常重要的一环.传统的测试用例生成方法都由测试人员手动完成,这种生成方式效率低下成本高昂,同时生成的测试用例非常有限,覆盖率较低.首先探讨了通过约束求解的方法,通过分析程序路径中所有的约束表达式,逆推得到测试用例的过程;然后调查了不同类型的C语言工程的待测源码的统计结果,同时针对其特征,引入了不同的约束求解算法策略;最后通过各种策略的组合与配置,给出了一种具有普遍性的测试用例自动生成的约束求解方法.     

基于路段覆盖率的浮动车样本数量研究

作为智能交通系统(ITS)的重要组成部分,浮动车技术得到了广泛的应用,而浮动车样本数量与路段覆盖率以及抽样时间段之间的关系又是在应用中必须解决的问题.通过对现有理论的研究,在考虑到GPS定位误差的情况下,推导出了3者之间的理论关系式,并与所获取的成渝高速成渝段的实际数据进行对比拟和,从而证实了理论公式的可行性.     

计算机辅助风量计算

计算机辅助风量计算蔡良才，邓学钧（东南大学交通运输工程系，南京２１００１８）风对飞机起飞着陆有影响，尤其是对飞机着陆安全影响较大，主要表现在以下三个方面：（１）在有较大侧风时，飞机着陆会随侧风方向而偏移，不易对准跑道着地。（２）在有较大顺风时，飞机起...     

报纸编辑诚意的深度表达

从新闻报道的角度转换、专家分析、报道形式、副刊建设四个方面提出当今时代优秀报纸必须选择的四种编辑思路．指出报纸采编者对新闻报道艺术的追求程度直接关乎新闻人的职业精神与诚意．而这种精神与诚意又是采编者的动力与创造力之源。     

基于概率感知模型和量子粒子群算法的移动节点部署

为了解决监测区域的传感器节点部署问题,设计了一种基于概率感知模型和量子粒子群算法的移动节点部署方法。首先,在传统概率感知模型中加入节点剩余能量因素进而得到改进的概率感知模型C（S_i,p）{=0,ifd（S_i,p）≥r—r_e E_ir/E_i0-e-λσ,if d（S_i,p）≤r＋r_e 1,ifr—r_e≤d（S_i,p）≤r＋r_e,然后基于改进的概率感知模型设计了多目标优化的节点部署模型,在优化模型中考虑了网络覆盖率和能量因素。最后定义了基于量子粒子群算法来获得节点的最优位置对应的Pareto最优解的优化算法（即将粒子编码为节点部署方案,采用最小化网络能耗和最大化网络覆盖率为粒子的Pareto目标,引导粒子在可行解空间不断更新位置寻求最优解）。仿真实验结果表明：文中方法能正确地实现监测区域的传感器节点部署,能实现较为均匀的网络覆盖,与其他方法相比,具有较高的网络覆盖率和较长的网络生命周期,具有较大的优越性。     

基于遥感的东营市植被覆盖动态变化研究

以东营地区1995年和2010年两期TM影像为数据源,通过计算归一化植被指数,并利用混合像元二分模型计算植被覆盖度,其植被覆盖变化从低到高分为5个等级．植被覆盖度变化结果如下：从1995年一2010年东营地区植被中高和高覆盖度类型面积增加,其面积变化率分别为483．2％和168．35％,极低和低植被覆盖度类型面积减少,其面积变化率分别为61．01％和51．11％．从空间上看,东营地区整体植被覆盖度都有所增加,而北部沿海、中部城区的植被覆盖度有所下降,这与东营市近年来重视植被保护和城市化加速有密切的关系．     

海拔梯度下的江孜沙棘(Hippophea gyantsensis)群落物种多样性分布格局

文章通过样方调查方法,沿着海拔梯度对拉萨河谷上段江孜沙棘(Hippophea gyantsensis)群落的物种多样性分布格局进行了研究。从海拔3850m至4200m共设置了4个样带,11个样方,记录了每个样方内的维管束植物物种组成,江孜沙棘盖度和每个样方的海拔高度。利用回归分析方法发现,江孜沙棘群落物种多样性随着海拔升高而升高,而随着江孜沙棘的盖度的增加而降低。造成这种分布格局的主要原因可能是湿度和光照两个生态因子。随着海拔的上升,生境内的湿度在增加,物种多样性增大,而江孜沙棘盖度的增加,导致林内光照减弱,其结果是群落内的物种多样减小。     

Analysis of coverage problem under border effects in wireless sensor networks

Wireless sensor networks can be used to monitor the interested region by deploying dense sensor nodes. Coverage is a primary metric to evaluate the capacity of monitoring. In this paper, we focus on the coverage problem under border effects, where the sensor nodes are distributed in a circle-shaped region randomly. Under this scenario, we derive the expected coverage of the sensor node and the total network coverage provided by n sensor nodes accurately by probability. These findings are useful to determine the related parameters (sensing range, number of sensor nodes and radius of monitored region) for a specific network coverage ratio. Simulation results demonstrate that our analysis is correct and effective.     

遗传基因算法在验证中的改进

随着SOC系统越来越复杂,将遗传基因算法应用于芯片验证,实现验证的自动化,可大幅度提高SOC验证的功能覆盖率。介绍了一种基于遗传算法的验证向量自动生成算法遗传基因算法,并在此基础上提出了一种改进算法,即生长算法。其思路是在遗传基因算法的基本原理上,通过由覆盖率较小的向量群成长为覆盖率较大的向量群。通过在SOC验证平台的应用证明了它们能快速达到较高覆盖率,缩短了验证周期。