您的位置: 专家智库 > >

国家重点基础研究发展计划(2002CB312000)

作品数:36 被引量:376H指数:11
相关作者:徐宝文王建民罗英伟许卓群汪小林更多>>
相关机构:东南大学北京大学清华大学更多>>
发文基金:国家重点基础研究发展计划国家自然科学基金国家高技术研究发展计划更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 36篇期刊文章
  • 5篇会议论文

领域

  • 41篇自动化与计算...

主题

  • 4篇中间件
  • 4篇BASED_...
  • 3篇用户
  • 3篇软件测试
  • 3篇软件体系结构
  • 3篇体系结构
  • 3篇WEB
  • 3篇WEB应用
  • 3篇GML
  • 3篇测试用例
  • 2篇有效性
  • 2篇元数据
  • 2篇自动生成
  • 2篇网构软件
  • 2篇可靠性
  • 2篇互操作
  • 2篇服务器
  • 2篇服务器端
  • 2篇服务器端软件
  • 2篇本体

机构

  • 15篇东南大学
  • 13篇北京大学
  • 6篇清华大学
  • 3篇武汉大学
  • 2篇南京大学
  • 1篇国防科学技术...
  • 1篇华东理工大学
  • 1篇南京邮电大学
  • 1篇解放军理工大...
  • 1篇教育部
  • 1篇中国矿业大学
  • 1篇南京邮电学院

作者

  • 15篇徐宝文
  • 6篇王建民
  • 5篇汪小林
  • 5篇许卓群
  • 5篇赵亮
  • 5篇罗英伟
  • 4篇黄罡
  • 4篇孙家广
  • 4篇梅宏
  • 4篇许蕾
  • 3篇史亮
  • 3篇张卫丰
  • 3篇聂长海
  • 2篇李言辉
  • 2篇刘昕鹏
  • 2篇周晓宇
  • 2篇李军国
  • 2篇杨芙清
  • 2篇陆建江
  • 2篇王文俊

