您的位置： 专家智库 > >

蒋圆圆

作品数：10 被引量：0H指数：0
供职机构：解放军理工大学更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 10篇中文专利

领域

  • 5篇自动化与计算...

主题

  • 8篇测试用例
  • 6篇安全性
  • 6篇安全性测试
  • 4篇测试用例生成
  • 4篇测试用例生成...
  • 2篇形式化
  • 2篇形式化描述
  • 2篇性需求
  • 2篇有效性
  • 2篇软件安全性测...
  • 2篇软件测试
  • 2篇软件测试用例
  • 2篇数据交互
  • 2篇数据流
  • 2篇数据流图
  • 2篇片段
  • 2篇片面
  • 2篇片面性
  • 2篇主观
  • 2篇主观性

机构

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

作者

  • 10篇黄松
  • 10篇惠战伟
  • 10篇姚奕
  • 10篇胡斌
  • 10篇蒋圆圆
  • 10篇郑长友
  • 8篇刘晓明
  • 2篇史涯晴

年份

  • 1篇2019
  • 1篇2017
  • 4篇2012
  • 4篇2011
共 10 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
一种基于行为模型的软件安全性测试用例生成方法
本发明公开了一种基于行为模型的软件安全性测试用例生成方法，包括如下步骤：(1)确定软件安全性测试需求；(2)使用测试需求行为模型对安全性测试需求进行描述；(3)使用UML状态图对测试需求行为模型进行描述；(4)将UML图...
黄松任正平姚奕刘晓明惠战伟胡斌洪宇郑长友饶莉萍蒋圆圆袁利华刘艳云
一种基于建模技术的软件安全性测试方法
本发明公开了一种基于建模技术的软件安全性测试方法，通过将软件安全性缺陷测试行为需求和软件安全性功能测试行为需求转化为形式化软件安全性测试行为需求模型，并基于获得的模型生成有穷状态机特征序列生成安全性测试用例；同时，能够对...
刘晓明黄松惠战伟胡斌任正平姚奕洪宇郑长友饶莉萍蒋圆圆袁利华刘艳云
基于剖面划分的软件安全性测试需求提取与行为描述方法
本发明公开了一种基于剖面划分的软件安全性测试需求提取与行为描述方法，该方法可分为四个步骤，第一步创建UML用例图与活动图，第二步对UML用例图和活动图提取安全性功能需求，第三步创建软件安全性时序行为图，第四步创建软件测试...
黄松惠战伟洪宇刘晓明姚奕胡斌任正平蒋圆圆郑长友饶莉萍袁利华刘艳云
文献传递
一种面向工作流系统的测试用例生成方法及装置
本发明提供一种面向工作流系统的测试用例生成方法及装置，其中，所述方法包括：基于带输入输出约束的工作流系统，建立Petri网模型；根据分支‑聚合对，将所述Petri网模型划分为多个片段；若划分的片段中存在分支‑聚合对，继续...
郑长友黄松姚奕胡斌任正平洪宇史涯晴惠战伟饶丽萍蒋圆圆
文献传递
基于剖面划分的软件安全性测试需求提取与行为描述方法
本发明公开了一种基于剖面划分的软件安全性测试需求提取与行为描述方法，该方法可分为四个步骤，第一步创建UML用例图与活动图，第二步对UML用例图和活动图提取安全性功能需求，第三步创建软件安全性时序行为图，第四步创建软件测试...
黄松惠战伟洪宇刘晓明姚奕胡斌任正平蒋圆圆郑长友饶莉萍袁利华刘艳云
一种基于行为模型的软件安全性测试用例生成方法
本发明公开了一种基于行为模型的软件安全性测试用例生成方法，包括如下步骤：(1)确定软件安全性测试需求；(2)使用测试需求行为模型对安全性测试需求进行描述；(3)使用UML状态图对测试需求行为模型进行描述；(4)将UML图...
黄松任正平姚奕刘晓明惠战伟胡斌洪宇郑长友饶莉萍蒋圆圆袁利华刘艳云
文献传递
一种基于缺陷的软件安全性测试需求的获取与分级方法
本发明公开了一种基于缺陷的软件安全性测试需求的获取与分级方法，首先根据软件类型确定用户的访问类型和风险等级，及第0层带有数据交互边界的数据流图，确定可能存在缺陷的交互路径及危险等级，再对等级高的进行数据流图分解，抽取第1...
黄松胡斌姚奕刘晓明惠战伟任正平洪宇饶莉萍蒋圆圆郑长友袁利华刘艳云
文献传递
一种面向工作流系统的测试用例生成方法及装置
本发明提供一种面向工作流系统的测试用例生成方法及装置，其中，所述方法包括：基于带输入输出约束的工作流系统，建立Petri网模型；根据分支‑聚合对，将所述Petri网模型划分为多个片段；若划分的片段中存在分支‑聚合对，继续...
郑长友黄松姚奕胡斌任正平洪宇史涯晴惠战伟饶丽萍蒋圆圆
一种基于缺陷的软件安全性测试需求的获取与分级方法
本发明公开了一种基于缺陷的软件安全性测试需求的获取与分级方法，首先根据软件类型确定用户的访问类型和风险等级，及第0层带有数据交互边界的数据流图，确定可能存在缺陷的交互路径及危险等级，再对等级高的进行数据流图分解，抽取第1...
黄松胡斌姚奕刘晓明惠战伟任正平洪宇饶莉萍蒋圆圆郑长友袁利华刘艳云
一种基于建模技术的软件安全性测试方法
本发明公开了一种基于建模技术的软件安全性测试方法，通过将软件安全性缺陷测试行为需求和软件安全性功能测试行为需求转化为形式化软件安全性测试行为需求模型，并基于获得的模型生成有穷状态机特征序列生成安全性测试用例；同时，能够对...
刘晓明黄松惠战伟胡斌任正平姚奕洪宇郑长友饶莉萍蒋圆圆袁利华刘艳云
文献传递
全选 清除 导出
共1页<1>
聚类工具0