江苏省高校自然科学研究项目(05KJD520172)
- 作品数：4 被引量：8H指数：1
- 相关作者：许秀林胡克瑾更多>>
- 相关机构：同济大学南通职业大学更多>>
- 发文基金：江苏省高校自然科学研究项目更多>>
- 相关领域：自动化与计算机技术自然科学总论更多>>
- 基于模型检查技术的信息系统生存性研究被引量：1
- 2009年
- 在运用Jha方法进行信息系统生存性研究时,没有分析不同攻击场景与系统节点失效之间的关联性,也未考虑系统提供多个服务情形下的生存性分析。针对上述问题,提出运用模型检查技术评价系统生存性的改进算法,建立多攻击场景、多个服务情形下系统生存性的计算模型,实例分析证明其具有较好的适用性。
- 许秀林胡克瑾
- 关键词：信息系统生存性分析
- 基于组合策略的单模式串精确匹配算法被引量：1
- 2008年
- 以仅使用后缀有限自动机的RF算法作为参照对象,对采用组合策略的LDM、ILDM1、ILDM2等算法时间复杂度进行了比较研究。实验表明,LDM和ILDM1算法的时间复杂度要差于RF算法,即组合策略是失效的。实验还发现,ILDM2算法中把模式前缀长度R是否超过模式长度m的1/2作为正向有限自动机暂停匹配的条件,对于中小字母表的模式串的匹配也不是最佳策略。
- 许秀林胡克瑾
- 关键词：有限状态自动机
- 基于约束满足搜索算法的测试用例生成策略被引量：5
- 2008年
- 针对约束系统中非线性谓词函数、指针、数组等复杂运算的求解问题,运用约束满足搜索算法,通过减少约束方程组中参数变量的个数,逐步缩小参数变量的取值范围,提出基于符号法求解约束的改进算法。对含有非线性谓词、数组的程序实例进行实验,结果表明改进算法能有效生成测试用例。
- 许秀林胡克瑾
- 关键词：测试用例生成软件测试路径覆盖测试
- 基于企业体系结构的信息系统生存性研究被引量：1
- 2009年
- 基于企业体系结构方法,从业务、应用、技术、信息等四个视角分别提出信息系统生存性评价方案,并将生存性测试和生存性设计结合起来,旨在通过信息系统安全机制的设计和改进,提高信息系统在恶劣环境下的生存能力。
- 许秀林胡克瑾
- 关键词：信息系统生存性
