您的位置： 专家智库 > >

孙涛

作品数：22 被引量：25H指数：3
供职机构：内蒙古大学计算机学院更多>>
发文基金：国家自然科学基金内蒙古自治区自然科学基金内蒙古自治区科技厅科技攻关项目更多>>
相关领域：自动化与计算机技术文化科学电子电信历史地理更多>>

合作作者

文献类型

  • 11篇期刊文章
  • 5篇学位论文
  • 3篇会议论文
  • 2篇科技成果
  • 1篇专利

领域

  • 15篇自动化与计算...
  • 2篇电子电信
  • 2篇文化科学
  • 1篇经济管理
  • 1篇政治法律
  • 1篇语言文字
  • 1篇艺术
  • 1篇历史地理

主题

  • 4篇网络
  • 3篇着色PETR...
  • 3篇列生成
  • 3篇SDN
  • 3篇CPN
  • 2篇序列生成方法
  • 2篇化简
  • 2篇PCO
  • 2篇TTCN
  • 2篇CP-NET...
  • 2篇DRIVER
  • 2篇并发模型
  • 1篇电子银行
  • 1篇电子银行产品
  • 1篇淀粉
  • 1篇动态阈值
  • 1篇信访
  • 1篇信访机构
  • 1篇形式化
  • 1篇形式化方法

机构

  • 22篇内蒙古大学
  • 3篇内蒙古科技大...
  • 2篇中国科学院

作者

  • 22篇孙涛
  • 9篇叶新铭
  • 3篇张俊星
  • 3篇李华
  • 3篇孙涛
  • 2篇王显荣
  • 2篇邢熠
  • 2篇刘靖
  • 2篇李茹
  • 1篇温国华
  • 1篇敖腾河
  • 1篇戴海滨
  • 1篇吴承勇
  • 1篇白翔宇
  • 1篇周建涛
  • 1篇刘广华
  • 1篇刘玉林
  • 1篇王燕
  • 1篇丁雪莲
  • 1篇张君

传媒

  • 4篇内蒙古大学学...
  • 3篇计算机科学
  • 1篇计算机应用
  • 1篇解放军理工大...
  • 1篇重庆邮电大学...
  • 1篇内蒙古教育（...
  • 1篇第十四届全国...

年份

  • 1篇2023
  • 1篇2022
  • 1篇2019
  • 2篇2018
  • 1篇2017
  • 3篇2016
  • 2篇2014
  • 3篇2013
  • 2篇2012
  • 1篇2011
  • 2篇2010
  • 1篇2007
  • 1篇2006
  • 1篇2005
