您的位置: 专家智库 > >

黄松

作品数:111 被引量:139H指数:6
供职机构:解放军理工大学更多>>
发文基金:国家高技术研究发展计划江苏省自然科学基金中国博士后科学基金更多>>
相关领域:自动化与计算机技术电子电信文化科学军事更多>>

文献类型

  • 50篇期刊文章
  • 33篇会议论文
  • 25篇专利

领域

  • 80篇自动化与计算...
  • 4篇电子电信
  • 3篇文化科学
  • 2篇军事
  • 1篇经济管理
  • 1篇哲学宗教
  • 1篇天文地球
  • 1篇语言文字

主题

  • 21篇测试用例
  • 16篇软件测试
  • 10篇体系结构
  • 10篇仿真
  • 10篇测试用例生成
  • 8篇基于HLA
  • 8篇测试用例生成...
  • 7篇形式化
  • 7篇高层体系结构
  • 7篇安全性
  • 6篇形式化描述
  • 6篇用户
  • 6篇安全性测试
  • 5篇整数溢出
  • 5篇网络
  • 4篇代码
  • 4篇状态机
  • 4篇自动生成
  • 4篇仿真系统
  • 4篇复用

机构

  • 99篇解放军理工大...
  • 9篇中国人民解放...
  • 2篇空军预警学院
  • 1篇淮阴师范学院
  • 1篇中国人民解放...
  • 1篇中国电子科技...
  • 1篇中国人民解放...
  • 1篇南京军区联勤...
  • 1篇中国人民解放...
  • 1篇山东省军区
  • 1篇中国人民解放...
  • 1篇北京图形研究...
  • 1篇中国人民解放...

作者

  • 108篇黄松
  • 44篇惠战伟
  • 42篇刘晓明
  • 26篇姚奕
  • 19篇李辉
  • 19篇胡斌
  • 19篇郑长友
  • 15篇史涯晴
  • 10篇蒋圆圆
  • 8篇王梅娟
  • 6篇刘剑豪
  • 5篇任正平
  • 5篇吕学伟
  • 5篇张婷婷
  • 4篇高敏
  • 3篇宋自林
  • 3篇夏洪亚
  • 3篇雷小宇
  • 3篇张赛男
  • 2篇韩敬利

传媒

  • 7篇系统仿真学报
  • 7篇指挥信息系统...
  • 4篇'2005系...
  • 3篇计算机应用
  • 3篇计算机工程与...
  • 3篇南通大学学报...
  • 2篇电子质量
  • 2篇计算机仿真
  • 2篇解放军理工大...
  • 2篇电脑知识与技...
  • 2篇计算机科学
  • 2篇电脑知识与技...
  • 2篇计算机技术与...
  • 2篇'2002系...
  • 2篇第三届信息安...
  • 2篇中国电子学会...
  • 2篇中国电子学会...
  • 1篇情报科学
  • 1篇计算机研究与...
  • 1篇东南大学学报...

年份

  • 1篇2021
  • 2篇2019
  • 1篇2018
  • 9篇2017
  • 10篇2016
  • 7篇2015
  • 6篇2014
  • 7篇2013
  • 7篇2012
  • 8篇2011
  • 10篇2010
  • 5篇2009
  • 6篇2008
  • 6篇2007
  • 6篇2006
  • 6篇2005
  • 2篇2004
  • 2篇2003
  • 5篇2002
  • 1篇2001
