【摘 要】
：
蜕变测试可以部分解决软件测试中的Oracle问题,其关键步骤和难点是蜕变关系的构造,它将直接影响测试的效果。通过对典型程序测试的案例对蜕变关系的构造进行分析,归纳总结了若干构造蜕变关系的基本准则,并在案例研究中采用变异分析方法验证了构造准则的合理性。提出了蜕变测试与等价类测试结合运用的测试方法,此方法可用于输入空间易于分类的程序。
论文部分内容阅读
蜕变测试可以部分解决软件测试中的Oracle问题,其关键步骤和难点是蜕变关系的构造,它将直接影响测试的效果。通过对典型程序测试的案例对蜕变关系的构造进行分析,归纳总结了若干构造蜕变关系的基本准则,并在案例研究中采用变异分析方法验证了构造准则的合理性。提出了蜕变测试与等价类测试结合运用的测试方法,此方法可用于输入空间易于分类的程序。
其他文献
针对目前i GPS自带光电传感器无法应用于大尺寸部件的动态位姿检测领域的问题,设计了一种阵列式光电传感器,并提出了结构参数标定方法。该传感器由传感器本体、放大器以及前端处理器三部分组成。放大器将本体上的环形阵列硅光电池组接收到的微弱激光信号转换为可用电压信号,并进行信号放大与调理;以STM32F103ZET6为主控芯片的前端处理器完成信号采集、识别、计算与传送功能。实验结果表明:在10 m×10
基于无线传感器网络(WSNs)的无源被动定位技术,因无需目标携带任何电子标签,成为当前传感器网络定位领域的研究热点之一。无线层析成像(RTI)定位算法因计算量轻,可实时定位在无源被动定位系统中广泛应用。但目前RTI算法,因未考虑因测量噪声引起的伪位置,这造成目标的真实位置与个数无法辨识。提出使用高斯核滤波的方法消除RTI中的伪位置,实验证明:该方法可行,有效。
提出了基于手机麦克风和姿态传感器的风向测量方案。首先建立了风引起的噪声和风与麦克风夹角两者之间的关系模型。通过实验,观察到风从对称角度吹向麦克风产生的噪声相似。入射角均匀变化下,记录的风噪声具有对称特性,对称轴对应于风向角度。设计了基于卷积的循环自卷积(CAC)算法,定位序列中的对称轴。基于此算法,提出了从风噪声信号中计算风向的方案。最后在Matlab上实现算法并测试了测量效果。
当无线传感器网络中存在多个源节点时,某个源节点向目标基站发射信号,其形成波束的旁瓣会对其它非目标基站产生干扰。针对该问题,提出一种利用中继节点选择来抑制旁瓣干扰的
针对岩土体渗流难于原位监测的问题,提出了一种利用电解极化产生电解质脉冲进行示踪的方法。介绍了传感器的测量原理、结构和测控电路。采用覆铜板制作了尺寸为20 mm×5 mm的传感器,并在6 mm内径有机玻璃管模拟的单裂隙中进行了流速测定实验。结果表明:传感器结构简单、体积小,在0.01~0.1 cm·s-1的流速范围内,传感器的重复性误差小于5%,低阻峰测量线性误差为2.80%,高阻峰测量线性误差为4
传感器节点用于采集轮轨作用下钢轨的振动信号以分析钢轨振动特性。为了测试传感器节点的工作性能,设计并实现了能提供稳定振动信号的测试系统。测试系统基于MSP430单片机,由
在无线传感器网络（WSNs）中,现有的数据复原汇聚算法不能准确判断节点感知数据的受攻击程度,数据复原精度偏低,故提出了一种基于卡方拟合度的分布式数据复原汇聚算法。该算法根
针对物联网环境下的服务获取问题,结合物联网节点能量有限、节点自组织、数据空间性等特点,提出了一种基于人工能量势的物联网空间社区服务获取方法。首先给出了空间社区的概念,然后利用能量迁移方法,使物联网用户能够通过空间节点在节点的最大有效传输范围内寻找最优节点作为下一跳节点,以减少节点的下一跳数和交互时间,从而节省节点能耗,提高服务获取的效率。理论分析和仿真实验表明,提出的方法与Random Walk和
针对目标数目未知和被动传感器测量精度不同情况下的航迹起始问题,提出一种基于多站被动传感器系统的航迹起始算法。该算法首先利用多规则法对测量数据进行预处理,消除一部分
在自组网中,ZRP的域间路由维护策略使ZRP具有较多的丢包数目和较多的路由重发现次数。前者使ZRP的数据包投递率较低,从而使其可靠性较低;后者使ZRP的传输时延和路由开销较高