一种随机TBFL方法

许多学者研究了运用测试集对程序错误语句定位的问题,并提出了许多行之有效的方法,这些方法统称为TBFL(testing based fault localization)方法。后来人们发现,测试集里如果出现冗余,则这些冗余测试用例会伤害这些定位方法的功效。为了解决这个问题,Hao等人提出了SAFL(similarity aware fault localization)方法。实际上完全避免冗余是不可能的,因此从另一个角度构造了一个新的TBFL方法,称为随机TBFL方法。该方法的基本思想是:测试前对程序的语句错误概率进行先验分布,并把测试集看成随机变量,用测试用例反映的程序语句有关信息对程序语句的概率作一些调整,调整后的概率称为后验校正概率,最后根据这个后验概率对错误语句进行定位。将传统的TB-FL方法如Dicing方法、TARANTULA方法、SAFL方法纳入随机信息分析并通过几个实例进行分析和比较,结果表明,随机TBFL方法不仅能够正确定位错误语句,而且冗余对该方法的功效伤害不大。     

用户需求驱动的Web服务测试

Web服务涉及开发者、提供者、注册中心、用户等多方,各方测试目的、所掌握的资源以及所使用的测试方法各异.以用户需求来驱动Web服务测试,更切合现状且能提升测试效率.文中建立了用户需求特征模型,引入层次关系、控制结构、约束条件等要素;对照目标级、服务组合、原子服务需求,分别进行基于等价类划分、数据流分析和变异测试的测试用...     

游戏规则的设计

游戏规则是游戏设计师在游戏开发之初就要考虑的问题,对游戏规则的学习和了解是玩家在游戏前需要面对的第一个问题,因为这影响游戏的上手难度。而游戏规则的难易程度则直接左右着玩家对游戏的认可度和整个游戏的可玩性。本文作者通过形象的坐标轴向大家展示了几种常见的游戏规则设计的特点,并向读者推荐了一些游戏设计思路。     

基于One-test-at-a-time策略的可变力度组合测试用例生成方法

组合测试可以有效地检测软件系统中由各个因素间交互作用所引发的软件故障.但传统的组合测试方法对系统中各因素之间的实际交互关系考虑不足,难以有效处理交互力度不统一的情况,进而可能导致测试用例的冗余和检错能力的降低.针对该问题,应在充分考虑因素间实际交互关系的基础上,使用可变力度组合测试方法,从而实现对于因素间实际交互关系的覆盖.为此,文中针对一种新的可变力度组合测试模型,提出了两种基于one-test-at-a-time策略的可变力度组合测试用例集生成算法.实验表明,相对于已有的具备类似功能的测试用例生成算法和工具,文中提出的算法在测试用例集规模和算法运行时间上均具备一定优势,并可适用于固定力度组合测试、可变力度组合测试等不同测试模型.     

SPCC钢塑性变形中动态再结晶的数学模型与模拟分析

利用热模拟设备Gleeble-1500D,对SPCC钢在不同变形量下的真应力-应变曲线进行了测定,并结合微观组织观察,确定了SPCC钢动态再结晶的数学模型,研究并分析了变形参数对动态再结晶晶粒的影响.通过DEFORM有限元软件对SPCC钢的热压缩过程进行模拟计算.分析了不同变形条件对晶粒尺寸的影响.模拟计算结果很好地与实验结果相吻合,为进一步研究这种钢的动态再结晶提供了一定的参考依据.     

保护罩塑料外壳注射模设计与制造

对保护罩塑料外壳的技术要求和工艺结构进行分析,从型腔布置、浇注系统、推出方式、侧向抽芯结构等方面分析了模具设计要点,并介绍了典型零件的加工工艺。实践表明,该模具结构设计合理,成型可靠,塑件脱模顺利,能保证产品质量。     

基于MSC Marc软件平台的铸轧辊辊型三维有限元仿真

基于大型非线性有限元分析软件MSC Marc,建立连续铸轧三维热力耦合的数学模型和物理模型,同时考虑轧辊的热辊型和力辊型,采用铝高温本构关系和接触热阻数值模型,建立铸轧过程复杂的边界条件和热接触条件,并用Fortran语言对MSC Marc进行二次开发;模拟现场工艺变化规律,采用非均匀入口温度场,仿真得到轧辊在稳定铸轧状态下的辊型曲线;最后通过现场工业试验,验证模型算法和结果的正确性.     

Y2O3和La2O3对金属陶瓷内衬显微硬度和耐蚀性的影响

研究了钇、镧等添加物对金属陶瓷内衬显微硬度和耐蚀性的影响。结果表明:加入Y2O3、L a2O3和S iO2可使陶瓷层的孔隙度降低,一定程度上使耐蚀性增加。L a2O3对提高陶瓷层性能的效果比Y2O3要好。     

硅酸盐片层对PAn/MMT涂层防腐性能的促进作用

在聚合温度为25℃、n(过硫酸铵):n(苯胺)=1:1、掺杂剂磺基水杨酸c(SSA)=0.03mol/L的实验条件下,改变蒙脱土(MMT)的质量含量,运用插层聚合的方法制备出PAn/MMT复合纳米材料.该复合材料在NaCl质量含量为3.5%的腐蚀环境中作为冷轧钢涂层,蒙脱土质量含量为0.5%时,腐蚀电流最低,为2.1μA;SEM分析表明,PAn/MMT涂层中蒙脱土以纳米数量级片层结构分散在聚苯胺中;电导率测定表明,蒙脱土质量含量为0.5%时,电导率最大,为22.8S/cm104,说明适量的硅酸盐片层可以增加聚苯胺的导电性.该复合材料分别以环氧树脂和沥青漆作为面漆,在c(盐酸)=1.0mol/L的溶液中浸泡6h后的电化学阻抗谱(EIS)均出现较大的Warburg阻抗,证明涂层中的纳米数量级的硅酸盐片层通过增加聚苯胺的导电性和阻隔性,提高了涂层的防腐蚀性能.     

基于yong分析的内可逆简单空气制冷循环性能优化

基于yong分析的观点，运用有限时间热力学方法分析恒温热源内可逆简单空气制冷循环的特性，导出制冷率、生态学目标函数和yong效率与压缩机压比等主要影响参数的解析式，以相应的数值计算分析压缩机压比、高低温侧换热器热导率分配对循环性能优化的影响特点，并把生态学优化目标、yong效率优化目标和传统的制冷率优化目标进行综合比较。所得结果对工程制冷系统设计具有一定的指导意义。