【摘 要】
:
被动测试不仅能够检测协议实现是否有错误,而且利用检测过程中的症状信息能够标识错误.提出一种扩展了的被动测试错误标识算法,它能够在标记错误过程中记录该错误所导致的系统状
【机 构】
:
中国科学技术大学计算机科学与技术系
论文部分内容阅读
被动测试不仅能够检测协议实现是否有错误,而且利用检测过程中的症状信息能够标识错误.提出一种扩展了的被动测试错误标识算法,它能够在标记错误过程中记录该错误所导致的系统状态;又给出了一种以上述状态为初始状态继续向前观察多步以区分错误的算法.所提方法能够区分等价错误;继续向前测试步数不受限制,应用该方法对一个简化的BGP协议状态机模拟器进行错误标识,实验结果表明:在观察步骤数足够多的情况下所提方法能够高效定位系统实现错误.
其他文献
澜沧江在在云南省境内河长1247公里,是云南六大水系之一。2018年7月21日,中共云南省委云南省人民政府印发了《关于全面加强生态环境保护坚决打好污染防治攻坚战的实施意见》,
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食
Back to yield
国家教育部颁发《全国普通高等学校体育教育本科专业课程方案》确立了排球在我院的基础课地位.目前,我院体育教育和运动训练专业的同学都安排了排球普修课.并且确立了“三基
摘要是学术论文不可或缺的一部分,其英语译文关系到研究成果在国际学术界的接受和认可。从声音视角出发,以第一人称代词为例,比较分析了社会科学和自然科学论文摘要的英译,并
我国的城市规模随着经济的发展在不断地扩大,并且工业也得到了飞速的发展,但是,凸显出来的城市水土流失问题也越来越严重。为了实现国家的可持续发展,在开展城市建设的同时,
核电厂因其本身的特殊性更加强调机组的安全稳定运行,所以在执行汽轮机热力性能试验时需寻找安全运行与结果精确的一个平衡点。针对福清核电2#机组汽轮机考核试验方案展开讨
目前,人们在有效治理环境所带来的污染过程中,为将资源实现最大化的利用,有关部门需要针对当前存在的环境污染问题制定符合实际状况的法律法规,让人们充分认识保护生态环境的
Sirt1是一个高度保守的烟酰胺腺嘌呤二核苷酸(NAD+)依赖性的组蛋白去乙酰基酶,近年来发现其与心血管疾病的发生发展密切相关。本文就Sirt1与心血管疾病各危险因素之间的关系
针对标准JB/T344-93《凝汽器性能试验规程》中,凝汽器性能计算方法未给出压力的具体修正方法,本文在国产首台600MW机组不锈钢凝汽器性能试验结果的基础上,提出实测凝汽器压力
通过对人类所面临的水资源短缺问题的阐述,从如何进行污水回用、缺水地区的可持续发展情况、雨水的收集和利用、构建节水型生态农业等方面进行了论述,阐明了保护好水资源,实