通过增大边际权重提高基于频谱的错误定位效率

基于频谱的错误定位技术通常利用覆盖信息来求出程序中每条语句的可疑度,并将语句按照可疑度降序排序以寻找错误语句.文中对已有的基于频谱的错误定位算法进行改进,将失败测试用例的边际权重引入到可疑度计算的过程中,即针对某一特定语句,令失败测试用例的权重随着其对该语句覆盖次数的增加而增大.实验结果表明,相对于其它方法,文中提出的方法对错误定位效率有一定的促进作用,即只需检查更少的语句即可找到出错位置.     

浅析局域网的数据传输及安全策略

随着计算机网络的飞速发展,网络数据传输的安全问题也变的日趋严重。如何来实现局域网这个特殊定位区域内的数据安全传输,怎样解决数据资源的共享与安全的矛盾,已成为相关工作人员关注的重要问题。本文论述了局域网内数据传输的基本构架,分析了影响局域网数据传输的安全隐患,并提出了行之有效的解决方案,旨在为实现局域网安全的数据传输提出参考性的意见。     

J2ME移动远程控制应用的研究

讨论采用J2ME技术实现移动远程控制应用的方法.方法在手机端采用MIDP里的HttpConnection接口技术,PC端采用Servlet技术,并实现了手机对PC机的远程控制.方法可运用于智能居家、家电信息化等,推动物联网发展普及.     

基于概率的无监督缺陷预测方法

软件缺陷预测能够提高软件开发和测试的效率,保障软件质量。无监督缺陷预测方法具有不需要标签数据的特点,从而能够快速应用于工程实践中。提出了基于概率的无监督缺陷预测方法—PCLA,将度量元值与阈值的差值映射为概率,使用概率评估类存在缺陷的可能性,然后再通过聚类和标记来完成缺陷预测,以解决现有无监督方法直接根据阈值判断时对阈值比较敏感而引起的信息丢失问题。将PCLA方法应用在NetGen和Relink两组数据集,共7个软件项目上,实验结果表明PCLA方法在查全率、查准率、F-measure上相对现有无监督方法分别平均提升4.1%、2.52%、3.14%。     

一种随机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钢的热压缩过程进行模拟计算.分析了不同变形条件对晶粒尺寸的影响.模拟计算结果很好地与实验结果相吻合,为进一步研究这种钢的动态再结晶提供了一定的参考依据.     

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

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