【摘 要】
：
故障注入是容错机制验证、软件测试、可信性基准程序所必需的重要技术手段.为了保证所选的故障模式具有典型性,必须要对程序中实际发生的各种故障模式进行分类整理,抽取出其特征,形成一组具有代表性的故障模式.本文以Java语言作为载体,详细分析了常见bug模式作为故障施加到目标系统或软件中的方法,提出了针对Java的故障注入方案.
【机 构】
：
同济大学计算机系,中国 上海 201804
论文部分内容阅读
故障注入是容错机制验证、软件测试、可信性基准程序所必需的重要技术手段.为了保证所选的故障模式具有典型性,必须要对程序中实际发生的各种故障模式进行分类整理,抽取出其特征,形成一组具有代表性的故障模式.本文以Java语言作为载体,详细分析了常见bug模式作为故障施加到目标系统或软件中的方法,提出了针对Java的故障注入方案.
其他文献
针对Pathload可用带宽测量方法存在收敛慢、开销大的问题,文章基于时延变化的统计规律,改进发送速率调整算法,提出了一种Pathload可用带宽测量方法的改进方法(WPathload),并采用周期流组到达目的端的速率代替周期流的发送速率,更新可用带宽上界,从而加快收敛速度,降低测量开销。实验结果表明,改进后的方法收敛速度明显加快,测量开销明显降低。
建立了基于改进的J-M模型,改进模型在原有的J-M模型基础上定义了故障消除概率,从而克服了原模型对于排错过程估计过于乐观的不足.该模型可以根据软件测试中搜集的故障数据,估计出软件初始故障数、单位故障率,并能预测出软件下一故障发生的概率及最可能出现的时间,预测出软件系统可靠性增长的趋势,为判断产品的质量达标与否提供理论依据.从而得出软件可以达到的可靠性指标及达到该指标所需要的测试时间.
Three new architectures that applied to flash memory test are introduced in this article. Test Per- Site Architecture allows each device to run through the test flow as fast as possible without waitin
为了减少测试模式的存储需求,本文提出了一种基于扭环计数器作为测试模式产生器的横向和竖向数据压缩技术.首先,利用输入精简技术对测试集进行横向压缩,接着,对横向压缩之后的测试集再进行竖向压缩,在竖向压缩方面,我们利用了一个有效的种子选择算法,它能将确定性的测试集压缩成很小的种子集.基于ISCAS89 Benchmark 的实验结果表明,采用本方案所实现的测试电路,存储位数平均减少了44％,测试矢量的长
本文主要讲述了在使用Formality作形式验证时发现了综合前后仿真失配的各种问题,并对其中由于不良的代码风格所引起的问题进行了举例分析,而且对如何修改程序提出了自己的建议。
IEEE属性描述语言PSL为描述硬件设计的属性提供了一种标准语言,基于断言的验证方法(ABV)为硬件的设计和验证提出了一种新的很具有优势的验证方法。用PSL作为ABV方法中描述断言的语言,使得ABV中的断言能够被语法精简、语义严格清晰地描述出来.本文通过对FIFO设计和断言的描述,以及对断言的验证结果的描述,给出了如何利用PSL写断言的一般方法,然后再进行模拟仿真,找出使断言失败的原因,以便找出设
随着集成电路设计规模的日益增大,组合验证已成为时序电路的形式化等价性验证的重要手段.为了验证较大规模的电路,通常需要将随机模拟、自动测试生成、二叉判决图、布尔可满足性等多种推理引擎相结合.本文提出了一种基于电路拓扑结构分析的组合等价性验证方法,通过将电路的拓扑结构与算法的复杂性关联起来,在验证过程开始之前,利用min-cut方法,计算表征电路复杂性的“电路宽度”,由此确定最佳的推理引擎,避免传统的
基于可满足性(SAT)的模型检验技术已逐渐成为主流的形式验证技术.在RTL,SAT问题的复杂性表现在位(bit)和字(word)数据类型并存和多样化的约束关系。其中,对数据通路的约束求解尤为关键.本文提出采用二元CSP来求解RTL数据通路的可满足性问题,并给出了算法的流程以及流程中每个步骤的实现方法。我们初步实现了算法,并对实验进行了设计.实验结果表明,即使是在没有采取很多优化策略的条件下,基于C
作者在对模拟锁相环解码器SE567的构成和工作原理进行分析的基础上,提出了测试的解决方案,同时在ASL1000机台上实现并验证了测试方法和测试程序的有效可行性。
本文对一款应用于有线数字电视传输中信道解调解码芯片中内嵌模数转换器的测试方法进行了研究,在分析芯片功能和引脚的基础上,列出了具体的测试夹具开发方案和电路引线图,针对内嵌式ADC的特点,给出了测试向量中测试矢量的时序关系,根据时序关系编写了测试向量,基于以上基础,完成了内嵌式ADC的测量,并总结了测量内嵌式ADC时需要注意的问题。