错误模型相关论文
目前,设计验证的质量主要通过代码覆盖率、功能覆盖率等多种覆盖率手段进行评估.但是覆盖率评估存在着自身的问题,如:代码覆盖率并......
数字集成电路的设计错误注入技术在功能验证中具有重要的意义,可用于评估验证质量和指导激励生成。然而根据调研分析,学术界并没有通......
随着芯片集成度的不断提高,功能验证已成为集成电路设计流程中时间耗费最大的环节,尽早且快速地发现集成电路设计中的错误,对于缩短验......
信息技术发展至今,已经涉及到我们工作生活的各方各面,在教育领域,传统的教育手段和模式很难满足人们对教育的需求,于是智慧教育、......
为双头镜像磁盘系统建立错误模型,在该模型的基础上描述了双头镜像磁盘系统的容错调度算法.提出一个实时双头镜像磁盘系统的实时容错......
元基因组的序列分类是元基因组学分析中一个很重要的环节。目前,基于同源比对的元基因组序列分类方法大都采用Blast、Blastx等速度......
在初中生的头脑中,对电流的理解总是有一点点疑惑,总是想从自己的生活经验中寻找一种模型来类比电流,从而就产生了一些错误模式,甚......
可逆电路是量子计算科学、低能耗COMS以及纳米技术蜒究的基础。确保可逆电路的正确性和可靠性,错误检测和定位必不可少。本文通过......
设计验证是芯片设计过程中保证其可靠性的重要环节。其中,模拟是实际中最主要的验证方法。根据应用目的的不同,可以将模拟验证技术......
可逆电路是量子计算科学、低能耗COMS以及纳米技术蜒究的基础。确保可逆电路的正确性和可靠性,错误检测和定位必不可少。本文通过......
面向方面编程(AOP)允许程序员将跨越多个模块的横切关注行为封装到一个可重用的模块中,极大地增强了系统的可维护性和代码的重用性......
分析和评估复杂分布式软件系统涉及到系统功能性需求以及性能、可用性和可靠性等多种质量属性,但目前的方法一般不能同时兼顾功能......
针对软件安全性问题,提出一种新的软件安全性分析方法。首先探索将软件组件AADL错误模型转化为马尔科夫链模型,计算组件处于不同危害......
模拟作为实际工程领域中设计验证的主要方法,其不完备性常常是不可避免的,对大规模的设计方案尤其如此,因此覆盖评估成为模拟验证......
面向方面编程技术很好地实现和改进了软件系统横切关注的模块化,是软件发展的一个新的方向。因此,对面向方面的有效测试也就显得非......
针对无线传感器网络中存在的异常丢包现象,探讨在NS2仿真平台下利用ErrorModel设置网络丢包率的方法,通过对实验结果的分析对比,进而......
...
针对目前在生产测试平台中广泛使用的高密度VXI PXI Digital I/O板卡容易损坏且故障定位困难、不便维修和维护的情况,开展了对其进......
A software fault injection system SFIS is designed,which consists of the target system plus a fault injector,fault libra......
提出了一种使用网络层错误注入技术的修改版本对基于SOAP的Web服务进行可靠性测试的方法.通过将有意义的错误注入SOAP消息来测试Web......
针对航空电子系统体系结构安全性评估过程中,组件故障影响分析,正确性难以保证的问题,提出了一种基于模型的体系结构错误行为描述......
为基于与转换相结合的单个不安理论,设计为非仿射的非线性的系统的一个类被考虑的输出规定的一个控制合成方法。产生控制信号被定义......
通过使用NS-2网络仿真器提供的错误模型,模拟无线多跳自组织网络中无线链路的误码率,研究自组织网络环境中的无线链路误码率对TCP性......
近些年许多学者发现我们国家大多数英语专业研究生缺乏批判性思维能力。他们说英语专业研究生在不久的将来会遇到失业问题因为他们......
研究使用错误注入的方法进行web应用软件脆弱性测试的技术,提出环境与状态错误模型(EAS模型),并提出基于EAS模型的web应用软件安全性测......
分析了随机变量对NS2错误模型的影响,解释了当随机变量的分布的参数发生变化时,错误模型的丢失率偏离预期值这一现象的原因,并在此基......
无线网络是一种移动通信技术与计算机网络技术相结合的产物,其克服了传统网络的不足,实现了可移动的数据交换,为局域网开辟了一个......
AADL可以描述机栽设备系统的时序需求、任务状态等关键性能特性,已应用于航空、电子自动化、机器人控制等实时系统。提出基于AADL的......
随着互联网和电子商务、电子政务的广泛使用,针对web应用软件的攻击快速增长,导致研究者们越来越关注web应用软件安全性的研究。与......
在基于模型驱动的嵌入式软件开发中,为了避免安全问题可能产生的损失,需要对系统的安全性进行分析,找出可能发生错误的地方。在基于AA......
期刊