徐锡山
- 作品数：56 被引量：224H指数：8
- 供职机构：国防科学技术大学更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金武器装备预研基金更多>>
- 相关领域：自动化与计算机技术文化科学军事化学工程更多>>
- 一个集成的软件可靠性工程环境被引量：1
- 2007年
- 针对软件可靠性工程实施中发现的核心问题,本文介绍了我们在软件可靠性关键技术上取得的突破,以及以此为支撑的集成环境SREE。该系统依托Eclipse,支持软件可靠性工程的关键活动:使用模型生成和构建、软件可靠性测试、软件可靠性评估和预测以及软件开发过程中可靠性的跟踪分析等。
- 唐赞岳毛晓光王戟徐锡山董威
- 关键词：工程环境
- 统计测试中测试链与使用链的相似性判别被引量：6
- 2003年
- 本文介绍了统计测试中测试充分性的度量方法。论述了统计测试的基本原理和主要特点,以及统计测试过程中测试链和使用链的相似性比较。文章还具体阐述了欧几里德距离和discriminant值在比较测试链和使用链相似性中的应用,以及它们在实际使用时需要注意的若干问题。
- 冯华徐锡山王戟
- 关键词：统计测试软件测试软件开发
- 人物关系挖掘模型的训练方法、人物关系挖掘方法及装置
- 本发明提供了一种人物关系挖掘模型的训练方法、人物关系挖掘方法及装置，训练方法包括：获取时空知识图谱；根据时空知识图谱的正样本进行随机采样，生成负样本，确定正样本和负样本的头实体初始嵌入、关系初始嵌入、尾实体初始嵌入和时间...
- 陈恺李爱平贾焰周斌王晔涂宏魁江荣喻承徐锡山宋怡晨赵晓娟李晨晨马锶霞于晗汪天翔尚颖丹林昌建
- 文献传递
- 一个基于统计测试的软件可靠性工程环境YH-SREE
- 本文探讨了软件可靠性工程中的关键技术,及一个计算机辅助软件可靠性工程环境YH-SREE的实现.它支持用户建立软件的使用模型,进行可靠性测试分析、用例生成和记录,然后依据软件项目特征和软件失效数据,智能化地指导可靠性模型选...
- 王戟毛晓光徐锡山齐治昌董威李书浩冯华
- 关键词：军事装备软件工程
- 文献传递
- 大规模网络中攻击图自动构建算法研究被引量：28
- 2013年
- 随着计算机技术和网络通信技术的飞速发展,网络安全形势日趋严峻.攻击者往往采取多步骤网络攻击的方式对网内多个漏洞实施逐步击破,而攻击图正好刻画了目标网络内潜在威胁的传播路径.针对目前攻击图构建算法无法很好地适用于大规模目标网络的问题,通过深入分析传统攻击图构建算法的不足和目标环境的特点,提出了一种新的构建攻击图的方法.首先,采用攻击图建模语言(Attack Graphs Modeling Language,AGML)形式化描述漏洞知识库和目标环境;其次,提出了目标环境的预处理技术,为目标环境中的属性建立索引,然后利用攻击模式的实例化技术构建攻击图.通过对该算法的时间复杂度分析和模拟实验验证,表明该算法具有良好的可扩展性,能够为具有复杂网络拓扑结构的大规模目标网络自动构建攻击图.
- 叶云徐锡山齐治昌吴雪阳
- 关键词：网络安全漏洞攻击图
- "软件技术基础"课程教学与创新能力培养
- 2006年
- 本文强调"软件技术基础"课程教学必须顺应创新能力培养的要求,教学内容要既有利于创新能力培养又能解决实际应用问题.
- 柳靖徐锡山
- 关键词：教学内容
- 基于攻击图的风险邻接矩阵研究被引量：12
- 2011年
- 针对各种已知的工具产生的攻击图十分复杂而且难以理解的问题,提出一种基于攻击图的风险邻接矩阵方法,并通过实验验证了所提方法的合理性和有效性。结果表明风险邻接矩阵方法增强了攻击图可视化的程度,并简洁有效地解决了风险评估中由环和回路带来的重复计算问题。
- 叶云徐锡山贾焰齐治昌程文聪
- 关键词：脆弱性攻击图
- 基于冗余的Web服务组合可靠性优化方法被引量：6
- 2008年
- 为了确保Web服务组合的可靠性满足用户需求,该文提出一种可靠性优化方法,利用软件容错技术来提高组合服务的可靠性。在Web服务组合的可靠性预测模型的基础上,分别给出两种容错模式下可靠性优化模型的表示,对于Web服务组合的优化设计具有一定的理论指导意义。
- 钟读杭齐治昌徐锡山
- 关键词：WEB服务组合可靠性软件容错
- 一种基于AOP的通用监视框架
- 传统方法，使用面向方面的相关思想和工具能编写更为灵活和通用的监视软件。 利用这一特性，本文提出了一种基于AOP的通用监视框架，并用AspectJ给出了在Java平台下的实现。它可以根据用户的配置丈件自动生成监视代...
- 徐理毛晓光徐锡山刘春林
- 关键词：面向方面编程
- 软件可靠性工程框架和评估系统实现被引量：4
- 2000年
- 给出了软件可靠性工程的实施框架,它规范了软件可靠性评估的过程.文章还提出一个软件可靠性评估系统的体系结构,并给出了实现所需要的一些关键技术.已经依此实现了一个软件可靠性评估系统CaSoR(Computer aid Software of Reliability)。
- 董威王戟毛晓光徐锡山齐治昌
- 关键词：软件可靠性工程软件工程
