【摘 要】
：
软件兼容性测试是测试软件在特定的软硬件系统上和不同的应用软件之间能否协调工作的过程,是软件开发过程中必不可少的一个步骤。然而对于既有软件系统,如何有效定位该系
【机 构】
：
StateKeyLaboratoryforNovelSoftwareTechnology,DepartmentofComputerScienceandTechnology,NarjingUnivers
论文部分内容阅读
软件兼容性测试是测试软件在特定的软硬件系统上和不同的应用软件之间能否协调工作的过程,是软件开发过程中必不可少的一个步骤。然而对于既有软件系统,如何有效定位该系统中软件交互关系所可能触发的冲突是当前较难解决的问题。本文针对这一实际问题,将组合测试方法运用于软件兼容性测试的故障定位,并在组合测试和差异调试法的基础上提出改进的故障定位方法SDD( Strengthen Delta Debugging)。通过和差异调试法的对比实验,显示了SDD方法改进的有效性。通过实际案例,我们分析了SDD方法定位组合测试发现的软件兼容性故障的过程。实验证明组合测试方法能有效的发现系统中软件间的兼容性故障,SDD方法能以较小的代价定位出引发兼容性故障的软件组合。
其他文献
风能在我国许多地区应用越来越广泛,其中有一些地区为高烈度设防区。目前,对于风力发电机组抗震性能的考虑还不充分。作为一种高耸结构,风力发电机组需要通过地震动力分
声波测井换能器技术是声波测井的核心技术之一。传统声波测井仪器采用的单极子换能器无明显的周向指向性，没有方位分辨能力。新一代声波测井技术采用了具有周向扫描辐射特
本文应用有限元方法模拟了在井壁有无缺陷的不同情况下井中相控声波的传播、聚焦和反射的全过程，计算表明即使是存在明显的栅瓣信号时超声相控阵技术也可以实现对管壁的高
本文针对分层介质半空间中频散的导波聚焦问题，理论上提出了宽频带导波聚焦的新方法，通过对宽频带内不同频率的导波进行延时激发，使不同频率下各模式导波同时到达焦点。数值
为探索区域构造应力场与瓦斯突出的关系，首先以川东高陡构造为大区背景，通过分析华蓥山构造演变形成过程，分析了大区域构造应力场形成机制；再以重庆三汇矿区为重点研究区域，从
本文从完全匹配层(PML)波动方程出发，介绍了分裂形式的完全匹配层(SPML)和非分裂形式的完全匹配层(NPML)的边界条件方程，并在二维的情况下，比较全局SPML和全局NPML吸收边界
水声信道是一个时变空变的相干多途信道，抗多径干扰是一直水声通信的难点。直扩系统具有较强的抗干扰能力，抗多径能力，能够进行多址通信，能够在较低的信噪比条件下工作，同时可
本文深入研究了VRI＞VSN时的分层半空间中导波的传播机理，得到了有意义的结果。对VRI＞VSN的分层半空间，只在低频存在一种导波模式，即存在截止频率，在高于该截止频率的频段内不存
在声学研究的诸多领域，如何对声信号进行测量、采集及信号处理是一项重要的研究内容。在研发声波测井仪器时，需要对声波换能器以及声波测井探测器进行性能测试和实验研究，如
自2002年Taleyarkhan在Science上发表文章报导声空化核聚变的证据以来,气泡核聚变已经在科学界热议了整整10年。学者们开展了大量的理论和实验研究以探索声空化的核效应(