【摘 要】
：
目前主要采用实验测试的方法对基于签名的控制流错误检测算法进行评价,但由于控制流错误模型的不确定性,而导致测试结果存在一定的偏差,本文尝试采用模型验证的方法评价控制
【机 构】
：
哈尔滨工程大学计算机科学与技术学院,华中科技大学电子科学与技术系
【基金项目】
：
国家自然科学基金项目（60973035）, 中央高校基本科研业务费专项资金资助项目（HEUCF100606 HEUCF100604 C2009Z028J）
论文部分内容阅读
目前主要采用实验测试的方法对基于签名的控制流错误检测算法进行评价,但由于控制流错误模型的不确定性,而导致测试结果存在一定的偏差,本文尝试采用模型验证的方法评价控制流检测算法的错误检测能力。本文首先简述了基于签名的控制流错误检测算法的基本原理,其次,提出了控制流错误跳转关系表示方法和指出了传统的控制流错误检测能力分析方法中未考虑的影响检测能力的因素,接下来,结合这些因素提出了基于签名的控制流错误检测能力验证模型,最后给出实例,通过验证模型分析了目前典型的基于签名的控制流错误检测能力。
其他文献
小学数学实践活动是发挥学生主体意识,培养学生主动探索精神的活动,也是促进学生发展和整体素质提高的一种教学形式.实践活动要注意以下几个方面:
自主评论是学生在美术教学中对自己及他人的美术作品进行正确地描述、分析、解释、评价的过程.在这个过程中,学生将自主评析与他人的评析结合在一起,从而对自己及他人的美术
“学源于思,思源于疑”。因此,教师在数学教学中要鼓励学生大胆质疑,并针对问题引导学生突破思维的局限,从多方面去思考,寻求问题的答案。 如教师在讲“轴对称”知识时,可在
在英语阅读中,学生遇到的最大的障碍就是词汇关,而解决这个问题的关键是练习者心中应树立起"上下文"观念,根据上下文来确定已认识的单词甚至是完全陌生的单词的意思.
目的：调查电焊紫外辐射对作业人员的危害及工人对于防护用品的使用情况,分析典型症状的相关危险因素,为修订我国紫外辐射职业卫生标准提供基础数据。方法：使用自行设计的问卷结
心理学告诉我们:"原型"对思维活动有积极的启发作用.因为相似性联想能引起选择性泛化,从而帮助我们打开思路,以原型为基础进行再创作.唐代史学家刘知几在其专论<模拟>中说:"
本文介绍了一种非参数Copula即Bernstein Copula。通过Bemstein Copula可以对任何多元分布函数进行逼近。推导出了该类Copula的非线性测度：Spearman’srho。并对3种Copula的Sp
随着教育改革的不断深化，各级各类学校为实现教育公平，共享优质教学资源，纷纷建立精品课网站。但目前精品课网站建设中存在着重复建设、实现技术落后、内容更新不及时、查询功能
实施素质教育要求教学过程必须体现学生的主体地位.教师在教学中要做到"六让",才能较好地调动学生的学习积极性和创造性,培养学生的创新意识、创新思维和创新能力.