国家高技术研究发展计划(2004AA112070)
- 作品数：9 被引量：130H指数：3
- 相关作者：谢冰张路单锦辉张春海叶茂盛更多>>
- 相关机构：北京大学中国海洋大学江西师范大学更多>>
- 发文基金：国家高技术研究发展计划国家重点基础研究发展计划国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 面向对象框架变化点识别技术分析
- 2006年
- 面向对象的框架是实现软件产品线的一种重要形式,变化点体现了领域内产品家族的变化性,获取和设计尽可能完整的变化点是提高面向对象框架可复用性关键之一。目前存在各种面向对象框架的构造和变化点分析技术,该文提出了一个分类框架,从知识获取、知识表示和知识获取手段3个方面分析了面向对象框架变化点的识别技术的特点和发展;最后指出其不足和未来可能改进的方向。
- 钟林辉谢冰叶茂盛郑燚
- 关键词：面向对象框架软件复用
- 一种Web服务的测试数据自动生成方法被引量：69
- 2005年
- 软件测试是保证Web服务质量的重要技术手段.测试数据生成是Web服务测试的重要内容.测试数据的质量将直接影响Web服务测试的效率和成本.文章基于合约式设计的 Web服务测试技术,提出一种 Web服务的测试数据自动生成方法.首先根据WSDL文档采用随机法自动生成初始测试数据,然后使用合约变异技术进行测试数据的选择,据此可以生成一组达到一定合约变异充分度的有效测试数据,从而提高 Web服务的测试质量和效率.最后实现了一个Web服务的测试数据自动生成工具原型,并通过实验验证了方法的有效性.
- 姜瑛辛国茂单锦辉张路谢冰杨芙清
- 关键词：WEB服务软件测试测试数据生成合约
- 一种构件描述扩充机制
- 2005年
- 在软件构件库中,通常采用构件分类信息、属性信息描述构件.随着构件技术的发展,构件描述机制应满足不同领域/行业的需求.提出了一种构件描述扩充机制,基于青鸟构件分类描述模型CDM,增加了多种构件分类信息的定制机制和构件属性信息的扩充机制,以满足构件不同的描述需求.该构件描述扩充机制在北京大学研发的青鸟构件库管理系统中得到了应用.
- 钱金蕾潘颖邹艳珍谢冰
- 关键词：构件库
- 基于分组技术的工作流活动多实例的调度研究被引量：3
- 2006年
- 在分析静态和动态活动多实例模型的基础上,提出了一种机制———实例池和多实例分组技术,并且提出相应的算法,解决了静态和动态多实例的调度问题。该机制可以处理静态和动态多实例的生成、初始化、运行和调度以及销毁。
- 杨光张春海
- 关键词：工作流活动多实例调度
- 一种面向服务的权限管理模型被引量：35
- 2005年
- 面向服务的体系结构(Service Oriented Architecture,SOA)是设计和构建松耦合软件系统的方法,它可将基于中间件开发的分布式应用共享为 Internet环境下的软件服务.传统中间件的用户权限系统具有较好的灵活性,基本满足封闭系统的安全需求,但在SOA模式下,难以满足不同节点和系统互相请求服务和共享资源过程中的授权.该文提出了一个面向服务的权限管理模型,通过支持用户之间的代理和提供一定的推理能力, 为应用开发者提供了更完善的权限管理机制,并扩展了中间件跨越组织共享资源和服务的能力.该模型在一个 J2EE应用服务器上被实现和验证.实验证明,该模型具有良好的灵活性和可扩展性,并且性能影响在合理的范围.
- 朱磊周明辉刘天成梅宏
- 关键词：权限管理模型中间件
- 构件库用户反馈子系统的客观反馈的设计被引量：2
- 2007年
- 随着分布式构件技术的日趋成熟和Internet技术的发展,出现了新的复用形式的构件——在线构件。由于在线构件数量的大量增长,用户反馈子系统除了收集离线构件的静态信息对软件复用者提供辅助以外,还要考虑如何获得和利用在线构件的动态运行信息。文中以国家863计划“基于Internet以构件库为核心的软件开发平台”的开发为背景,着重于从客观反馈方面阐述用户反馈子系统的设计。
- 郭双宙梁金兰
- 关键词：软件复用构件库管理系统
- 基于构件的工作流动态修改策略被引量：2
- 2006年
- 针对目前工作流管理系统在描述能力和动态修改上存在的不足,提出一种基于构件的动态修改策略。该策略引入新的建模元素和动态修改的体系结构,从时间和工作流组成两个角度对工作流的动态修改进行了分类,详细阐述了工作流的组合策略、修改方法和移交策略;最后论述了这种策略的优越性、可行性和正确性。
- 刘斌张春海
- 关键词：工作流
- 一种新的变异测试数据自动生成方法被引量：22
- 2008年
- 变异测试是一种行之有效的软件测试方法,通过使用变异算子产生变异体系统地模拟软件中的各种缺陷,然后构造能够杀死这些变异体的测试数据集.自动生成能够杀死变异体的测试数据将提高变异测试的效率和有效性.当前的研究工作只考虑生成杀死单个变异体的测试数据.文中根据杀死同一位置的多个变异体的条件相近的特点,提出一种对杀死这些变异体的条件进行组合,然后生成同时杀死该位置多个变异体的测试数据的方法;给出相应的支持工具,并且通过实验验证方法的有效性.
- 单锦辉高友峰刘明浩刘江红张路孙家骕
- 关键词：变异体测试数据
- 版本信息驱动的框架变化点识别技术研究
- 2007年
- 面向对象的框架是实现软件产品线的一种重要形式.文章分析了当前面向对象框架开发的不足,提出了一种版本信息驱动的框架变化点识别技术,即采用概念格的数学方法从软件配置管理系统中挖掘框架实例化的模式,这些模式作为面向对象框架变化点的设计候选,从而更加精确和全面地辅助框架变化点设计.
- 钟林辉钟旗郑焱叶茂盛
- 关键词：面向对象框架