111 条 记 录,以下是 1-10
排序方式:
基于定量度量的蜕变关系测试优先级排序方法
本发明公开了一种基于定量度量的蜕变关系测试优先级排序方法,首先基于测试覆盖,从蜕变关系输入关系的入度进行度量,然后从输出关系的复杂性进行度量,最后从输入关系中相关测试输入之间的距离进行度量。最终,得到蜕变关系的三个有效性...
惠战伟黄松史涯晴张婷婷姚奕李辉饶莉萍洪宇蒋园园郑长友刘艳云张赛男
文献传递
设计模式在基于HLA的分布交互式仿真中的应用被引量:4
2003年
将设计模式的思想引入HLA的研究之中,归纳和定义基于HLA的分布交互式仿真领域中的软件设计模式是一种崭新的探索。在分析分布交互式仿真特点的基础上,将运行时对象之间的交互归纳为公布订购模式,这为HLA今后的研究和开发提供了有价值的指导、打下了坚实的基础。
黄松鲍广宇刘晓明
关键词:设计模式高层体系结构
基于SSD的软件安全性测试技术研究
在对软件安全性测试技术研究紧迫性介绍的基础上,分析了现有软件安全性测试技术中存在的三个亟待解决的实际问题,分别涉及到现行测试标准的可行性,安全性测试需求的确定性,以及安全性测试过程.其次,针对现有的问题,结合已有的统计分...
惠战伟黄松胡斌饶莉萍王新刚
关键词:测试技术统计分析
基于HLA的仿真应用可复用性的研究
高层体系结构HLA是IEEE的分布式仿真标准。HLA仿真应用的开发者希望能够在不同的联邦中复用已有的联邦成员,而不用考虑它们在FOM中的数据表示。本文提出了一个新的支持仿真应用复用的中间件RTIrapper,透明地提供与...
黄松刘晓明李辉高敏
关键词:高层体系结构中间件可复用性
文献传递
基于OPTICS算法的变异体约简技术被引量:1
2016年
为了降低变异测试的计算代价,提出了一种基于OPTICS算法的变异体约简方法。首先利用OPTICS算法对变异体进行聚类,让相似的变异体在同一类簇中,然后从每个类簇中随机选取一个变异体作为代表,与其余离散的变异体组成新的变异体集合,从而达到约简变异体数量的目的。为了验证算法的效果,选择一组常用的被测程序进行实验,并和K-means算法进行比较。实验结果表明,该方法在不降低变异充分度的情况下取得了良好的约简效果,有效地减少了变异体的数量,从而降低了变异测试所产生的计算代价。
吕学伟黄松王晔
关键词:聚类技术
一种基于邻接矩阵的有限状态机路径产生方法
有限状态机可以精确刻画系统以及子系统的行为,因而广泛应用于系统建模中.基于有限状态机的系统原型描述为测试提供了依据.在基于状态机的测试中,测试序列的产生、选取、以及序列的评价等工作依赖于状态机规格说明。如何从规格说明中获...
刘晓明赖祥黄松
关键词:有限状态机邻接矩阵
文献传递
突出实践能力培养的《计算机程序设计基础》课程改革与实践——以解放军理工大学为例被引量:7
2017年
针对解放军理工大学计算机程序设计课程教学实际,提出了突出实践能力培养的计算机程序设计课程改革方案。重组了理论和实践教学内容,构建了集教、学、训、考、赛"五位一体"的课程教学支撑平台,改革了融"学训用"于一体的实践能力培养教学组训方式,探索了基于SPOC的在线与课堂混合学习教学模式,创新了突出实践能力评价的多元考核体系,并取得了较好的实践效果。该改革方案可为其它计算机类课程的教学提供借鉴。
胡斌黄松雷小宇史涯晴张赛男
关键词:计算机程序设计
一种面向工作流系统的测试用例生成方法及装置
本发明提供一种面向工作流系统的测试用例生成方法及装置,其中,所述方法包括:基于带输入输出约束的工作流系统,建立Petri网模型;根据分支‑聚合对,将所述Petri网模型划分为多个片段;若划分的片段中存在分支‑聚合对,继续...
郑长友黄松姚奕胡斌任正平洪宇史涯晴惠战伟饶丽萍蒋圆圆
文献传递
GIG——网络中心战的实施环境
为了支持网络中心战的实施,美军建设了全球信息栅格(GIG)。本文首先分析了网络中心战的特点,然后从三个方面对GIG的定义进行了深入和全面地分析,最后从作战单元网络化和指挥结构扁平化两个方面分析了GIG对网络中心战的支持。
黄松蒋园园曾广军
关键词:GIG网络中心战
文献传递
成对覆盖组合测试用例生成方法研究
测试对于大多数软件系统的测试都是实用和有效的。本文中作者深入剖析当前国内 外两两组合覆盖测试方面的研究现状,系统分析和比较了六种主要算法,并对其性能进行评估, 最终得出每种算法的性能优劣及适用条件,为后续的研究与应用奠定...
惠战伟黄松苏士瀚任正平胡斌
共11页<12345678910>
聚类工具0