2025年7月25日
星期五
|
欢迎来到贵州省图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
姚奕
作品数:
29
被引量:29
H指数: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页
<
1
2
3
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张