NHPP类软件可靠性增长模型已经成为软件可靠性工程实践中非常成功的工具,从某些模型的一些共同特征出发,研究了NHPP类软件可靠性增长模型的有限通用框架,提出了一个既考虑软件测试的不完美性、故障检测率随时间的变化,又考虑了故障改正效率随时间变化的NHPP类软件可靠性增长模型框架.一些已经存在的NHPP类软件可靠性增长模型是这个框架的特例.
UML Statechart是UML的一个主要组成部分,与其他类型的Statechart相比,由于采用事件队列的调度方式,UML Statechart有着更多的不确定性,使得针对UML Statechart模型的测试非常困难.本文给出了一个形式化的语义模型,并将Statechart转化为一个比较简单的标志变迁系统,利用路径选择算法得到一个基于标志变迁系统的测试集,然后通过判断得到的测试集...
关键的负载测试对于降低大型软件的风险至关重要.在实施负载测试的几种方法中,基于硬件与虚拟用户的测试方法的可行性、可实施性都很强.本文以Rational性能测试工具为例,给出了一个基于硬件与虚拟用户的大型软件负载测试解决方案.
基于索引的分布式检查点算法利用了Lamport逻辑时钟的思想来保证形成全局一致性检查点(或者恢复线).作为一种准同步方法,基于索引的检查点算法具有异步检查点算法的灵活性,且能像同步算法一样避免多米诺效应.本文在著名的BCS算法的基础上提出了一种减少基本检查点数目的优化策略--重新计时法.最后,通过模拟实验证明了这种改进策略的有效性.
本文运用缓冲区和增量有盘检查点相结合的技术提出了一个快速可靠的改进N+1奇偶校验检查点方案.在N个应用进程运行时,通过设置一个专用的检查点进程来实现N+1的奇偶校验,并且利用检查点机在检查点间隔的空闲时间将增量的奇偶校验检查点信息保存到稳定的存储器中.改进的算法利用了无盘检查点方案的快速及磁盘检查点的高可靠性,减少了一台备份处理...
测试和调试之间的关系是极端密切的.回归测试是软件测试和维护过程中的一个重要活动.在程序中找出错误是一个复杂的过程,它涉及到理解程序的用途、结构、语意和导致错误的测试的相关特征.本文提出了一种基于Chopping技术进行错误定位的方法.这种方法反复利用调试信息和回归测试结果,通过从程序中抽取出与特定的语句有关的、相对原来的程序小得多...
由于表达式LRAUC错误对程序中各类错误的广泛覆盖性,本文以表达式LRAUC错误为检测对象,研究了表达式测试方法.本文首先阐述了当前表达式测试方法理论研究的局限性;然后,为了解决处于程序上下文中的一般表达式测试问题,研究了表达式错误/失效过程,并对影响该过程复杂性的因素进行了简化,提出了表达式LRAUC单路测试方法;阐述了此方法的具体实现,给...
软件的健壮性正变得越来越重要,目前还缺乏准确的、可重复利用的方法来衡量系统的健壮性.健壮性基准程序就是为了解决这一问题而提出的,它由一系列健壮性测试案例组成.本文以Linux为例,简要介绍了当今操作系统健壮性基准程序测试的主要方法,对用于分析测试结果的维度模型进行了分析,提出了软件健壮性的包裹测试方法,并用实例说明了其有效性.
Exception是一类特殊的对象,它在Java方法出错时被创建,并利用try/catch/finally机制抛出、处理异常.本文提出了一种合理的新方法,在系统依赖图中表示异常处理模块,利用图可达性算法实现了Java程序切片.
超深亚微米工艺下,线间串扰是导致电路故障的主要原因之一.尽管可能导致故障的线间串扰的数量巨大,但真正会引起故障的线间串扰却相对较少.因此,如果能在对电路验证或测试前进行静态定时分析,找出那些导致电路故障的线间串扰,则可以有效提高测试生成效率,并降低测试成本.基于此目的,文章在静态定时分析中引入对线间串扰现象的分析,在线时延模型...
检测CMOS电路中的开路故障通常需要使用测试向量对。内建自测试(BIST)作为一种有效的测试技术可以大大降低测试开销。本文采用一种具有规则性、模块化和层叠结构的自动控制单元(CA)，来构造产生测试向量对的BIST模块。实验证明，该方法用于瞬态电流测试是有效的。
本文提出了一种对VLSI电路功能测试的方法,可以同时检测和定位VLSI电路输入和输出端上的固定故障和桥接故障,而不需要知道它们的内部逻辑结构.因而,对于简化测试过程、降低测试成本, 具有十分重要的实际意义.
在本文中,我们提出了一种改进的扫描森林结构并将其运用到基于扫描的自测试中,目的是在保证故障覆盖率的同时,将电路的扫描测试代价降低到非扫描可测试性设计的水平.为了构造这种适合于自测试(以下简称BIST)的改进的扫描森林结构,我们使用了三项技术:一种扫描触发器平衡分组策略、一种新的扫描树结构和一种新的扫描输入信号处理办法.大量的实验...
存储器内建自测试是当前针对嵌入式随机存储器测试的一种经济有效的途径.它实质是BIST测试算法在芯片内部的硬件实现,形成"片上BIST测试结构",作为E-RAM核与芯片系统其他逻辑电路的接口,负责控制功能,实现片上E-RAM的自动测试.根据一个实际项目,本文介绍了MBIST的整体设计过程,并针对测试开销等给出了定量和定性的讨论.
本文介绍了一种针对SOC测试设计中嵌入式芯核的核测试语言(CTL).该语言描述了如何将可测试性设计置入具有知识产权 (Intellectual Property,简称IP)芯核和SOC中,从而加速测试生成和复用.CTL语言标准虽然还未被IEEE正式通过,但已经在EDA厂商、ATE厂商和IP芯核提供者之间悄然兴起并被积极采用,一系列基于CTL的产品也相继被研制出来.本文通过对CTL...
本文主要介绍了层次化CDFG中标准控制结构和并行结构的扩充及转换方法，从而为在高层次SOC设计中真正使用HCDFG提供了基础。同时，文中还给出了HCDFG在系统验证中的作用，它为不同方法的混合验证提供了统一而有效的内部结构。
本文概述了近十年来VLSI电路的短路和开路缺陷及其故障建模的研究进展.本文将VLSI电路短路缺陷分为逻辑门内部的短路和逻辑门之间的互连短路两大类,重点介绍了栅氧短路和桥接故障模型.相应地,文中将VLSI电路的开路缺陷分为逻辑门内部的开路和逻辑门之间的互连开路两大类,重点介绍了逻辑门内部的网络断开、浮栅和互连开路的故障模型.文中还讨论了...
事件注入是源于故障注入原理,可以用于对计算机网络可信性进行测评研究.本文分析了事件注入技术在可信性测评中的应用问题,对事件注入的几个关键指标进行了相应的分析,并探讨了事件注入技术不足之处和改进方向.
本文在研究了国内外Byzantine协议的基础上提出了一种新的Byzantine一致性协议,即基于的Byzantine一致性协议.该协议按照Byzantine容错机制将所有参与运算的进程分成很多小块,每个块设有一个.通过,块内的进程向其他块的进程发送运算结果.这样,在进程发生Byzantine错误时可以先在块的内部处理,从而可以有效地减少容错的开销和时延,提高系统的安全...
软件测试是提高软件可靠性的有效手段,健壮性是网络应用软件重要的质量因素.本文针对网络软件的特点,提出了一种测试网络软件健壮性的方法--通过对交互数据接口进行负载测试和接口容错测试,检验软件对异常数据的处理能力,从而确保各种异常输入的正确处理,提高系统的安全性以及可靠性.
现有的告警相关方法处理开销比较大,特别是在告警风暴的情况下有可能无法处理.该文针对这种情况,提出一种改进的、适用于分布式入侵检测系统的告警相关方法,并给出了一个采用这种方法的实现框架及其实验结果.结果表明,改进后的告警相关方法能在告警相关识别率和告警相关准确率保持基本不降低的条件下,告警相关数据处理率降低40%以上,从而可保证...
在对网格计算的研究中,有人考虑了计算资源中服务质量(QoS)因素,在对传统的Min-Min算法加以改进的基础上,提出了QoS Guided Min-Min算法.在此基础上,本文提出一种新的扩展型算法,以进一步提高网格资源的利用率.最后,本文对以上三种算法的实验结果进行了比较分析.
芝加哥大学提出了一个网格资源选择算法,能够同时满足单一资源选择和多个资源选择的要求.但是,由于算法一开始就选择了资源集合中单机最强的节点,所以很容易陷入局部最优,且算法不具备容错能力.针对这种情况,本文对该算法进行改进,提出了基于基版本/副版本技术的容错资源选择算法.模拟实验表明,算法是有效的.
本文通过分析数据包对的分离时间与背景流量之间的关系,提出了一种改进的基于包对模型测量端到端路径有效带宽的方法(ABwPP),可以直接测量路径的有效带宽而不需已知瓶颈带宽.NS-2上的模拟实验结果表明,该方法是准确有效的.
基于现有的AS网络拓扑生成模型,本文提出了一个遵循Rich-Club现象的新网络拓扑模型.该模型不仅保正反映AS网络的基本性质,还能满足AS网络所有的特性Rich-Club现象.仿真结果表明,本文的模型和算法是有效的.
目前,因特网端到端行为的研究多集中在包延迟、包丢失等测量指标的研究上,对包乱序行为却没有深入的研究,也缺乏能精确、全面反映包乱序程度的评价指标.本文针对包乱序行为,提出了一种基于概率密度函数的评价指标--包乱序密度函数.该指标能精确、直观地量化包乱序的程度.最后,本文通过在中国教育和科研网选取的链路进行实际测量分析,使用该指标...
本文介绍了铁路车站站场图的结构,阐述了站场图逻辑语义的含义及站场图构成规则库的构建,提出了一种基于图搜索技术的站场图逻辑语义解析算法,并将该算法在铁路计算机联锁软件测试评估平台子系统的站场CAD拼贴及数据校验中实现.
C语言是系统设计中一种主要的系统描述语言，在系统级软硬件协同验证及随后的软硬件划分、接口综合和行为综合等中都需要把C语言的系统描述转化为控制数据流图。本文介绍了一种层次化控制数据流图HCDFG-Ⅱ模型，以及从C语言生成该模型的方法。HCDFG-Ⅱ的层次化模型分为函数／进程级、语句级和操作级，根据需要可以生成不同级别的模型。本文讨论...
本文对管网校合数学模型进行改进,提出了用遗传算法进行管网校合的方法,并对广义简约梯度法和遗传算法进行了比较和分析,最后指出了算法的不足和以后研究的主要方向.
本文提出了一种多线程微处理器微体系结构EDSMT.EDSMT有效结合显示并行指令计算EPIC和动态同时多线程DSMT技术,通过软、硬件协同的方式充分开发和有效支持多个层次的并行性.EDSMT能够降低硬件设计的复杂性,提高微处理器性能.
购物车(0)