-
题名软件配置错误诊断与修复技术研究
被引量:10
- 1
-
-
作者
陈伟
黄翔
乔晓强
魏峻
钟华
-
机构
中国科学院软件研究所软件工程技术研发中心
中山大学信息科学与技术学院
中国科学院软件研究所计算机科学国家重点实验室
-
出处
《软件学报》
EI
CSCD
北大核心
2015年第6期1285-1305,共21页
-
基金
国家自然科学基金(61402453)
国家高技术研究发展计划(863)(2013AA041301)
+1 种基金
国家科技支撑计划(2013BAH05 F03
2012BAH14B02)
-
文摘
软件的多样性、复杂性、灵活性和高度可定制性对系统的正确配置提出了挑战,配置错误已经成为影响应用服务质量的关键问题之一.很多学者和研究机构致力于配置错误的检测、诊断和故障修复的相关技术和方法研究,以提高复杂应用系统的可用性和可靠性.为系统了解软件配置错误相关的研究现状和进展,建立了一种多方面、多角度的分析框架对该领域的主要研究工作进行分类总结和分析评价,该分析框架覆盖了方法类型、方式和适用范围这3个方面的多个角度.基于该分析框架的分析结果,总结了当前软件配置错误相关研究中存在的问题,并针对今后该领域的研究趋势进行了展望,对继续和深入研究具有一定的指导意义.
-
关键词
软件配置
故障诊断
错误修复
-
Keywords
software configuration
failure diagnose
error fix
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于软件体系结构的集成适配器集成模式研究
被引量:3
- 2
-
-
作者
徐罡
黄涛
刘绍华
叶丹
-
机构
中国科学院软件研究所软件工程技术中心
-
出处
《计算机科学》
CSCD
北大核心
2006年第3期229-233,238,共6页
-
基金
本课题得到国家"863"高技术发展技术发展计划项目(2002AA413610
2003AA413010
+1 种基金
2003AA115440)
国家"973"重点基础研究发展规划(2002CB312005)的资助
-
文摘
集成适配器是构建分布应用集成的重要组件之一,能够完成应用程序间的连接、介入及转换等功能,屏蔽了应用集成复杂性。尽管集成适配器在分布应用集成中起到关键性的作用,但是目前缺少对集成适配器系统性的研究。本文通过调查分析已有的适配器,给出集成适配器的基本特征并从多个视角归纳总结了集成适配器的类型,进一步分析了集成适配器的集成模式。通过对集成适配器集成模式的研究,可以为不同集成场景提供解决方案并决定其适用范围,支持适配器的快速实现。最后,以资源适配器为例说明集成模式的应用。
-
关键词
集成适配器
分布应用集成
集成模式
软件体系结构
-
Keywords
Adapter,Distributed application integration,Integration pattern,Software architecture
-
分类号
TP314
[自动化与计算机技术—计算机软件与理论]
TH166
[机械工程—机械制造及自动化]
-
-
题名软件体系结构设计技术及其应用
被引量:8
- 3
-
-
作者
刘志军
金蓓弘
-
机构
中国科学院软件研究所软件工程技术中心
-
出处
《计算机工程与设计》
CSCD
2002年第6期45-49,共5页
-
基金
本文研究得到国家自然科学重点基金(69833030)的资助。
-
文摘
在大规模软件开发的过程中,软件体系结构设计起着举足轻重的作用,用它来指导整个开发过程,可以准确满足需求并充分提高软件系统的重用性和可维护性。结合数据传输工具DataTrans,详细阐述了一种描绘体系结构的标准化方法并阐述了该方法在DataTrans中的应用。
-
关键词
软件体系结构
设计
概念视图
模块视图
执行视图
代码视图
软件工程
软件开发
-
Keywords
software architecture
concept view
module view
execution view
code view
-
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
-
-
题名软件过程的比较框架研究
被引量:5
- 4
-
-
作者
李松领
金蓓弘
-
机构
中国科学院软件研究所软件工程技术中心
-
出处
《计算机科学》
CSCD
北大核心
2004年第5期72-76,共5页
-
基金
国家自然科学基金(60103008)
-
文摘
软件过程在软件开发中占有非常重要的地位。根据项目的需求和特点,选择一个合适的软件过程可以使项目的开发事半功倍。为了指导软件过程的选择,本文给出了一个简明的软件过程比较框架,并依据这个比较框架,对几个典型的软件过程进行了分析和比较。
-
关键词
软件过程
软件开发
比较框架
RUP
TSP
XP
净室过程
-
Keywords
Software process, RUP,TSP,XP,Cleanroom
-
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
-
-
题名分布应用集成核心技术研究综述
被引量:75
- 5
-
-
作者
徐罡
黄涛
刘绍华
叶丹
-
机构
中国科学院软件研究所软件工程技术中心
-
出处
《计算机学报》
EI
CSCD
北大核心
2005年第4期433-444,共12页
-
基金
国家"八六三"高技术研究发展计划项目基金(2001AA113010
2002AA413610
+2 种基金
2003AA413010
2003AA115440)
国家"九七三"重点基础研究发展规划项目基金(2002CB312005)资助.
-
文摘
分布应用集成技术已成为构建大型信息系统,特别是SOA的关键技术.该文在分析分布应用集成的基本特征和集成层次的基础上,阐述了其关键问题,包括数据多样性、传输载体和应用访问、协同管理、可重配和自适应、建模和形式化,进一步论述了分布应用集成与Grid,SOA及B2B等技术的联系与区别.从不同的角度对这些问题作了全面的概述,既分析了存在的问题,又论述了已有技术在处理这雪问题上的优势和不足并探讨了相关的新兴技术,展望了未来发展方向.
-
关键词
分布应用集成
中间件
面向服务的体系
B2B
网格
-
Keywords
Data communication systems
Data structures
Distributed computer systems
Information management
Middleware
Quality of service
XML
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名云计算核心技术研究综述
被引量:26
- 6
-
-
作者
张建华
吴恒
张文博
-
机构
中国科学院软件研究所软件工程技术中心
中国科学院软件研究所计算机科学国家重点实验室
中国科学院研究生院
-
出处
《小型微型计算机系统》
CSCD
北大核心
2013年第11期2417-2424,共8页
-
基金
国家"九七三"重点基础研究发展计划项目(2009CB320704)资助
国家"八六三"高技术研究发展计划项目(2012AA011204)资助
国家自然科学基金项目(61173004)资助
-
文摘
云计算作为一种新型的计算模式,在工业界和学术界得到了越来越广泛的应用和研究.本文首先阐述了云计算的基本概念,然后从云存储结构、编程框架、虚拟化和资源管理、安全与隐私、网络拓扑结构、能源管理等几个方面论述了当前云计算核心关键技术的发展现状,分析了其中的优势和不足,并进一步介绍了当前工业界主流的云计算平台以及学术界的开源云计算框架和实验系统.最后本文探讨了云计算进一步发展的研究问题,并展望了云计算的发展趋势.
-
关键词
云计算
云存储
云编程框架
虚拟化
安全与隐私
网络拓扑
能源管理
-
Keywords
cloud computing
cloud-based storage
cloud programming frameworks
virtualization
privacy and security
data centernetworks
power management
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名高效DOM实现的技术研究
被引量:18
- 7
-
-
作者
郭红艳
杨波
金蓓弘
-
机构
中国科学院软件研究所软件工程技术中心
-
出处
《计算机科学》
CSCD
北大核心
2006年第6期274-277,共4页
-
基金
国家973项目(编号2002CB312005)
国家863项目(编号2001AA113010)的资助。
-
文摘
DOM是目前为止唯一成为W3C正式标准的XML解析模型。本文充分考虑了DOM模型的特点,设计并实现了一个高性能的支持DOM的XML解析器OnceDOMParser。为了提高DOM实现的性能,我们采用用户堆提高对象管理的效率,减少对象在JVM中创建的数量,并采取了数据的延迟装载策略。OnceDOMParser经过了严格的XML兼容性测试和DOM API兼容性测试,多方面的性能测试表明OnceDOMParser性能优越,其平均吞吐量比目前最流行的XML解析器Xerces高43.7%左右。
-
关键词
XML解析器
DOM
延迟加载
-
Keywords
XML parser, DOM, Lazy load
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
TP311.52
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于非确定性推理的网构软件服务质量动态评估方法
被引量:10
- 8
-
-
作者
吴国全
魏峻
黄涛
-
机构
中国科学技术大学计算机科学与技术系
中国科学院软件研究所软件工程技术研究中心
-
出处
《软件学报》
EI
CSCD
北大核心
2008年第5期1173-1185,共13页
-
基金
国家自然科学基金No.60673112
国家重点基础研究发展计划(973)No.2002CB312005
国家高技术研究发展计划(863)No.2006AA01Z19B~~
-
文摘
提出了网构软件环境下一种基于非确定性推理的构件服务质量动态评估方法.该方法基于贝叶斯网络,其主要特点在于考虑了用户对构件的QoS需求,可以预测在用户多种QoS需求下采用分级策略的构件服务能力,支持评估模型的动态更新,提高了评估结果的准确性.在自主开发的服务协同总线(Once-SCB)平台上进行了应用与验证,结果表明,该评估模型准确、有效,可以在用户多种QoS需求下为其选择最为合适的构件.
-
关键词
网构软件
服务分级
服务质量
贝叶斯网络
模糊逻辑
-
Keywords
Internetware
service differentiation
quality of service
Bayesian network
fuzzy logic
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于线程的并发控制技术研究与应用
被引量:16
- 9
-
-
作者
李刚
金蓓弘
-
机构
中国科学院软件研究所软件工程技术中心
-
出处
《计算机工程》
CAS
CSCD
北大核心
2007年第14期43-45,共3页
-
基金
国家"863"计划基金资助项目(2003AA115440)
-
文摘
高效的并发控制策略可以提高系统的并行处理能力、改善交互响应时间。该文讨论了并发编程的复杂性,分析了4种基于线程的并发结构。目前,基于线程的并发控制技术已成功地应用到了分布事务监控器OnceTX中。
-
关键词
并发控制
多线程
同步
分布事务处理
-
Keywords
concurrency control
multithread
synchronization
distributed transaction processing
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名南水北调工程信息管理系统数据交换平台的研究与设计
被引量:5
- 10
-
-
作者
徐罡
许舒人
-
机构
中国科学院软件研究所软件工程技术中心
-
出处
《南水北调与水利科技》
CAS
CSCD
2005年第3期1-4,共4页
-
文摘
为了适应南水北调信息系统在地域上分布特性和各个信息系统本身工程数据的多样性特点,并解决工程管理对数据集成和交换的需求,本文提出面向南水北调工程特点的数据交换平台,依据于该平台可以快速实现南水北调信息系统数据集成和交换。
-
关键词
南水北调工程
管理信息系统
数据集成和交换
-
Keywords
South-to-North Water Transfers
management information system
data integration and transfer
-
分类号
TV68
[水利工程—水利水电工程]
-
-
题名统一建模技术研究
被引量:1
- 11
-
-
作者
金蓓弘
李松领
-
机构
中国科学院软件研究所软件工程技术中心
-
出处
《计算机应用研究》
CSCD
北大核心
2004年第9期30-32,36,共4页
-
基金
国家自然科学基金资助项目(60103008)
-
文摘
统一建模是指采用UML语言并运用RUP过程进行软件系统建模的技术。分析了统一建模的特点,总结了在统一建模过程中使用的一些技术,包括如何分析用例,如何在设计中保持一致的体系结构风格,如何识别和重组设计元素等。
-
关键词
软件建模
UML
RUP
-
Keywords
Software Modeling
UML
RUP
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名面向行业应用的软件开发检查工具
- 12
-
-
作者
吴晓辉
王致富
张正
-
机构
对外经济贸易大学金融学院
中国科学院软件研究所软件工程技术研究中心
中国科学院研究生院信息科学与工程学院
中科软科技股份有限公司
-
出处
《计算机工程与设计》
CSCD
北大核心
2012年第4期1595-1601,共7页
-
基金
"核高基"重大专项基金项目(2010zx01045-001-006)
2010-2011年度中国保监会部级研究课题基金项目(ZC201011)
中国博士后科学基金项目(20110490338)
-
文摘
现有的自动化测试和检查工具能够解决一些常规的测试和检查问题,但是对于行业应用软件开发过程的某些个性化测试和检查要求,没有提供很好的支持。因此针对行业应用软件的个性化要求,提出了一种面向行业应用的软件开发检查工具,在通用测试和检查工具的基础上,从代码检查、数据结构检查、接口检查和日志检查4个方面,对系统进行进一步的测试和检查。实验结果表明,该工具能有效地提高软件系统的开发效率和正确性,降低软件系统的开发成本。
-
关键词
行业应用软件
样本程序
自动化测试工具
代码自动化检查
批量测试
-
Keywords
industry applicatiom typical program
automated testing tool
automated code inspection
batch testing
-
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
-
-
题名Web应用服务器研究综述
被引量:62
- 13
-
-
作者
范国闯
钟华
黄涛
冯玉琳
-
机构
中国科学院软件研究所软件工程技术中心
-
出处
《软件学报》
EI
CSCD
北大核心
2003年第10期1728-1739,共12页
-
基金
国家高技术研究发展计划(863)
国家重点基础研究发展计划(973)~~
-
文摘
Web应用服务器是Web计算环境下产生的新型中间件,为创建、部署、运行、集成和管理事务性Web应用提供一个跨平台的运行环境,被认为是自关系型数据库以来最令人激动的企业应用技术.诸多IT企业纷纷推出其各自的Web应用服务器产品和系统,学术界也对这种热门领域产生了浓厚的兴趣.在分析Web计算环境下传统中间件发展所遇到的问题的基础上,介绍Web应用服务器的起源和发展、运行模式以及评测基准,然后对Web应用服务器研究现状进行综述,主要包括Web应用服务器的定义、体系结构、组件容器、分布事务处理、负载平衡、高速缓存、Web Service等研究热点和关键技术.根据评测基准,对若干主流Web应用服务器从功能和性能两个方面进行分析和比较.此外,还指出了Web应用服务器目前存在的不足以及未来的发展趋势.
-
关键词
WEB应用服务器
中间件
事务性Web应用
WEB计算
-
Keywords
Web application server
middleware
transactional Web application
Web computing
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
-
题名云计算环境下分布式缓存技术的现状与挑战
被引量:75
- 14
-
-
作者
秦秀磊
张文博
魏峻
王伟
钟华
黄涛
-
机构
中国科学院软件研究所软件工程技术中心
中国科学院软件研究所计算机科学国家重点实验室
中国科学院研究生院
-
出处
《软件学报》
EI
CSCD
北大核心
2013年第1期50-66,共17页
-
基金
国家重点基础研究发展计划(973)(2009CB320704)
国家自然科学基金(61173003
+2 种基金
61100068)
国家高技术研究发展计划(863)(2012AA011204)
国家科技支撑计划(2011BAH15B03)
-
文摘
作为云平台提升应用性能的一种重要手段,分布式缓存技术近年来受到了工业界和学术界的广泛关注.从云计算与分布式缓存技术的结合入手,分析介绍了分布式缓存的特性、典型应用场景、发展阶段、相关标准规范以及推动缓存技术发展的若干关键要素.为系统地了解分布式缓存技术的现状和不足,建立了一个云环境下分布式缓存技术的分析框架——DctAF.该框架从分析云计算的特点和缓存技术的边界出发,涵盖6个分析维度.基于DctAF框架,对当前缓存技术进行总结和分析,并对典型系统进行比较.在此基础上,深入阐述了云环境下分布式缓存系统面临的挑战;围绕上述挑战,分析和比较了已有的研究工作.
-
关键词
分析框架
云计算
分布式缓存
-
Keywords
analysis framework
cloud computing
distributed cache
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名支持服务关联的组合服务选择方法研究
被引量:24
- 15
-
-
作者
叶世阳
魏峻
李磊
黄涛
-
机构
中国科学技术大学计算机科学与技术系
中国科学院软件研究所软件工程技术研发中心
-
出处
《计算机学报》
EI
CSCD
北大核心
2008年第8期1383-1397,共15页
-
基金
国家自然科学基金(60673112)
国家"九七三"重点基础研究发展规划项目基金(2002CB312005)
+1 种基金
国家"八六三"高技术研究发展计划项目基金(2006AA01Z163
2006AA01Z19B)资助~~
-
文摘
在面向服务的应用中,服务集成商通过选择已有服务并对这些服务进行组合,为其消费者提供增值(value-added)服务.然而,现有的组合服务选择模型中,各可选服务被认为是相互独立的,可选服务的服务质量独立于其他服务.而在实际的面向服务应用中,可选服务的服务质量往往依赖于其他可选服务,现有组合服务选择方法无法应对这种普遍存在的场景.文中提出了一个支持服务关联关系的QoS描述模型,用于刻画可选服务的服务质量对其他可选服务的依赖关系,并给出该QoS描述的自动生成方法.在此基础上,提出了支持服务关联的组合服务选择方法,包括基于整数规划求解最优解的组合服务选择方法和基于启发求解次优解的组合服务选择方法.通过实例分析,体现了文中方法具有良好的适用性.对比实验结果表明,文中基于整数规划方法获取的组合服务QoS明显优于同类方法;并且,文中基于启发式方法能够高效地获取较优组合服务QoS.
-
关键词
组合服务
服务选择
服务质量
服务关联
-
Keywords
composite service
service selection
quality of service
service-correlation
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名面向服务的工作流访问控制模型研究
被引量:16
- 16
-
-
作者
徐伟
魏峻
李京
-
机构
中国科学院软件研究所软件工程技术中心
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2005年第8期1369-1375,共7页
-
基金
国家自然科学基金项目(60173023
60203029)
+3 种基金
国家"八六三"高技术研究发展计划基金项目(2001AA113010
2001AA414020
2001AA414330)
国家"九七三"重点基础研究发展规划基金项目(2002CB312005)
-
文摘
随着企业全球化、企业业务联合与分化的发展,企业组织结构更加动态化,企业业务流程经常发生变更,这都增加了工作流访问控制的复杂性.针对此问题,从工作流访问控制模型与流程模型分离的角度,提出一种面向服务的工作流访问控制模型——SOWAC模型.服务是流程任务的抽象执行和实施访问控制的基本单元,用服务的访问控制替代流程任务的访问控制.说明了SOWAC模型的组成元素及实施实例,提出一种基于服务授权历史的动态责任分离约束方法,并给出SOWAC模型在工作流系统中的实际应用.
-
关键词
工作流
工作流安全
访问控制
责任分离
-
Keywords
workflow
workflow security
access control
separation of duty
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名高效XML验证技术的实现
被引量:8
- 17
-
-
作者
余双
曹冬磊
戴蓓洁
金蓓弘
-
机构
中国科学院软件研究所软件工程技术中心
-
出处
《计算机工程与设计》
CSCD
北大核心
2008年第4期937-941,共5页
-
基金
国家863高技术研究发展计划基金项目(2004AA112010)
-
文摘
XML解析器是分析、处理XML文档的基础软件。对XML解析器的高效验证技术进行了研究,实现了支持StAX接口的验证型解析器OnceStAXParser2.0。该解析器采用了多项性能优化措施,包括属性验证的高效实现、元素验证自动机的优化、基于统计的预测算法等。性能测试表明,在进行验证的条件下,OnceStAXParser2.0具有出色的解析性能。
-
关键词
可扩展标记语言解析器
验证
性能优化
自动机
预测算法
-
Keywords
XMLparser
validating
performance optimization
automaton
prediction algorithm
-
分类号
TP312
[自动化与计算机技术—计算机软件与理论]
-
-
题名P2P平台的关键技术
被引量:9
- 18
-
-
作者
万淑超
金蓓弘
黄宇
-
机构
中国科学院软件研究所软件工程技术中心
-
出处
《计算机科学》
CSCD
北大核心
2005年第6期21-24,共4页
-
基金
国家863高科技发展计划资助项目(编号2001AA113010
2002AA413610)
+2 种基金
国家重点基础研究发展规划973资助项目(编号2002CB312005
C1999035806)
国家自然科学基金(编号60173023)
-
文摘
随着Internet的快速发展,P2P系统在研究领域和产品开发中备受关注。鉴于P2P系统的应用背景差异较大,我们将其划分为P2P平台层和P2P应用层。本文主要讨论P2P平台的关键技术,着重分析了定位、通信、安全、性能等方面的技术,为我们设计和实现P2P应用提供借鉴。
-
关键词
关键技术
平台
INTERNET
P2P系统
产品开发
研究领域
背景差
应用层
重分析
-
Keywords
Peer-to-Peer
Resource-locating
Communication
Security
Performance
-
分类号
TP393.4
[自动化与计算机技术—计算机应用技术]
TP277
[自动化与计算机技术—检测技术与自动化装置]
-
-
题名P2P系统服务质量研究
被引量:7
- 19
-
-
作者
黄宇
金蓓弘
万淑超
-
机构
中国科学院软件研究所软件工程技术中心
-
出处
《计算机科学》
CSCD
北大核心
2005年第5期45-47,63,共4页
-
基金
国家863高科技发展计划资助项目(编号2001AA113010)
国家重点基础研究发展规划973资助项目(编号2002CB312005).
-
文摘
随着P2P计算受到越来越多的关注,如何系统全面地对一个P2P系统作出评估成了一个非常重要的问题。本文从服务质量的角度来系统地考虑P2P系统评估的问题,提出了一个P2P系统服务质量度量框架,以帮助和指导P2P系统的设计和选择。
-
关键词
系统服务
质量研究
P2P系统
系统评估
服务质量
质量度量
-
Keywords
P2P computing
P2P system
Quality of Service
QoS measuring framework
-
分类号
TP316.7
[自动化与计算机技术—计算机软件与理论]
TQ461
[化学工程—制药化工]
-
-
题名QoS获益驱动的中间件调度框架研究
被引量:6
- 20
-
-
作者
张文博
陈宁江
魏峻
黄涛
-
机构
中国科学院软件研究所软件工程技术研发中心
广西大学计算机与电子信息学院
-
出处
《软件学报》
EI
CSCD
北大核心
2006年第6期1381-1390,共10页
-
基金
国家自然科学基金
国家重点基础研究发展规划(973)~~
-
文摘
Web应用服务器目前普遍采用的先到先得式(FCFS)的调度框架在过载时难以保障应用的服务质量(QoS)需求.QoS获益驱动(QBD)的调度框架是一种针对这些不足而提出的请求调度解决方案.QoS获益根据应用的QoS需求得到,用于评价QoS保障对应用需求的满足情况.QBD调度框架包含了多个用于保障应用QoS需求的组件,实现了基于QoS获益的资源规划算法,能够提高服务器对应用QoS需求的保障能力.在OnceAS平台上的实验结果验证了QBD调度框架的有效性.
-
关键词
WEB应用服务器
QoS获益
调度框架
资源管理
-
Keywords
Web application server
QoS benefit
scheduling framework
resource management
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-