错误注入相关论文
恶劣电磁环境中,CAN总线“载波侦听采样点”的位置设定不规范有可能对网络数据传输可靠性产生影响.为测量采样点的准确位置,研究了......
目前,设计验证的质量主要通过代码覆盖率、功能覆盖率等多种覆盖率手段进行评估.但是覆盖率评估存在着自身的问题,如:代码覆盖率并......
攻防的焦点往往集中在对漏洞的发现和利用上.通过对漏洞的原理分析,建立一个能够指导实践的脆弱性模型,并在此基础上研究主动发现......
软件安全漏洞通常是由在软件设计过程中的软件错误引入的，随着软件系统的复杂程度和规模的提高，软件漏洞也越来越多。因此软件错误的......
Web Service是建立可互操作的分布式应用程序的新平台,引入了一种全新的Web应用开发、部署和集成的模式。由于WebService通常包含......
本文以一款军用高可靠性串口通信芯片的验证工作为例,介绍了以芯片的需求规格、激励中的错误注入和基于约束的随机验证方法为依据,......
本文对Xilinx的Virtex-4器件的配置存储器(Configuration RAM,CRAM)做了详尽的错误注入实验.并给出了适用于Virtex-4的逻辑资源与......
R SSP-Ⅱ安全通信协议软件是铁路通信领域安全产品,其软件功能测试采用SDP专项测试工具实现自动化测试,从而提高了测试效率和测试......
文中讲述了利用语法检测分析软件脆弱性的原理及方法,描述了基于语法规则的检测模型及其工作过程,提出了分析工具的系统设计方法,......
针对传统的Web service安全性测试方法存在的低效性和盲目性,提出了一种基于Web service日志挖掘的安全关联规则挖掘算法,并阐述了......
缓冲区溢出漏洞自从出现以来,一直引起许多严重的安全性问题,而且随着软件系统越做越大,越来越复杂,缓冲区溢出漏洞的出现越来越普......
linux驱动程序在内核中占有很大的比例,驱动的故障对于内核的影响已经引起人们广泛的关注,虽然对此有很多的研究,但是过去的研究并......
首先给出基于用户实例分析的网格可靠性分析模型,通过分析应用遥感图像处理典型实例来分析图像处理网格的可靠性;然后实现了基于错......
研制自动化的组件安全测试工具将对基于组件的软件工程产生重大影响，并能有效保障组件软件的安全性和可靠性，是当今软件业界一个极具......
操作系统和应用软件中的潜在远程缓冲区溢出漏洞是信息系统面临的最严重安全威胁之一。检测软件中潜在的远程缓冲区溢出漏洞对于提......
环境错误注入是一种动态的测试软件脆弱性的技术,建立在对系统脆弱性分类模型的基础上,通过选择一个恰当的错误模型,测试系统有意......
本文主要介绍了一种先进的软件错误注入测试技术在现代的高可靠性系统中的应用，首先需要对于该技术的原理和方法有深入的认识，这是了......
研究了一种用于测试软件安全的基于EAI(Environment Application Interaction Model)模型的软件错误注入测试方法,提出了用包裹函......
为了避免当计算机系统的内部器件发生瞬时或永久性的故障时程序的执行流程发生错误,提出了一种基于插入块的控制流错误检测方法—......
本文对Xilinx的Virtex-4器件的配置存储器(Configuration RAM,CRAM)做了详尽的错误注入实验.并给出了适用于Virtex-4的逻辑资源与......
提出了一种使用网络层错误注入技术的修改版本对基于SOAP的Web服务进行可靠性测试的方法．通过将有意义的错误注入SOAP消息来测试Web......
针对常见的四余度模拟量表决算法复杂度高的问题,介绍了一种分块加权的四余度模拟量表决算法。该算法通过把四余度系统拆分为两个......
研究了基于EAI(Environment Application Interaction)模型软件错误注入测试方法,结合变异测试技术,提出了一种基于EAI模型的加权......
构件特别是第三方构件的可靠性及安全性是影响构件技术发展的重要因素之一．目前在构件安全漏洞的测试方法和技术方面研究还不够深入......
论文主要介绍了一种在高可靠性系统中常用的错误注入测试技术,讨论该技术的原理与方法,以及在提高软件质量、增加系统健壮性等方面......
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们......
在传统错误注入方法的基础上,结合组合变异测试技术,提出一种面向组件的错误注入加权组合测试方法。对组件环境的注入条件设置加权......
研究使用错误注入的方法进行web应用软件脆弱性测试的技术，提出环境与状态错误模型（EAS模型），并提出基于EAS模型的web应用软件安全性测......
软件错误注入测试（software fault injection testing，简称SFIT）技术经过近30年的发展，一直是软件测试领域最活跃的研究内容之一．作为一......
EDAC（错误检测和纠正）是星载计算机对付单粒子事件有效的策略。本文给出了基于32位SPARC体系结构微处理器TSC695F的EDAC设计，并给出了......
Web2.0已成为目前网络上的热点技术,作为其核心技术的Ajax给用户带来了无刷新的网络快速浏览新体验。但是,临界于桌面应用程序的“......
外空间环境中高能粒子和电磁辐射可以对集成电路芯片内部电路的工作状态带来很大的干扰,引起电路以及系统的软错误。即使在地面环......
随着互联网和电子商务、电子政务的广泛使用,针对web应用软件的攻击快速增长,导致研究者们越来越关注web应用软件安全性的研究。与......
单粒子软错误是高辐照空间环境下影响计算可靠性的主要因素.随着芯片晶体管数的快速增长,单粒子软错误的威胁日益严重.结果错误（sil......
RSSP-II安全通信协议软件是铁路通信领域安全产品，其软件功能测试采用RDP专项测试工具实现自动化测试，从而提高了测试效率和测试规范......
网络协议处于Intemet的核心地位。对协议实现的测试是协议工程中研究的热点。论文首先给出了协议实现的鲁棒性定义，并介绍了错误注......
分支覆盖测试和随机测试都是广泛运用的软件测试方法,主要用于白盒测试中测试用例的生成和执行。变异测试是一种行之有效的检验测......
