戴志华 作品数:7 被引量:5 H指数:2 供职机构: 武汉数字工程研究所 更多>> 相关领域: 自动化与计算机技术 更多>>
Xen上的CPU性能监视系统 被引量:1 2012年 针对现有Xen虚拟机性能监视工具的不足,设计了一个专用的Xen虚拟机CPU性能监视工具XCPUMon(Xen CPU Moni-tor),对Xen虚拟机上的CPU的各项性能参数都进行监测和记录,包括物理CPU和虚拟CPU。该文简要介绍了XCPUMon的组成,详细分析了CPU利用率评估算法。实验结果表明:XCPUMon能准确、全面的获取各个Domain的CPU信息。 戴志华关键词:虚拟化技术 XEN虚拟机 基于XML的测试用例自动生成方法 被引量:2 2007年 提出一种基于XML描述的测试用例自动生成方法:采用XML语言来描述报文接口信息,根据域测试策略生成域测试表,通过组合覆盖生成算法生成最终的测试用例包。该方法产生的测试用例具有数量少、能实现报文接口的最大限度覆盖的特点,从而在保证软件质量的同时,降低成本,提高效率。 戴志华 周奇 王烈关键词:软件测试 测试用例 XML描述 漏洞检测静态分析方法的优化策略 2012年 目前软件漏洞静态解决方案大都有针对性的检测某些方面的软件漏洞,无法做到全面、高效、准确的检测出所有漏洞。通过讨论目前已有的一些漏洞检测技术与工具,并研究这些工具与技术各自存在的优势与缺陷。在此基础上提出改进漏洞检测静态分析的优化策略。 王烈 戴志华关键词:漏洞检测 软件漏洞 软件测试 指控系统软件测评技术研究 指控系统软件测评是一个系统工程,研究了适合指控系统软件体系结构及特性的测评体系、测评技术、测试用例生成和测评管理技术,以提高测试效率,改进软件质量。 黄萍 戴志华关键词:测评体系 测评技术 测试用例 测试管理 文献传递 基于XML的软件集成测试自动化方法 被引量:2 2007年 本文提出了一种基于XML的集成测试方法,并给出了该方法的实现系统、数据接口的定义及被测系统接口的XML描述技术。该方法集用例设计、测试插装、测试驱动及测试报告生成于一体,系统灵活、可扩展,实现了软件集成测试自动化。 戴志华 王烈 周奇关键词:XML描述 用例设计 一种C语言缓冲区溢出漏洞检测的静态分析方法 2006年 为更准确的检测程序中可能出现的缓冲区溢出漏洞,本文提出了一种C语言缓冲区溢出漏洞检测的静态分析方法,它在源代码的SSA(Static Single Assignment)式上进行外部数据分析.并给出了该方法的实现过程。通过实践的结果表明该方法能有效的避免误判,与其他同类方法相比具有较高的准确性。 王烈 戴志华 周奇关键词:缓冲区溢出 SSA 指控系统软件测评技术研究 指控系统软件测评是一个系统工程,研究了适合指控系统软件体系结构及特性的测评体系、测评技术、测试用例生成和测评管理技术,以提高测试效率,改进软件质量. 黄萍 戴志华关键词:体系结构 测评体系 软件测试 文献传递