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