检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

面向复杂实时系统的一种任务分配策略

西北工业大学学报 1996年第3期14卷 420-424页

作者：王千祥周兴社西北工业大学

集中的多处理机群是复杂实时控制系统的核心，针对任务分配问题，提出了由新颖的分配步骤构成的分配策略：任务集分解、多级滤波、非单调映射、任务归并及重构分配。仿真结果表明，该策略所得到的任务分配结果是较优的。

关键词：实时系统多机系统任务分配重构

CEclipse:一个基于服务组合的在线集成开发环境

在线全文

学校读者我要写书评

暂无评论

计算机研究与发展 2013年第6期50卷 1324-1334页

作者：吴凌梁广泰王千祥北京大学信息科学技术学院软件研究所北京100871 软件工程国家工程研究中心北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871

随着云计算概念的提出,越来越多的桌面应用被迁移到云中,其中桌面集成开发环境的迁移也成为近些年讨论的热点.介绍了一个在线集成开发环境CEclipse(Cloud Eclipse).CEclipse通过将桌面集成开发环境Eclipse的功能封装成服务,然后利用服... 详细信息

随着云计算概念的提出,越来越多的桌面应用被迁移到云中,其中桌面集成开发环境的迁移也成为近些年讨论的热点.介绍了一个在线集成开发环境CEclipse(Cloud Eclipse).CEclipse通过将桌面集成开发环境Eclipse的功能封装成服务,然后利用服务组合的技术有机地结合在一起,形成了在线集成开发环境的核心功能.同时利用程序静态分析和程序动态分析等技术,解决了在线集成开发环境中特有的安全问题.其次,为了发挥在线开发的优势,CEclipse提出了利用数据挖掘等技术来挖掘用户在编程过程中的各种行为,以指导用户更快更好地进行在线程序开发,从而增强其用户体验.除此之外,CEclipse具有良好的可扩展性:1)利用单点登录等技术支持其他已有在线服务的快速整合;2)提出了一套半自动化的方法,将Eclipse插件快速迁移到CEclipse中.

关键词：云计算在线集成开发环境服务组合程序分析迁移可扩展

在线全文

学校读者我要写书评

暂无评论

面向对象领域设计中的变化性处理

电子学报 2001年第11期29卷 1486-1490页

作者：陈兆良王千祥梅宏杨芙清北京大学计算机科学技术系北京100871

在领域工程中识别、描述和实现变化性 ,对应用系统的开发具有重要的指导意义和直接作用 .其中在领域设计阶段 ,建立比较合理、比较灵活的DSSA ,将系统的可变部分与固定部分分离开来 ,将系统成分在DSSA和构件之间进行合理的分配 ,把变化... 详细信息

在领域工程中识别、描述和实现变化性 ,对应用系统的开发具有重要的指导意义和直接作用 .其中在领域设计阶段 ,建立比较合理、比较灵活的DSSA ,将系统的可变部分与固定部分分离开来 ,将系统成分在DSSA和构件之间进行合理的分配 ,把变化性实现为构件 ,是领域工程的核心及关键性工作 .本文运用设计模式和OO框架 ,提出了面向对象领域设计中常见变化性的解决方案 ,并将这些方案应用于POS领域的领域设计 .

关键词：软件复用软件构件面向对象程序设计

在线全文

学校读者我要写书评

暂无评论

一种基于模型的软件系统监测方法

计算机研究与发展 2010年第7期47卷 1175-1183页

作者：邵津邓芳王千祥北京大学信息科学技术学院软件研究所北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871

软件系统在运行过程中的状态和行为是否与其需求规约一致是衡量软件系统服务质量的一个关键指标.提出了一种使用基于模型的软件系统监测技术来保障软件质量的方法,其基本思路是及时发现系统在运行过程中出现的异常,为调整系统、保障软... 详细信息

软件系统在运行过程中的状态和行为是否与其需求规约一致是衡量软件系统服务质量的一个关键指标.提出了一种使用基于模型的软件系统监测技术来保障软件质量的方法,其基本思路是及时发现系统在运行过程中出现的异常,为调整系统、保障软件服务质量提供依据.该方法以包含约束描述信息的监测模型为基础,基于一系列的转换规则,自动、半自动地将监测模型转换成相应的监测代码,并以合适的实现机制部署到被监测系统之上,从而提高软件系统监测的效果.

关键词：软件维护软件质量保障软件系统监测运行时验证约束模型

在线全文

学校读者我要写书评

暂无评论

基于模式分析的特征交互检测

软件学报 2007年第4期18卷 796-807页

作者：左继红王千祥梅宏北京大学信息科学技术学院软件研究所北京100871

旨在提出一种基于模式分析的特征交互检测方法,其基本思想在于从已知的交互中提取具有共性的冲突模式,并以之检测新的特征交互.该方法使用一组谓词公式描述交互发生的条件,使用Java语言对系统建模,借助于一个外部工具,系统模型可以遍历... 详细信息

旨在提出一种基于模式分析的特征交互检测方法,其基本思想在于从已知的交互中提取具有共性的冲突模式,并以之检测新的特征交互.该方法使用一组谓词公式描述交互发生的条件,使用Java语言对系统建模,借助于一个外部工具,系统模型可以遍历所有的运行场景.在模型运行期间,所有特征的行为将被收集和分析,一旦发现某个交互的条件得到满足,即产生冲突报告.该方法被用于一个E-mail系统的分析.实验结果显示,在处理了超过100万个运行场景后,该方法能够有效地检测出已知和未知的特征交互.

