您的位置： 专家智库 > >

郑长友

作品数：21 被引量：14H指数：2
供职机构：解放军理工大学更多>>
发文基金：国家高技术研究发展计划中国博士后科学基金江苏省自然科学基金更多>>
相关领域：自动化与计算机技术经济管理更多>>

合作作者

文献类型

  • 17篇专利
  • 3篇期刊文章
  • 1篇会议论文

领域

  • 10篇自动化与计算...
  • 1篇经济管理

主题

  • 9篇测试用例
  • 6篇安全性
  • 6篇安全性测试
  • 4篇路网
  • 4篇测试用例生成
  • 4篇测试用例生成...
  • 4篇查询
  • 3篇有效性
  • 3篇软件测试
  • 3篇软件测试用例
  • 3篇工作流
  • 3篇工作流系统
  • 2篇动车
  • 2篇形式化
  • 2篇形式化描述
  • 2篇性需求
  • 2篇移动车辆
  • 2篇软件安全性测...
  • 2篇数据交互
  • 2篇数据流

机构

  • 21篇解放军理工大...

作者

  • 21篇郑长友
  • 19篇黄松
  • 15篇姚奕
  • 12篇惠战伟
  • 11篇胡斌
  • 11篇刘晓明
  • 10篇蒋圆圆
  • 8篇史涯晴
  • 7篇李辉
  • 2篇韩敬利
  • 2篇董会
  • 2篇王梅娟
  • 2篇张婷婷
  • 2篇施展
  • 2篇张赛男
  • 1篇刘常昱
  • 1篇梁凯鹏
  • 1篇任正平

传媒

  • 1篇计算机应用
  • 1篇电子科技大学...
  • 1篇军事运筹与系...

年份

  • 1篇2021
  • 2篇2019
  • 3篇2017
  • 1篇2016
  • 1篇2015
  • 2篇2014
  • 6篇2012
  • 4篇2011
  • 1篇2010
共 21 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
一种基于缺陷的软件安全性测试需求的获取与分级方法
本发明公开了一种基于缺陷的软件安全性测试需求的获取与分级方法，首先根据软件类型确定用户的访问类型和风险等级，及第0层带有数据交互边界的数据流图，确定可能存在缺陷的交互路径及危险等级，再对等级高的进行数据流图分解，抽取第1...
黄松胡斌姚奕刘晓明惠战伟任正平洪宇饶莉萍蒋圆圆郑长友袁利华刘艳云
一种路网轨迹不确定移动对象范围查询系统及方法
本发明提供一种路网轨迹不确定移动对象范围查询系统及方法，所述系统与定位设备相连，所述系统包括相连的数据存储与索引模块以及查询处理模块，其中：所述数据存储与索引模块用于将所述定位设备获取的路网移动对象的位置数据存储至交通路...
史涯晴黄松李辉任正平郑长友施展韩敬利
基于剖面划分的软件安全性测试需求提取与行为描述方法
本发明公开了一种基于剖面划分的软件安全性测试需求提取与行为描述方法，该方法可分为四个步骤，第一步创建UML用例图与活动图，第二步对UML用例图和活动图提取安全性功能需求，第三步创建软件安全性时序行为图，第四步创建软件测试...
黄松惠战伟洪宇刘晓明姚奕胡斌任正平蒋圆圆郑长友饶莉萍袁利华刘艳云
文献传递
一种基于行为模型的软件安全性测试用例生成方法
本发明公开了一种基于行为模型的软件安全性测试用例生成方法，包括如下步骤：(1)确定软件安全性测试需求；(2)使用测试需求行为模型对安全性测试需求进行描述；(3)使用UML状态图对测试需求行为模型进行描述；(4)将UML图...
黄松任正平姚奕刘晓明惠战伟胡斌洪宇郑长友饶莉萍蒋圆圆袁利华刘艳云
一种基于复杂网络理论的软件测试用例生成方法
本发明提供了一种基于复杂网络理论软件测试用例生成方法，首先针对被测软件，基于类层次网络模型，构建出类层次的软件网络，并提取软件网络的特征参数；对提取特征参数进行归一化处理；再基于主成分分析法，计算各特征参数的权重；之后基...
姚奕任正平黄松洪宇郑长友胡斌饶莉萍蒋园园刘艳云李辉
文献传递
一种基于建模技术的软件安全性测试方法
本发明公开了一种基于建模技术的软件安全性测试方法，通过将软件安全性缺陷测试行为需求和软件安全性功能测试行为需求转化为形式化软件安全性测试行为需求模型，并基于获得的模型生成有穷状态机特征序列生成安全性测试用例；同时，能够对...
刘晓明黄松惠战伟胡斌任正平姚奕洪宇郑长友饶莉萍蒋圆圆袁利华刘艳云
一种路网移动对象概率聚集查询方法及系统
本发明提供一种路网移动对象概率聚集查询方法及系统，其中，所述方法包括：对采样数据分别进行流处理和批处理；根据批处理后的采样数据构建时空索引；构建非重复计数聚集索引结构；在所述非重复计数聚集索引结构中查找与用户的查询请求中...
史涯晴黄松任正平李辉郑长友王梅娟董会
文献传递
基于定量度量的蜕变关系测试优先级排序方法
本发明公开了一种基于定量度量的蜕变关系测试优先级排序方法，首先基于测试覆盖，从蜕变关系输入关系的入度进行度量，然后从输出关系的复杂性进行度量，最后从输入关系中相关测试输入之间的距离进行度量。最终，得到蜕变关系的三个有效性...
惠战伟黄松史涯晴张婷婷姚奕李辉饶莉萍洪宇蒋园园郑长友刘艳云张赛男
文献传递
一种面向工作流系统的测试用例生成方法及装置
本发明提供一种面向工作流系统的测试用例生成方法及装置，其中，所述方法包括：基于带输入输出约束的工作流系统，建立Petri网模型；根据分支‑聚合对，将所述Petri网模型划分为多个片段；若划分的片段中存在分支‑聚合对，继续...
郑长友黄松姚奕胡斌任正平洪宇史涯晴惠战伟饶丽萍蒋圆圆
文献传递
军用可信软件现状及发展研究
2012年
随着计算机技术在军事领域的广泛应用,军用软件的可信性越来越引人关注。在总结了学术界对可信与可信性定义的基础上,给出了军用可信软件和军用软件可信性的定义。分析了国内外军事相关领域可信软件的发展现状,指出了当前我军军用软件研发模式中的不足并阐述了开展军用可信软件研究的意义及其发展方向。
郑长友刘晓明
关键词：军用软件可信计算
全选 清除 导出
共3页<123>
聚类工具0