胡香冬
- 作品数：4 被引量：20H指数：3
- 供职机构：中国科学技术大学计算机科学与技术学院更多>>
- 发文基金：国家自然科学基金安徽省重点科研计划项目更多>>
- 相关领域：自动化与计算机技术更多>>
- 影子模式:一种新的用于测试的设计模式被引量：7
- 2004年
- 介绍了一种新的设计模式 :用于测试面向对象程序的影子模式 它为每个使用它的对象生成一个影子对象 这种模式允许测试脚本无缝地嵌入到程序中 ,无需额外的测试驱动或测试插件 在测试过程中 ,测试用例可以调用影子对象作为测试插件 ,也可以调用真实的应用代码 ,测试脚本可以在运行时做出选择
- 涂永忠邵晨曦蔡维德胡香冬
- 关键词：设计模式面向对象测试
- 基于定性仿真的非线性动力系统相图构造
- 相图描述是非线性动力学中常用的以几何方式表示系统全局行为的方法.传统的构造相图的数值计算方法虽然可以给出精确的局部行为预测却无法保证覆盖系统所有可能的行为.定性仿真是以非数字手段处理信息输入、建模、行为分析和结果输出等仿...
- 胡香冬
- 关键词：非线性动力系统
- 文献传递
- 非线性系统的定性相图构造被引量：5
- 2004年
- 提出了一种新的基于定性仿真的非线性动力系统相图构造方法。首先对在定性仿真中应用最为广泛的QSIM算法进行改进,提出了适合于非线性系统的基于具体代数约束表示的仿真算法。在此基础上,对二维分叉系统以及非奇异的三维系统的相图构造实践进行实例分析。结果表明这种方法是完全可行的,它能够捕捉到所有定性可区分的系统行为从而很好的弥补传统的基于数值积分的相图构造方法的缺陷,因而具有其不可替代的价值。
- 邵晨曦胡香冬白方周
- 关键词：非线性动力系统
- 密码协议的SPIN建模和验证被引量：8
- 2002年
- 为了将模型检测这种强有力的系统验证技术应用于网络协议的安全分析,形式化建模仍然是目前的关键问题和难点所在.本文提出了一种基于高级过程描述语言的建模方法.根据入侵者角色和攻击目标的不同,从入侵者的角度分析协议的运行模式,为每个主体建立过程模型,用模型检测工具进行分析验证.对BAN-Yahalom协议的SPIN分析验证了这种方法的可行性.该方法具有一定的通用性,对其它网络协议的分析有很好的参考价值.
- 邵晨曦胡香冬熊焰蒋凡
- 关键词：密码SPIN计算机网络