关键词：特征交互模型检测模型模式匹配 Java

在线全文

学校读者我要写书评

暂无评论

一种基于模型的特征交互检测方法

软件学报 2007年第1期18卷 94-104页

作者：左继红王千祥梅宏北京大学信息科学技术学院软件研究所北京100871

为了适应业务的不断更新,许多软件系统通过向公共的基础系统插入新的扩展来实现演化.这种演化策略虽然有利于并行开发和部署,但也面临着扩展间可能发生非预期特征交互的问题.目前,形式化方法在检测特征交互问题方面仍然是最有效的方法之... 详细信息

为了适应业务的不断更新,许多软件系统通过向公共的基础系统插入新的扩展来实现演化.这种演化策略虽然有利于并行开发和部署,但也面临着扩展间可能发生非预期特征交互的问题.目前,形式化方法在检测特征交互问题方面仍然是最有效的方法之一.这类方法着眼于检测扩展之间是否会发生冲突.虽然在小规模实验上较为成功,但是它们也面临着一些挑战.例如:扩展的非单调性、扩展组合的激增以及扩展模型可能无法获知的问题.实际上,许多特征交互都源于新扩展对基系统和已有扩展造成的不恰当影响.基于这种认识,集中关注由于扩展的不恰当影响所导致的交互冲突问题,提出了如何从已知的特征交互实例来分析产生冲突的原因的具体方法,并说明了如何制定约束以限制扩展中易导致冲突的行为,从而预防同一类行为可能导致的各种冲突.该方法被应用到电信系统特征交互的分析上,实验结果表明,大部分特征交互中导致冲突的行为都可以被检测出来.该方法不仅能够保证原有基系统或扩展模型的稳定、有效,避免扩展组合带来的问题,而且它无须公布扩展的模型细节.

关键词：特征交互模型检测模型约束非单调性形式化方法

在线全文

学校读者我要写书评

暂无评论

基于增强描述的代码搜索方法

软件学报 2017年第6期28卷 1405-1417页

作者：黎宣王千祥金芝北京大学信息科学技术学院北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871

如何有效地帮助程序员从目前的各种代码库中搜索与特定编程任务相关的代码,已成为软件工程重要的研究领域之一.提出一种基于增强描述的代码搜索方法 DERECS,该方法首先基于开源项目、问答系统等构建一个代码-描述语料库,并分析代码及自... 详细信息

如何有效地帮助程序员从目前的各种代码库中搜索与特定编程任务相关的代码,已成为软件工程重要的研究领域之一.提出一种基于增强描述的代码搜索方法 DERECS,该方法首先基于开源项目、问答系统等构建一个代码-描述语料库,并分析代码及自然语言描述,提取方法调用和代码结构相关特征值;然后,基于代码片段中的方法调用及代码片段的结构特征对代码进行描述增强,以减小被搜索的代码与自然语言查询语句之间的差异,扩大搜索的范围.使用真实自然语言查询语句作为测试基准,对DERECS进行验证.验证结果表明,DERECS的效果显著优于典型方法 SNIFF和Krugle的查询结果.

关键词：代码搜索自然语言处理代码-描述对代码特征提取代码描述增强

在线全文

学校读者我要写书评

暂无评论

软件分析技术进展

计算机学报 2009年第9期32卷 1697-1710页

作者：梅宏王千祥张路王戟北京大学信息科学技术学院高可信软件教育部重点实验室北京100871 国防科学技术大学计算机学院并行与分布处理国防科技重点实验室长沙410073

软件分析技术的研究已有较长历史,相关成果也在软件生命周期的不同阶段中得到了广泛应用.软件生命周期中不同活动所需要的软件分析技术既不完全相同,又有许多交叠,且不同的分析技术之间互相影响.文章在讨论了软件分析的基本概念之后,主... 详细信息

软件分析技术的研究已有较长历史,相关成果也在软件生命周期的不同阶段中得到了广泛应用.软件生命周期中不同活动所需要的软件分析技术既不完全相同,又有许多交叠,且不同的分析技术之间互相影响.文章在讨论了软件分析的基本概念之后,主要从静态分析与动态分析两个方面介绍了一些主要的软件分析技术以及部分相关分析工具.结合软件的质量问题,文章还探讨了一些分析技术与软件质量属性的相关性,以便于人们在分析特定的软件质量属性时,选取合适的技术与工具.最后,文章展望了软件分析技术的发展趋势.

关键词：软件分析静态分析动态分析软件质量

在线全文

学校读者我要写书评

暂无评论

一种面向构件化软件的在线演化方法

计算机学报 2005年第11期28卷 1890-1897页

作者：王晓鹏王千祥梅宏北京大学信息科学技术学院软件研究所北京100871

针对构件化软件系统,提出了一种对软件进行在线演化的方案,并以一个符合J2EE规范的构件运行支撑平台为例讨论了该方案的实现.该方案借助JAVA平台的类装载机制,通过仔细划分构件实例的生命周期,针对不同状态的构件采取相应的措施,实现了... 详细信息

针对构件化软件系统,提出了一种对软件进行在线演化的方案,并以一个符合J2EE规范的构件运行支撑平台为例讨论了该方案的实现.该方案借助JAVA平台的类装载机制,通过仔细划分构件实例的生命周期,针对不同状态的构件采取相应的措施,实现了以构件为粒度的软件在线演化.

关键词：软件维护在线演化构件容器应用服务器