共 22 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
下一代网络协议的互操作性测试建模与测试方法研究
李华叶新铭吴承勇李茹周建涛王显荣邢熠敖腾河张君刘玉林孙涛戴海滨
该项目是在国家自然基金项目、内蒙古自治区自然基金重点项目等系列项目的支持下，针对下一代网络的核心协议完成的互操作性测试研究，并以BGP4+、OSPFv3、RIPng为例进行了理论方法的实验。(1)基于自己建立的Rip协议...
关键词：
关键词：网络协议
基于CP-nets模型的并行软件测试方法研究
在软件产业高速发展的今天，并行软件系统已经成为一类主流的软件系统，在社会生产和生活中发挥着重要的作用。例如，网络软件系统，包括基于云计算的软件系统和基于物联网的软件系统，大都具有并行性特点。　　对并行软件进行测试的难度非...
孙涛
SDN环境下基于动态阈值的DDoS攻击检测方法研究被引量：7
2022年
软件定义网络SDN技术改变了传统网络中数控结合的局面,简化了网络管理。然而,SDN面对分布式拒绝服务DDoS攻击时也显得捉襟见肘。探讨了SDN环境下基于动态阈值的DDoS攻击检测问题。通过SDN网络的特点,提出了一种由触发检测和深度检测相结合的DDoS检测机制。该机制先根据收集到的流量状态计算网络环境的熵,并根据网络条件推导出一个动态阈值来进行粗粒度的异常预警。深度检测在预警信息后启动,通过基于机器学习的分类算法进行判断环境是否遭受到DDoS攻击。最后通过仿真环境实验表明,该机制可以有效的检测出环境是否遭受攻击,具有较高的检测率和较低的误检率。
孙涛孙涛郭政杰张俊星
关键词：分布式拒绝服务动态阈值
一种针对CP-nets并发模型的验证方法
状态爆炸问题导致CP-nets并发模型的正确性验证工作十分困难.提出基于并发属性的模型化简方法和基于功能组合的模型抽象方法对模型进行处理,移去与并发属性不相关的模型元素,提升模型的抽象层次,模型状态空间规模得到显著降低,...
孙涛叶新铭
关键词：并发系统形式化方法
文献传递
一种基于CPN的协议测试序列生成方法被引量：6
2012年
针对状态空间规模较大的协议,提出了一种基于着色Petri网CPN(colored petri net)、面向属性的协议一致性测试序列生成方法。首先,构建被测协议规范的CPN模型,即协议模型,并将被测协议的若干功能属性采用CPN进行形式描述,形成属性模型。提出了属性模型到协议模型的状态投影算法、模型状态空间的路径匹配算法和搜索算法,基于这些算法给出了一种完整的基于属性的测试序列生成方法。该方法不但可以有效避免协议规模庞大所导致的状态爆炸问题,而且还对测试中的PCO库所进行了特殊标识,完成测试序列中可观察元素的自动提取处理,使得处理后的测试序列可直接用于协议实际测试过程。为有效验证所提测试序列生成方法的可行性,开发了一套实现该方法的软件,并应用于HMIPv6协议的实际测试过程中。实践表明,这套软件可以对较为复杂的协议一致性测试过程提供强有力的支持。
孙涛叶新铭刘靖杨蒙
关键词：着色PETRI网PCO
关于专业学位研究生基地实践培养质量提升对策的思考
发展专业学位研究生教育是经济社会进入高质量发展阶段的必然选择，随着专业学位研究生招生规模的不断扩大，研究生的培养需求和压力也不断增大。以我院电子信息专业研究生培养为例，虽然学院已与多家企业建立了专业实践联合培养基地，形成...
王燕孙涛孙一宁
关键词：专业学位实践管理
测试目的覆盖的基于Petri网模型的并发软件测试方法研究
刘靖孙涛叶新铭
该项目属于计算机科学与技术学科中软件测试技术领域。主要研究内容及发现点：运行在网络环境下的并发软件存在更为复杂、高并发及不确定的交互协同行为，软件运行变得更加不可控。软件测试技术是应用最为广泛的、不可或缺的软件正确性分析...
关键词：
关键词：复杂软件系统
TTCN协议测试执行系统驱动器的协议相关性研究
2007年
针对原有TTCN测试执行系统驱动器(Driver)的协议相关性进行研究,从调整其协议相关程度的角度讨论了降低Driver程序扩充和维护难度的问题.在保证软件功能和结构的基础上,先对所有协议进行无关化,再对某一类别的协议进行无关化,就可以达到降低Driver程序扩充和维护难度的目的.最后以直接基于IPv6的协议类别为例介绍了上述方法的实现及其效果.
孙涛李华叶新铭李亚宁
关键词：TTCNDRIVER
一种基于CPN的协议测试序列生成方法
提出一种基于着色Petri网（Colored Petri Net，CPN）、面向属性的协议一致性测试序列生成方法. 首先，构建被测协议规范的CPN模型，即协议模型，并将被测协议的若干功能属性采用CPN进行形式描述，形成属...
孙涛叶新铭刘靖杨蒙
关键词：CPN
针对并行软件待测行为测试的模型化简方法
2017年
针对并行软件的状态空间规模大导致测试难度大的问题,提出一种基于着色Petri网(CPN)的针对待测行为的并行模型化简方法。首先,将原模型根据模型中出现的并发变迁、同步变迁、分叉库所、汇合库所等特殊节点的个数分成若干个子模块;其次,判断待测行为在模型中的位置,建立待测行为测试集;最后,对每一个并行模块中符合化简条件的非待测行为设定执行优先级。通过对化简前后状态空间分析报告的对比,状态空间中节点的缩减率至少达到40%以上,并且在化简前后对于待测行为生成的全覆盖测试路径不受影响。
张玮孙涛万晓云
关键词：着色PETRI网测试集
全选 清除 导出
共3页<123>
聚类工具0