您的位置： 专家智库 > >

国家自然科学基金(60403022)

作品数：6 被引量：48H指数：4
相关作者：戴桂兰白晓颖王生原赵冲冲张志强更多>>
相关机构：清华大学漯河职业技术学院北京语言大学更多>>
发文基金：国家自然科学基金国家科技攻关计划更多>>
相关领域：自动化与计算机技术轻工技术与工程一般工业技术更多>>

文献类型

  • 6篇中文期刊文章

领域

  • 6篇自动化与计算...
  • 1篇轻工技术与工...
  • 1篇一般工业技术

主题

  • 2篇桌面
  • 2篇操作系
  • 2篇操作系统
  • 2篇WEB服务
  • 1篇同构
  • 1篇同构系统
  • 1篇吞吐
  • 1篇吞吐量
  • 1篇重定向
  • 1篇桌面操作
  • 1篇桌面操作系统
  • 1篇稳定性
  • 1篇系统构造
  • 1篇目标机
  • 1篇函数式语言
  • 1篇编程
  • 1篇编程系统
  • 1篇编程语言
  • 1篇编译器
  • 1篇WEB服务测...

机构

  • 6篇清华大学
  • 1篇北京语言大学
  • 1篇漯河职业技术...

作者

  • 5篇戴桂兰
  • 4篇白晓颖
  • 2篇王生原
  • 1篇张素琴
  • 1篇殷人昆
  • 1篇齐伟民
  • 1篇张志强
  • 1篇杨萍
  • 1篇赵冲冲
  • 1篇罗晓光
  • 1篇许德正
  • 1篇吴俊峰
  • 1篇欧阳坚

传媒

  • 5篇计算机科学
  • 1篇计算机工程

年份

  • 1篇2008
  • 1篇2007
  • 3篇2006
  • 1篇2005
共 6 条 记 录，以下是 1-6
全选 清除 导出
排序方式：
函数式元编程语言的设计要素被引量：1
2006年
本文介绍基于函数式语言的元编程系统,讨论元编程系统特别是同构系统的语言特点。从程序反射的角度分析元编程系统对程序设计语言在自我表示、自我分析和控制等方面的要求。以 MetaML 和 Template Haskell 为例论述在函数式语言中为了支持元编程需要扩展的机制,包括语法、语义、类型系统、安全的变量使用等,以及它们的实现方案、各方案的特点。最后总结一些元编程系统的共同点,并预测未来的发展趋势。
欧阳坚罗晓光王生原戴桂兰张素琴
关键词：函数式语言同构系统
用于多目标编译系统构造的目标机体系结构描述被引量：2
2005年
本文是关于多目标编译系统构造的目标机体系结构描述的一个综述。主要涉及的话题:机器描述应当描述什么和描述语言的设计原则,现行的体系结构描述语言的状况及分类,一个典型的机器描述示例,结构信息描述,以及机器描述所面临的挑战及机遇等。
杨萍王生原
关键词：编译器
桌面操作系统性能测试研究被引量：5
2006年
为了进一步推动我国桌面操作系统的发展,性能测试的研究为系统改进和市场采购提供了理论与技术指导。本文从软件性能测试的基本概念出发,探讨了操作系统的性能测试,包括影响操作系统性能的主要因素、测试方法、性能信息、性能度量方法等；重点讨论了桌面操作系统的性能测试的主要特点,探讨了具有代表性的桌面操作系统性能测试方法-基于系统吞吐量的传统测试和基于用户感知性能的测试,并比较全面地评述了相关测试技术及其工具,总结了这两种性能测试方法中存在的一些问题及相应的解决方案。
吴俊峰戴桂兰白晓颖殷人昆
关键词：操作系统桌面吞吐量
Agent技术在Web服务中的应用探讨被引量：6
2008年
Web服务是一组采用面向服务的体系架构的基于标准的Web协议的软件构件,而Agent是一种在某个环境中自主行动以实现其设计目标的智能化软件实体。Web服务与多Agent系统(MAS,Multi-AgentSystem)在架构、范例和技术方法等方面具有很大的相似性。Web服务的可信性是未来计算机软件发展关键的问题,实现Web服务在分布式环境下的协同式测试具有一定的挑战性。本文在探讨Web服务与Agent技术的共性的基础上,分析并总结了Agent技术在Web服务中的应用。针对Web服务测试的开放性、协同性、动态性和不确定性等特点,结合Agent系统的自主性、反应性、适应性和社会性,本文提出了一种基于MAS的Web服务测试框架(MAST,Multi-Agent-basedServiceTesting),并对其关键技术进行了探讨。
许德正白晓颖戴桂兰
关键词：WEB服务多AGENT系统AGENTWEB服务测试
Web服务测试研究被引量：27
2006年
Web 服务技术为软件测试研究带来了新的挑战。Web 服务测试需要能够适应面向服务的新的分布式计算体系架构。为保证服务的质量,Web 服务需要从多个层次进行验证与确认,包括基础设施、单元服务、集成服务等;测试需涵盖服务的功能、性能、可靠性、安全等各个方面。本文从 Web 服务体系架构和应用模式出发,讨论了 Web 服务测试的主要问题。文章分析当前相关研究的现状,并归纳总结了 SOAP 协议验证、WSDL 语言扩展、基于模型的服务集成验证、和测试构架等主要研究成果。本文最后讨论了当前存在的主要问题及进一步的研究方向。
白晓颖赵冲冲戴桂兰
关键词：WEB服务
Linux桌面操作系统稳定性测试被引量：8
2007年
稳定性测试是可信性测试中一个重要的部分,传统的稳定性测试方法不适用于桌面和交互式系统。提出了一个新的基于Linux桌面操作系统的稳定性测试框架,探讨了测试过程中存在的一些技术难点和相应解决问题的关键技术。以这个测试框架为基础开发了一个集成测试平台,结合测试实例揭露了当前Linux桌面操作系统存在的稳定性问题。
吴俊峰齐伟民戴桂兰白晓颖张志强
关键词：稳定性GUI测试桌面操作系统
全选 清除 导出
共1页<1>
聚类工具0