姚奕
- 作品数：29 被引量：29H指数：4
- 供职机构：解放军理工大学更多>>
- 发文基金：国家高技术研究发展计划江苏省自然科学基金中国博士后科学基金更多>>
- 相关领域：自动化与计算机技术经济管理军事更多>>
- 基于剖面划分的软件安全性测试需求提取与行为描述方法
- 本发明公开了一种基于剖面划分的软件安全性测试需求提取与行为描述方法，该方法可分为四个步骤，第一步创建UML用例图与活动图，第二步对UML用例图和活动图提取安全性功能需求，第三步创建软件安全性时序行为图，第四步创建软件测试...
- 黄松惠战伟洪宇刘晓明姚奕胡斌任正平蒋圆圆郑长友饶莉萍袁利华刘艳云
- 文献传递
- 一种同步盘数据安全保护写入及读取方法
- 本发明公开一种同步盘数据安全保护写入方法，步骤是：根据用户选定的文件信息及用户的输入和设置，对待上传数据的安全需求和特性进行量化；根据以上量化信息，确定数据写入的安全策略；数据预处理，根据安全策略调用相应的安全机制，进行...
- 文艾刘鹏胥光辉鲍爱华姚奕李杰刘敏赵敏
- 文献传递
- 基于定量度量的蜕变关系测试优先级排序方法
- 本发明公开了一种基于定量度量的蜕变关系测试优先级排序方法，首先基于测试覆盖，从蜕变关系输入关系的入度进行度量，然后从输出关系的复杂性进行度量，最后从输入关系中相关测试输入之间的距离进行度量。最终，得到蜕变关系的三个有效性...
- 惠战伟黄松史涯晴张婷婷姚奕李辉饶莉萍洪宇蒋园园郑长友刘艳云张赛男
- 文献传递
- 一种面向工作流系统的测试用例生成方法及装置
- 本发明提供一种面向工作流系统的测试用例生成方法及装置，其中，所述方法包括：基于带输入输出约束的工作流系统，建立Petri网模型；根据分支‑聚合对，将所述Petri网模型划分为多个片段；若划分的片段中存在分支‑聚合对，继续...
- 郑长友黄松姚奕胡斌任正平洪宇史涯晴惠战伟饶丽萍蒋圆圆
- 文献传递
- 基于剖面划分的软件安全性测试需求提取与行为描述方法
- 本发明公开了一种基于剖面划分的软件安全性测试需求提取与行为描述方法，该方法可分为四个步骤，第一步创建UML用例图与活动图，第二步对UML用例图和活动图提取安全性功能需求，第三步创建软件安全性时序行为图，第四步创建软件测试...
- 黄松惠战伟洪宇刘晓明姚奕胡斌任正平蒋圆圆郑长友饶莉萍袁利华刘艳云
- 坡度坡向量算程序蜕变测试方法被引量：6
- 2013年
- 坡度、坡向量算是地理信息系统的主要功能之一。然而,由于截断误差、舍入误差以及误差传播的影响,导致测试判定难以获取。基于此,提出将蜕变测试应用于坡度、坡向量算程序的测试中,通过分析坡度、坡向量算程序功能的几何属性、数值计算特性以及具体实现算法等提出蜕变关系,并通过分析蜕变关系的适用范围,形成坡度坡向量算程序蜕变测试方法。最后,通过实例研究,验证了提出的蜕变关系在消除不同类型变异方面的有效性。实验结果表明,该方法可有效解决坡度、坡向量算程序的测试判定问题,同时也为解决地理信息系统中其他空间度量程序的测试判定问题提供了借鉴,进一步拓展了蜕变测试技术的应用范围。
- 黄松丁瑞浩李辉姚奕
- 关键词：坡度坡向
- 基于定量度量的蜕变关系测试优先级排序方法
- 本发明公开了一种基于定量度量的蜕变关系测试优先级排序方法，首先基于测试覆盖，从蜕变关系输入关系的入度进行度量，然后从输出关系的复杂性进行度量，最后从输入关系中相关测试输入之间的距离进行度量。最终，得到蜕变关系的三个有效性...
- 惠战伟黄松史涯晴张婷婷姚奕李辉饶莉萍洪宇蒋园园郑长友刘艳云张赛男
- 文献传递
- 一种蜕变关系形式化描述与分解方法
- 本发明公开了一种蜕变关系形式化描述与分解方法，包括如下步骤：（1）根据目标被测软件，抽取和设计软件必须满足的蜕变关系，创建蜕变关系；（2）基于符号逻辑对得到的蜕变关系进行形式化建模：首先确定蜕变关系成立的约束条件，并进行...
- 惠战伟黄松李辉姚奕胡斌任正平张婷婷王梅娟史涯晴雷小宇
- 文献传递
- 一种基于行为模型的软件安全性测试用例生成方法
- 本发明公开了一种基于行为模型的软件安全性测试用例生成方法，包括如下步骤：(1)确定软件安全性测试需求；(2)使用测试需求行为模型对安全性测试需求进行描述；(3)使用UML状态图对测试需求行为模型进行描述；(4)将UML图...
- 黄松任正平姚奕刘晓明惠战伟胡斌洪宇郑长友饶莉萍蒋圆圆袁利华刘艳云
- 一种基于复杂网络理论的软件测试用例生成方法
- 本发明提供了一种基于复杂网络理论软件测试用例生成方法，首先针对被测软件，基于类层次网络模型，构建出类层次的软件网络，并提取软件网络的特征参数；对提取特征参数进行归一化处理；再基于主成分分析法，计算各特征参数的权重；之后基...
- 姚奕任正平黄松洪宇郑长友胡斌饶莉萍蒋园园刘艳云李辉
- 文献传递
