您的位置： 专家智库 > >

汪勇

作品数：9 被引量：1H指数：1
供职机构：电子科技大学更多>>
相关领域：自动化与计算机技术医药卫生经济管理更多>>

合作作者

文献类型

  • 6篇专利
  • 3篇学位论文

领域

  • 2篇自动化与计算...
  • 1篇经济管理
  • 1篇医药卫生

主题

  • 2篇虚拟机
  • 2篇语义
  • 2篇预处理
  • 2篇源程序
  • 2篇容器管理
  • 2篇软件测试
  • 2篇软件缺陷检测
  • 2篇启动方法
  • 2篇自动创建
  • 2篇自动生成
  • 2篇显示设备
  • 2篇可执行文件
  • 2篇分析处理
  • 2篇符号化
  • 2篇复用
  • 2篇复用技术
  • 2篇ANDROI...
  • 2篇测试工具
  • 2篇插桩
  • 1篇婴幼儿奶粉

机构

  • 9篇电子科技大学

作者

  • 9篇汪勇
  • 6篇郭文生
  • 4篇杨霞
  • 4篇袁艺
  • 4篇杨姗
  • 4篇武琼
  • 4篇刘小平
  • 4篇杨拯
  • 4篇包灵
  • 4篇张少鑫
  • 2篇桑楠
  • 2篇李明
  • 2篇雷航
  • 2篇徐栋
  • 2篇秦小凤
  • 2篇高正宏
  • 2篇钟鑫
  • 2篇吕清林

年份

  • 1篇2022
  • 1篇2019
  • 1篇2018
  • 3篇2017
  • 1篇2016
  • 1篇2015
  • 1篇2013
共 9 条 记 录，以下是 1-9
全选 清除 导出
排序方式：
一种基于动态符号执行的分布式自动测试案例生成方法
该发明属于软件测试案例自动生成技术领域中的一种基于动态符号执行的分布式自动测试案例生成方法。包括：测试设备配置，被测程序的预处理，路径约束条件的提取，测试案例的自动生成。该发明由于将被测程序与测试案例自动生成工具分离。该...
郭文生桑楠雷航秦小凤徐栋汪勇李明
文献传递
中国移动A分公司绩效管理体系研究
对于中国移动来说，随着3G全业务的快速增长，要从“移动通信专家”到“移动信息专家”转型，在三足鼎立的局面中继续保持竞争优势，实现健康稳定的可持续发展，不但需要保持资金、设备、技术等方面的竞争优势，更需要保持稳定的企业人才...
汪勇
关键词：通信运营商全业务经营绩效管理关键绩效指标平衡计分卡
W公司婴幼儿奶粉四川市场营销策略研究
婴幼儿奶粉行业在宏观政策上受到国家出台婴幼儿配方食品新国标以及婴幼儿奶粉配方注册制度等政策宏观调控影响;在消费者人数上受到全国新生儿人数从2016年的1786万人到2021年的1062万人连续六年下降,人口红利减弱影响;...
汪勇
关键词：婴幼儿奶粉营销环境市场营销策略
一种基于动态符号执行的软件缺陷检测方法
本发明公开了一种基于动态符号执行的软件缺陷检测方法。其包括下列步骤：对待检测的软件的源程序中的变量添加符号化标识，然后对源程序进行编译处理得到底层虚拟机LLVM中间码；根据指令类型，对LLVM中间码进行分类插桩处理，插入...
郭文生杨霞汪勇张少鑫刘维飞武琼袁艺杨姗刘小平包灵廖士钞杨拯
基于符号执行的软件测试技术研究与设计
计算机技术的迅猛发展导致软件代码空前膨胀，面对大量代码和日益提高的软件可靠性要求，如何通过全方位高精度、高效率的测试手段保证软件产品的质量便成为软件测试技术的核心问题。当下的测试技术中，无论是测试案例生成还是程序缺陷检测...
汪勇
关键词：自动化测试软件测试程序开发
一种多Android系统的容器自动创建及其启动方法
本发明基于Linux内核容器技术和显示设备复用技术，具体涉及一种系统级容器技术的多Android系统的容器自动创建及其启动方法。本发明在Linux内核中自动创建容器，启动容器中的系统，确保每个容器独立运行一个Androi...
杨霞郭文生武琼刘维飞汪勇张少鑫袁艺杨姗包灵刘小平廖士钞钟鑫吕清林高正宏丘双华杨拯简鲲鹏
文献传递
一种多Android系统的容器自动创建及其启动方法
本发明基于Linux内核容器技术和显示设备复用技术，具体涉及一种系统级容器技术的多Android系统的容器自动创建及其启动方法。本发明在Linux内核中自动创建容器，启动容器中的系统，确保每个容器独立运行一个Androi...
杨霞郭文生武琼刘维飞汪勇张少鑫袁艺杨姗包灵刘小平廖士钞钟鑫吕清林高正宏丘双华杨拯简鲲鹏
一种基于动态符号执行的软件缺陷检测方法
本发明公开了一种基于动态符号执行的软件缺陷检测方法。其包括下列步骤：对待检测的软件的源程序中的变量添加符号化标识，然后对源程序进行编译处理得到底层虚拟机LLVM中间码；根据指令类型，对LLVM中间码进行分类插桩处理，插入...
郭文生杨霞汪勇张少鑫刘维飞武琼袁艺杨姗刘小平包灵廖士钞杨拯
文献传递
一种基于动态符号执行的分布式自动测试案例生成方法
该发明属于软件测试案例自动生成技术领域中的一种基于动态符号执行的分布式自动测试案例生成方法。包括：测试设备配置，被测程序的预处理，路径约束条件的提取，测试案例的自动生成。该发明由于将被测程序与测试案例自动生成工具分离。该...
郭文生桑楠雷航秦小凤徐栋汪勇李明
全选 清除 导出
共1页<1>
聚类工具0