您的位置: 专家智库 > >

黄松

作品数:111 被引量:141H指数: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
排序方式:
基于定量度量的蜕变关系测试优先级排序方法
本发明公开了一种基于定量度量的蜕变关系测试优先级排序方法,首先基于测试覆盖,从蜕变关系输入关系的入度进行度量,然后从输出关系的复杂性进行度量,最后从输入关系中相关测试输入之间的距离进行度量。最终,得到蜕变关系的三个有效性...
惠战伟黄松史涯晴张婷婷姚奕李辉饶莉萍洪宇蒋园园郑长友刘艳云张赛男
文献传递
一种面向工作流系统的测试用例生成方法及装置
本发明提供一种面向工作流系统的测试用例生成方法及装置,其中,所述方法包括:基于带输入输出约束的工作流系统,建立Petri网模型;根据分支‑聚合对,将所述Petri网模型划分为多个片段;若划分的片段中存在分支‑聚合对,继续...
郑长友黄松姚奕胡斌任正平洪宇史涯晴惠战伟饶丽萍蒋圆圆
文献传递
GIG——网络中心战的实施环境
为了支持网络中心战的实施,美军建设了全球信息栅格(GIG)。本文首先分析了网络中心战的特点,然后从三个方面对GIG的定义进行了深入和全面地分析,最后从作战单元网络化和指挥结构扁平化两个方面分析了GIG对网络中心战的支持。
黄松蒋园园曾广军
关键词:GIG网络中心战
文献传递
成对覆盖组合测试用例生成方法研究
测试对于大多数软件系统的测试都是实用和有效的。本文中作者深入剖析当前国内 外两两组合覆盖测试方面的研究现状,系统分析和比较了六种主要算法,并对其性能进行评估, 最终得出每种算法的性能优劣及适用条件,为后续的研究与应用奠定...
惠战伟黄松苏士瀚任正平胡斌
一种基于自适应随机策略的蜕变测试用例生成方法
本发明公开了一种基于自适应随机策略的蜕变测试用例生成方法,即基于自适应策略随机自动生成测试用例。首先,随机生成第一组原始测试用例,并根据蜕变关系生成附加测试用例,两者构成已选择测试用例;其次,对输入域进行划分,得到末被已...
惠战伟黄松李辉饶莉萍王梅娟吕学伟
基于功能图的GUI回归测试技术研究
回归测试作为软件生命周期的一个组成部分,在整个软件测试过程中占有很大的工作量比重,特别是GUI(Graphical User Interface)软件会进行多次回归测试.因此,本文针对面向对象软件提出了基于功能图的回归测...
黄松陈然惠战伟蒋圆圆
关键词:图形用户界面功能图
文献传递
空间分析程序的蜕变测试框架
2013年
本文针对GIS空间分析程序特点,提出了一套由原始测试用例生成、蜕变关系构造、测试结果判定和测试充分性判定等组成的集成化的适用于空间分析程序的蜕变测试框架,并且给出了每个组成部分的实现方法,具有很好的实践意义。
林仁超刘晓明黄松陆丽丽
蜕变关系形式化描述与分解技术被引量:3
2016年
蜕变测试的实践应用研究虽得到了极大发展,但其理论基础却还未引起学者的足够关注,蜕变关系的描述就是其中关键问题之一。分析蜕变测试正确性理论基础,提出一种蜕变关系形式化定义与描述方法,对蜕变关系的取值进行分析;分析蜕变关系与失效之间的联系,基于形式化定义提出一种蜕变关系分解技术。通过两个实例验证了该描述与分解技术的有效性。
惠战伟黄松李辉刘剑豪
关键词:形式化描述模型
基于剖面划分的软件安全性测试需求提取与行为描述方法
本发明公开了一种基于剖面划分的软件安全性测试需求提取与行为描述方法,该方法可分为四个步骤,第一步创建UML用例图与活动图,第二步对UML用例图和活动图提取安全性功能需求,第三步创建软件安全性时序行为图,第四步创建软件测试...
黄松惠战伟洪宇刘晓明姚奕胡斌任正平蒋圆圆郑长友饶莉萍袁利华刘艳云
军用软件测评实验室过程模型MSTLM的研究和实践
军用软件测评实验室作为独立测试方,其承担的测试任务具有特殊性,目前缺乏适用的测试过程模型指导,测试过程模型MSTLM依据相关标准提出了针对军用软件测评实验室具有较普遍适用性测试过程模型,并将该模型与现有的典型过程模型进行...
黄松吴俊杰史俊超
关键词:军用软件测试过程模型
文献传递
共11页<12345678910>
聚类工具0