【摘 要】
：
日益增长的软硬件系统规模和系统可靠性需求对软件开发测试提出了更高的要求。其中故障注入是衡量系统容错能力和抗干扰能力的一种重要的测试手段,在系统中引入故障值或信号
论文部分内容阅读
日益增长的软硬件系统规模和系统可靠性需求对软件开发测试提出了更高的要求。其中故障注入是衡量系统容错能力和抗干扰能力的一种重要的测试手段,在系统中引入故障值或信号可以模拟真实环境下的外部干扰和系统扰动,达到检测异常状态下系统容错机制或恢复机制的目的。故障注入技术不断成熟的今天,特别是软件实现或模拟实现的故障注入技术中,却仍存在着注入精度低、注入性能差、测试周期长的问题。本文借助模拟器容易对程序进行运行控制和跟踪的特点,在模拟器环境下对故障注入进行了研究和优化,来实现在高注入精度下的高性能故障注入,达到提高故障注入测试效率,缩短测试开发周期的目的。本文的研究工作如下:1)研究了故障注入点上的读写行为特点,发现了故障注入过程中存在的冗余注入现象,针对该现象提出了指令级故障注入模型,以及在故障规则设计阶段进行优化的最小化注入原则;2)基于指令级故障注入模型,研究实现了在模拟器环境下的运行时和静态去冗优化注入方式,设计实现了基于共享内存的日志记录方式来解决程序因故障注入而崩溃时日志丢失的问题;3)研究实现了模拟器环境下针对软件故障的、基于指令注入和编译技术的故障注入执行加速技术;4)对上述功能进行了系统性的测试,验证了本文工作的有效性。
其他文献
随着Web技术的进步和网络应用的普及,越来越多的企业或组织将自己的业务功能单元以Web服务的形式发布到网络上；另一方面,普通用户对网络服务提出了更高的要求。他们己不再满足
在设计三维模型初期,设计师会构建一些概念模型,利用透视绘图等方法绘制专业的二维草图,但是深度信息的缺失降低了二维草图对三维物体的表现力。幸而得益于计算机图形学和可
高光谱遥感图像包含同一空间位置较大数量的连续窄波段图像,是由二维空间信息和一维光谱信息组成的三维数据,在环境监测、地质调查等领域有着广泛的应用。噪声在高光谱图像获取的过程中不可避免地被引入,降低了图像质量并影响着之后图像处理应用的性能。因此,高光谱图像去噪是非常重要的图像预处理工作。最近,基于低秩近似和稀疏表达的高光谱图像去噪方法吸引了很多的关注。在高光谱图像中,全波段图像块(包含同一局部区域不同
三维无线传感器网络(Wireless Sensor Network, WSN)技术的瓶颈问题是能耗问题,而拓扑控制作为无线传感器网络的MAC层和网络层的运行平台,对无线传感器网络的能耗起着非常重
随着GPS设备的不断普及，基于位置的服务逐渐走进我们的日常生活。反向k最近邻(Reverse k Nearest Neighbor, RkNN)查询作为基于位置服务的支持技术之一，已经成为当前的一个研究
智能监视技术的广泛应用是为了防止异常行为的发生，而行人是这些异常行为的主要发起者。因受到衣着、光照、姿态等多方面因素的影响，行人检测是目标检测中的一个难点；同时，在目前
随着互联网的迅速发展和计算机应用普及,人们对IT产品的可信需求越来越高,其中软件安全性显得尤为重要。然而对于软件安全的研究多数集中在软件的实现过程中,致使软件需求阶
以网络为重要组成部分的计算机应用走到了一个空前繁荣的时代，各种新的应用环境、应用需求纷纷出现，在一些如搜索引擎、社交网络等大规模应用中，数据每天都在以极高的速度增长。
近年来，计算机技术和网络技术的飞速发展，为语音、视频等数据量大的多媒体信息的传播提供了广阔的平台。多媒体信息因其特有的形象、直观和生动等优点，使得人们对它的应用越来越
计算机网络技术的飞速发展，使得人们的生活发生了天翻地覆的变化，人们的生活越来越离不开网络的帮助。在这一过程中，网络的安全问题，尤其是入侵检测，始终是专家学者们关注的焦点。