您的位置: 专家智库 > >

姚奕

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

文献类型

  • 18篇专利
  • 7篇期刊文章
  • 4篇会议论文

领域

  • 14篇自动化与计算...
  • 2篇经济管理
  • 1篇军事

主题

  • 11篇测试用例
  • 7篇软件测试
  • 6篇安全性
  • 6篇安全性测试
  • 4篇形式化
  • 4篇形式化描述
  • 4篇遍历
  • 4篇测试用例生成
  • 4篇测试用例生成...
  • 4篇抽取
  • 3篇有效性
  • 3篇软件测试用例
  • 3篇工作流
  • 3篇工作流系统
  • 2篇定位技术
  • 2篇性需求
  • 2篇软件安全性测...
  • 2篇设计软件
  • 2篇数据交互
  • 2篇数据流

机构

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

作者

  • 29篇姚奕
  • 26篇黄松
  • 17篇惠战伟
  • 15篇郑长友
  • 14篇刘晓明
  • 13篇胡斌
  • 10篇蒋圆圆
  • 8篇史涯晴
  • 6篇李辉
  • 4篇王梅娟
  • 4篇张婷婷
  • 2篇雷小宇
  • 2篇李杰
  • 2篇吕学伟
  • 2篇文艾
  • 2篇张赛男
  • 1篇刘敏
  • 1篇刘剑豪
  • 1篇刘鹏
  • 1篇李微

传媒

  • 2篇电子科技大学...
  • 1篇情报科学
  • 1篇东南大学学报...
  • 1篇计算机工程与...
  • 1篇计算机应用
  • 1篇应用科学学报
  • 1篇'2005系...
  • 1篇2006全国...

年份

  • 1篇2019
  • 1篇2018
  • 2篇2017
  • 2篇2016
  • 3篇2015
  • 3篇2014
  • 2篇2013
  • 5篇2012
  • 4篇2011
  • 1篇2010
  • 2篇2007
  • 2篇2006
  • 1篇2005
29 条 记 录,以下是 1-10
排序方式:
基于剖面划分的软件安全性测试需求提取与行为描述方法
本发明公开了一种基于剖面划分的软件安全性测试需求提取与行为描述方法,该方法可分为四个步骤,第一步创建UML用例图与活动图,第二步对UML用例图和活动图提取安全性功能需求,第三步创建软件安全性时序行为图,第四步创建软件测试...
黄松惠战伟洪宇刘晓明姚奕胡斌任正平蒋圆圆郑长友饶莉萍袁利华刘艳云
文献传递
一种同步盘数据安全保护写入及读取方法
本发明公开一种同步盘数据安全保护写入方法,步骤是:根据用户选定的文件信息及用户的输入和设置,对待上传数据的安全需求和特性进行量化;根据以上量化信息,确定数据写入的安全策略;数据预处理,根据安全策略调用相应的安全机制,进行...
文艾刘鹏胥光辉鲍爱华姚奕李杰刘敏赵敏
文献传递
基于定量度量的蜕变关系测试优先级排序方法
本发明公开了一种基于定量度量的蜕变关系测试优先级排序方法,首先基于测试覆盖,从蜕变关系输入关系的入度进行度量,然后从输出关系的复杂性进行度量,最后从输入关系中相关测试输入之间的距离进行度量。最终,得到蜕变关系的三个有效性...
惠战伟黄松史涯晴张婷婷姚奕李辉饶莉萍洪宇蒋园园郑长友刘艳云张赛男
文献传递
一种基于缺陷的软件安全性测试需求的获取与分级方法
本发明公开了一种基于缺陷的软件安全性测试需求的获取与分级方法,首先根据软件类型确定用户的访问类型和风险等级,及第0层带有数据交互边界的数据流图,确定可能存在缺陷的交互路径及危险等级,再对等级高的进行数据流图分解,抽取第1...
黄松胡斌姚奕刘晓明惠战伟任正平洪宇饶莉萍蒋圆圆郑长友袁利华刘艳云
构件软件的层次可靠性估计模型被引量:3
2007年
可靠性是质量体系中最重要的特性之一,针对构件软件系统,利用相对独立的构件开发与系统开发的特点,从路径分析与基于运行剖面测试的思想出发,建立了分层的系统可靠性模型.模型可根据路径信息的层次和构件信息详细程度,调整到适当的粒度层次.并通过统计测试试验数据给出了模型的实例应用,同时提出了提高可靠性估计准确性的方法.
刘剑豪刘晓明姚奕黄松
关键词:运行剖面
一种面向工作流系统的测试用例生成方法及装置
本发明提供一种面向工作流系统的测试用例生成方法及装置,其中,所述方法包括:基于带输入输出约束的工作流系统,建立Petri网模型;根据分支‑聚合对,将所述Petri网模型划分为多个片段;若划分的片段中存在分支‑聚合对,继续...
郑长友黄松姚奕胡斌任正平洪宇史涯晴惠战伟饶丽萍蒋圆圆
文献传递
基于剖面划分的软件安全性测试需求提取与行为描述方法
本发明公开了一种基于剖面划分的软件安全性测试需求提取与行为描述方法,该方法可分为四个步骤,第一步创建UML用例图与活动图,第二步对UML用例图和活动图提取安全性功能需求,第三步创建软件安全性时序行为图,第四步创建软件测试...
黄松惠战伟洪宇刘晓明姚奕胡斌任正平蒋圆圆郑长友饶莉萍袁利华刘艳云
一种蜕变关系形式化描述与分解方法
本发明公开了一种蜕变关系形式化描述与分解方法,包括如下步骤:(1)根据目标被测软件,抽取和设计软件必须满足的蜕变关系,创建蜕变关系;(2)基于符号逻辑对得到的蜕变关系进行形式化建模:首先确定蜕变关系成立的约束条件,并进行...
惠战伟黄松李辉姚奕胡斌任正平张婷婷王梅娟史涯晴雷小宇
文献传递
一种基于行为模型的软件安全性测试用例生成方法
本发明公开了一种基于行为模型的软件安全性测试用例生成方法,包括如下步骤:(1)确定软件安全性测试需求;(2)使用测试需求行为模型对安全性测试需求进行描述;(3)使用UML状态图对测试需求行为模型进行描述;(4)将UML图...
黄松任正平姚奕刘晓明惠战伟胡斌洪宇郑长友饶莉萍蒋圆圆袁利华刘艳云
一种基于复杂网络理论的软件测试用例生成方法
本发明提供了一种基于复杂网络理论软件测试用例生成方法,首先针对被测软件,基于类层次网络模型,构建出类层次的软件网络,并提取软件网络的特征参数;对提取特征参数进行归一化处理;再基于主成分分析法,计算各特征参数的权重;之后基...
姚奕任正平黄松洪宇郑长友胡斌饶莉萍蒋园园刘艳云李辉
文献传递
共3页<123>
聚类工具0