传媒

  • 7篇计算机学报
  • 6篇计算机科学
  • 4篇电子学报
  • 4篇计算机辅助设...
  • 3篇The Fi...
  • 2篇东南大学学报...
  • 2篇中国科学(E...
  • 2篇计算机与数字...
  • 1篇计算机研究与...
  • 1篇计算机工程与...
  • 1篇计算机应用
  • 1篇小型微型计算...
  • 1篇计算机工程与...
  • 1篇舰船电子工程
  • 1篇华东理工大学...
  • 1篇Journa...
  • 1篇Wuhan ...

年份

  • 2篇2009
  • 5篇2008
  • 1篇2007
  • 11篇2006
  • 12篇2005
  • 9篇2004
  • 1篇2003
36 条 记 录,以下是 1-10
排序方式:
概念的最小上近似
2006年
近似信息检索方法通过找到概念的最小上界,然后求出概念的上近似来解决本体异构问题.现有方法只考虑包含独立概念的最小上界,无法找到概念的最小上近似.引入概念的析取定义概念的多元最小上界,证明了基于多元最小上界得到的近似是概念的最小上近似.多元最小上界通常会存在大量的冗余,从而增加概念最小上近似表达式的复杂性.为此给出概念的最简多元最小上界的定义,并提供了寻找最简多元最小上界的有效算法.
陆建江徐宝文康达周李言辉
关键词:信息检索本体最小上界
一种扩展的模糊描述逻辑被引量:4
2005年
为了提高对复杂模糊信息的表示能力,提出一种扩展的模糊描述逻辑.扩展模糊描述逻辑引入模糊概念和模糊关系的截集形式作为原子概念和原子关系,继承经典描述逻辑中的概念构造器和知识库形式,建立新的知识表示逻辑体系.定义了扩展模糊描述逻辑的语法结构、语义解释、知识库形式以及基于可满足性的推理问题.通过与模糊描述逻辑的比较,阐述了模糊描述逻辑可转化为扩展模糊描述逻辑,从而例证了扩展模糊描述逻辑具有比模糊描述逻辑更强的表达能力.
李言辉徐宝文陆建江汪鹏周晶晶
关键词:知识表示描述逻辑
通用服务器端软件测试框架的研究与实现
2006年
J2EE框架实现了多层次的应用程序体系结构,但由于各个应用服务器厂商在实现J2EE规范时都附加了一些自己的特性,所以在不同的应用服务器平台上运行和部署同一企业级组件时也会出现与平台相关的问题。如何在多种应用服务器端不同的容器环境中实现测试用例的复用成为影响测试效率的关键因素。文章针对此问题,设计和实现了一种能在多种主流应用服务器上运行的测试框架。该测试框架通过简单的配置能在多种应用服务器环境中运行测试,得到更丰富的测试结果。该测试框架已成功应用于国家863项目—数据库标准符合性测试。
刘量赵亮王建民
关键词:CACTUSSERVLETJSPEJB
支持管理在线构件的基本构件描述模型被引量:10
2003年
在构件管理中 ,构件描述起着非常重要的作用 .随着构件技术的发展和网络技术的发展 ,在线服务构件日益增多 ,为了支持对在线构件的管理 ,急需一种能描述在线构件和离线构件的基本模型 .本文提出了一种支持管理在线构件的构件基本描述模型 (BCDM) .该模型以BIDM为基础 ,扩展了其结构 ,增加了管理在线服务构件所需的必要特性的描述 ,可以有效地支持对在线构件的描述与管理 。
潘颖刘洋谢冰杨芙清
关键词:构件库
基于源代码插桩的C程序内存使用错误动态检测被引量:8
2004年
针对C程序内存使用错误的预防和处理方法分基于静态分析和动态分析两类。静态分析工具研制复杂 ,目前还没有得到广泛使用的高效工具。动态分析又分为基于目标代码和源代码插桩分析两类。由于缺少完整的语法、语义信息 ,基于目标代码的分析有时对错误的捕捉、定性不够精确。基于源代码的分析由于其信息的完整可以达到对错误的最精确报告。本文对C程序中的内存使用错误进行了分析 ,并讨论了一个C程序内存错误动态检测工具的设计思想 ,给出了系统流程、关键数据结构。
周晓宇黄文伟史亮徐宝文
关键词:内存错误插桩软件测试
一种互操作协议性能评估方法被引量:4
2006年
在异构网络环境下,互操作协议对应用系统具有重要意义,互操作协议的性能对应用系统的性能也起着举足轻重的作用.为确定应用系统性能瓶颈,必须评估互操作协议性能.本文提出了一种互操作协议性能评估方法.该方法针对实际应用系统中的互操作协议,提出符合实际的评估指标,对协议性能进行定性分析和定量分析.在定性分析中得出安全性、容错能力、可扩展性等性能指标.在定量分析中,建立仿真实验模型与排队论数学模型相结合的混合模型,得出网络带宽占用、响应时间与吞吐量等性能指标.综合这些指标,我们给出互操作协议性能评估的结果.
张弩云李军国黄罡梅宏叶萌陈滢
关键词:互操作数学模型排队论
一种新的变异测试数据自动生成方法被引量:22
2008年
变异测试是一种行之有效的软件测试方法,通过使用变异算子产生变异体系统地模拟软件中的各种缺陷,然后构造能够杀死这些变异体的测试数据集.自动生成能够杀死变异体的测试数据将提高变异测试的效率和有效性.当前的研究工作只考虑生成杀死单个变异体的测试数据.文中根据杀死同一位置的多个变异体的条件相近的特点,提出一种对杀死这些变异体的条件进行组合,然后生成同时杀死该位置多个变异体的测试数据的方法;给出相应的支持工具,并且通过实验验证方法的有效性.
单锦辉高友峰刘明浩刘江红张路孙家骕
关键词:变异体测试数据
Heuristic feature selection method for clustering被引量:1
2006年
In order to enable clustering to be done under a lower dimension, a new feature selection method for clustering is proposed. This method has three steps which are all carried out in a wrapper framework. First, all the original features are ranked according to their importance. An evaluation function E(f) used to evaluate the importance of a feature is introduced. Secondly, the set of important features is selected sequentially. Finally, the possible redundant features are removed from the important feature subset. Because the features are selected sequentially, it is not necessary to search through the large feature subset space, thus the efficiency can be improved. Experimental results show that the set of important features for clustering can be found and those unimportant features or features that may hinder the clustering task will be discarded by this method.
徐峻岭徐宝文张卫丰崔自峰
关键词:CLUSTERING
并发环境中渐增式追踪重演机制被引量:1
2005年
在基于消息传递的并发程序中 ,由于进程的调度顺序以及消息延时等特性 ,使得同样输入的不同执行呈现不同的结果 ,这种并发程序行为的不确定性直接导致了程序错误的不可再现性 ,即后续的执行无法再现前次执行的错误。以反复执行程序、重复再现故障为核心的循环调试方法变得不再可用。因此 ,对于并发程序的调试问题 ,我们将传统的循环调试方法加以扩充 ,引入追踪和重演的机制 ,重放程序的某次执行 ,以消除并发程序的错误不可再现性。
曾奕徐宝文许蕾
关键词:并发不确定性检查点
一种Web应用测试结果分析比较技术被引量:4
2006年
合理分析、正确比较Web应用的测试结果能够有效评判测试工作的效果和效率。在现有工作的基础上,我们提出一种新的测试结果分析比较方法,利用语义标注和XML描述技术实现Web页面中数据与显示信息的分离,从而方便测试结果与预期结果的直接比较;并进一步引入反馈控制机制,把测试结果反馈给Web应用本身,根据Web应用的实际状况来指导其发展和演化,使得系统质量得到进一步改善。
许蕾徐宝文
关键词:WEB应用反馈控制
共5页<12345>
聚类工具0