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

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

逆向工程在汽车覆盖件设计中的应用

文章介绍了逆向工程的含义及工作流程,阐述了车身覆盖件的三维点云数据采集的过程及原理,讨论了利用逆向工程CAD软件Imageware对车身覆盖件点云数据处理并进行曲面创建及造型的过程。结果表明,逆向工程可以最大限度地表现造型设计师的设计风格,尤其适合于覆盖件产品开发。     

黄河三角洲土地利用/覆盖时空变化研究

黄河三角洲是中国土地利用/覆盖变化最为活跃的地区之一,近20年的社会经济发展加速了区域土地利用/覆盖变化.在解译和分析研究区1992、2000、2004和2010年4期遥感影像的基础上,研究了全区域及各区县结构变化特征、土地利用程度、动态变化和引起变化的驱动力.结果表明:1992~2000年研究区以盐碱地为主要土地类型,2004~2010年耕地成为主要土地类型;城镇用地和农村居民点用地面积增长迅速,主要由盐碱地和耕地转变;近20年间黄河三角洲陆地面积和海陆边界处于动态变化过程中,北部沿海地区岸线南移,东部沿海地区岸线东移;区域土地利用程度不断增加.黄河泥沙沉积造陆和海水侵蚀岸线是研究区土地利用/覆盖变化的主要自然驱动力,区域人口增长与经济发展及土地利用政策影响是主要社会经济驱动力.     

上海城市土地利用/覆盖演变对空气环境的潜在影响

以上海市区为主的高强度开发地区为例，运用空间自相关分析和分维／分形分析方法，探讨了城市化土地利用/覆盖对区域空气环境安全水平的潜在影响，认为用地类型转变导致的土地覆盖的变化将降低区域空气环境的潜在安全水平并增加人类健康损失的潜在机率。     

L-闭包空间的SP-紧性

在L-闭包空间中借助于Lα-c-开覆盖引入了SP-紧性的概念,讨论了其基本性质.证明了它对L-闭包空间具有闭遗传性、L-好的推广和弱拓扑不变性等好的性质.     

不同地表覆盖方式对土壤水分、温度及幼苗生长的影响

采用温室盆栽实验与人工造林地表覆盖试验方法,研究不同覆盖材料下的土壤蒸发特性、土壤保墒能力及苗木生长状况。结果表明：在土表覆盖条件下土壤含水量较对照(CK)有不同程度提高;在水稻秸秆覆盖下冰脆李、栾树林地土壤含水量较对照(CK)分别增加13.86%和9.82%;在玉米秸秆覆盖条件下梓树林地土壤含水量较对照(CK)增加7.79%;土表覆盖措施对苗木根质量和叶面积影响显著而对苗高影响不显著。喀斯特地区人工造林采用地表覆盖措施可减轻高温对苗木的伤害及季节性干旱对幼林生长的影响,从而提高苗木生物量。因此,地表覆盖可作为喀斯特地区人工造林初期促进植被恢复的有效措施之一。     

瑞风商务车托架零件冲压成形过程的数值模拟

文章在分析覆盖件成形过程数值模拟的关键技术的基础上,采用数值模拟方法对瑞风商务车右托架零件的拉延成形过程及不同工艺参数对成形结果的影响进行了研究;针对模拟结果中工件出现的缺陷,提出了初步的工艺改进方案,为板材成形工艺设计和生产实践提供有效的理论指导。     

基于遗传算法和后代校正的WSN覆盖和连通性优化方案

针对无线传感器网络(WSN)区域覆盖中传感器部署的覆盖性和连通性问题,提出一种基于改进型遗传算法的WSN覆盖和连通性优化方案.首先,将传感器位置编码成染色体.然后,通过遗传算法的交叉和变异操作进化染色体,获得新的解.最后,融入后代校正操作,以避免遗传算法获得的不可行解,最终获得传感器布置的最优方案.实验结果表明,该方案在不同的覆盖范围和通信范围下,能够利用最小数量的传感器实现区域k-覆盖并保持连通性,有效降低了部署成本.     

正则*-半群的子直积和半直积

给出正则^＊-半群的子直积的构造.利用这一构造定理,研究正则^＊-半群的E-酉覆盖.最后研究正则^＊-半群的半直积.     

有参数约束的两两组合覆盖测试用例生成的研究

对组合覆盖测试用例生成的研究已不少见,但考虑有参数约束情况的并不多．针对有参数约束的两两组合覆盖测试用例生成的问题,提出了一种基于IPO策略的有参数约束的两两组合覆盖测试用例生成算法,并与经典的AETG方法作比较,实验表明该算法在某些待测软件系统上可以得到比AETG方法更小的测试集．另外,该算法的确定性组合的特性使其在实际应用中可以更有效地降低测试成本．