冯华
- 作品数：37 被引量：21H指数：2
- 供职机构：国防科学技术大学更多>>
- 发文基金：霍英东青年教师基金高效能服务器和存储技术国家重点实验室开放基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术军事更多>>
- 统计测试中测试链与使用链的相似性判别被引量：6
- 2003年
- 本文介绍了统计测试中测试充分性的度量方法。论述了统计测试的基本原理和主要特点,以及统计测试过程中测试链和使用链的相似性比较。文章还具体阐述了欧几里德距离和discriminant值在比较测试链和使用链相似性中的应用,以及它们在实际使用时需要注意的若干问题。
- 冯华徐锡山王戟
- 关键词：统计测试软件测试软件开发
- 面向众核处理器的片上锁变量全局编址存储方法及装置
- 本发明公开了一种面向众核处理器的片上锁变量全局编址存储方法及装置，方法步骤如下：1）预先建立全局编址片上锁存储器；构造应用程序时对锁变量进行标注，在编译和链接时将锁变量分配到独占的地址空间；2）加载应用程序时，将锁变量所...
- 李春江王永文杨灿群冯华高军唐滔
- 文献传递
- 一种新的Hypervisor逻辑域通道设计被引量：1
- 2011年
- UltraSparc T1/T2处理器采用硬件辅助的虚拟化技术,其平台固件Hypervisor实现了虚拟机管理的主要功能。逻辑域通道(Logical Domain Channel)是Hypervisor实现的支持虚拟机间以及虚拟机与Hypervisor间通信的一种机制,其实现简单,但缺乏足够的灵活性。同时,基于逻辑域通道的数据传输需要对传输数据进行拷贝,极大地影响了数据传输性能。本文介绍了一种新的逻辑域通道技术,采用基于描述符的直接数据传递方法,数据经过逻辑域通道时不需要拷贝,其长度也不受逻辑域通道缓冲区大小的限制,实现了虚拟机间灵活高效的数据传递。
- 冯华唐宏伟卢凯
- 关键词：虚拟化描述符
- 大规模I/O共享系统PCI桥非预取访存空间扩展方法
- 本发明公开了一种大规模I/O共享系统PCI桥非预取访存空间扩展方法，其实施步骤如下：1）建立目标地址译码器，通过目标地址译码路由表维护I/O结点的结点间地址与输出端口之间的映射关系；2）在操作系统枚举PCI设备时，获取每...
- 刘勇鹏庞征斌张峻蒋杰迟万庆卢凯唐宏伟樊葆华王睿伯李根王小平高颖慧冯华
- 文献传递
- 一种基于键值数据库的层次化存储与查询方法
- 本发明公开了一种基于键值数据库的层次化存储与查询方法，实施步骤如下：预先构建层次化键码命名规则并确定键码间的比较方法；执行数据存储请求时，根据键码比较方法来确定数据存储请求的键码排序位置并将数据插入键值数据库；执行数据查...
- 李根卢凯王双喜迟万庆周旭唐宏伟刘勇鹏冯华王小平蒋杰高颖慧王睿伯张英樊葆华
- 文献传递
- 面向多虚拟域可定制的PICe外设设备树生成方法
- 本发明公开了一种面向多虚拟域可定制的PICe外设设备树生成方法，其实施步骤如下：1）配置设备访问权限，指定服务虚拟域；2）服务虚拟域执行步骤3）；普通虚拟域当VMM中存在设备树数据时执行步骤6）；3）服务虚拟域扫描生成设...
- 王小平樊葆华卢凯冯华蒋杰刘勇鹏唐宏伟王睿伯李根高颖慧迟万庆
- 文献传递
- 一个基于统计测试的软件可靠性工程环境YH-SREE
- 本文探讨了软件可靠性工程中的关键技术,及一个计算机辅助软件可靠性工程环境YH-SREE的实现.它支持用户建立软件的使用模型,进行可靠性测试分析、用例生成和记录,然后依据软件项目特征和软件失效数据,智能化地指导可靠性模型选...
- 王戟毛晓光徐锡山齐治昌董威李书浩冯华
- 关键词：军事装备软件工程
- 文献传递
- 基于使用模型的统计测试方法的研究被引量：9
- 2002年
- 介绍了基于使用模型的统计测试方法，论述了使用模型的概念和特点，以及从使用模型中可以计算出的静态参数和它们在统计测试和软件开发中所起的作用。还具体阐述了怎样通过使用模型生成测试用例，同时根据测试充分性理论讨论了统计测试中测试充分性的度量方法。最后简要介绍了自行开发的统计测试辅助工具STToolkit。
- 冯华王戟徐锡山
- 关键词：软件测试软件工程测试用例
- 面向多核并行程序的确定性懒惰释放一致性实现方法
- 本发明公开了一种面向多核并行程序的确定性懒惰释放一致性实现方法，步骤包括：在多核并行程序初始化时为各个线程分配独立的地址空间，进程的虚地址空间划分成页面统一管理，将多核并行程序进程的每个线程通过页表项映射至指定页面的一个...
- 周旭卢凯杨灿群李根王睿伯王小平迟万庆唐宏伟刘勇朋冯华蒋洁樊葆华
- 面向多虚拟域可定制的PCIe外设设备树生成方法
- 本发明公开了一种面向多虚拟域可定制的PCIe外设设备树生成方法，其实施步骤如下：1）配置设备访问权限，指定服务虚拟域；2）服务虚拟域执行步骤3）；普通虚拟域当VMM中存在设备树数据时执行步骤6）；3）服务虚拟域扫描生成设...
- 王小平樊葆华卢凯冯华蒋杰刘勇鹏唐宏伟王睿伯李根高颖慧迟万庆
- 文献传递
