国家高技术研究发展计划(2004AA112070)

作品数:9被引量:102H指数:3
导出分析报告
相关作者:谢冰张路单锦辉张春海叶茂盛更多>>
相关机构:北京大学中国海洋大学江西师范大学昆明理工大学更多>>
相关期刊:《计算机技术与发展》《南京大学学报(自然科学版)》《江西师范大学学报(自然科学版)》《计算机应用研究》更多>>
相关主题:测试数据自动生成方法工作流构件库软件复用更多>>
相关领域:自动化与计算机技术更多>>
-

检索结果分析

结果分析中...
条 记 录,以下是1-9
视图:
排序:
一种新的变异测试数据自动生成方法被引量:20
《计算机学报》2008年第6期1025-1034,共10页单锦辉 高友峰 刘明浩 刘江红 张路 孙家骕 
国家自然科学基金(60373003);国家“八六三”高技术研究发展计划项目基金(2004AA112070);国家“九七三”重点基础研究发展规划项目基金(2002CB312000);中国博士后科学基金项目(2003034077)资助~~
变异测试是一种行之有效的软件测试方法,通过使用变异算子产生变异体系统地模拟软件中的各种缺陷,然后构造能够杀死这些变异体的测试数据集.自动生成能够杀死变异体的测试数据将提高变异测试的效率和有效性.当前的研究工作只考虑生成杀...
关键词:变异测试 变异体 测试数据 充分性准则 
版本信息驱动的框架变化点识别技术研究
《江西师范大学学报(自然科学版)》2007年第4期379-382,共4页钟林辉 钟旗 郑焱 叶茂盛 
"国家863"高技术研究发展计划项目基金(2004AA112070);江西省教育厅科技项目(2005[83]);江西师大青年成长基金资助
面向对象的框架是实现软件产品线的一种重要形式.文章分析了当前面向对象框架开发的不足,提出了一种版本信息驱动的框架变化点识别技术,即采用概念格的数学方法从软件配置管理系统中挖掘框架实例化的模式,这些模式作为面向对象框架变化...
关键词:面向对象框架 版本 变化点 
构件库用户反馈子系统的客观反馈的设计被引量:2
《计算机技术与发展》2007年第5期129-132,共4页郭双宙 梁金兰 
国家"八六三"计划资助项目(2004AA112070)
随着分布式构件技术的日趋成熟和Internet技术的发展,出现了新的复用形式的构件——在线构件。由于在线构件数量的大量增长,用户反馈子系统除了收集离线构件的静态信息对软件复用者提供辅助以外,还要考虑如何获得和利用在线构件的动态...
关键词:软件复用 构件库管理系统 反馈子系统 客观反馈 在线构件 
面向对象框架变化点识别技术分析
《江西师范大学学报(自然科学版)》2006年第6期600-603,共4页钟林辉 谢冰 叶茂盛 郑燚 
国家"863"高技术研究发展计划项目基金(2004AA112070);江西省教育厅科技项目(2005[83]);江西师范大学2005年青年成长基金资助
面向对象的框架是实现软件产品线的一种重要形式,变化点体现了领域内产品家族的变化性,获取和设计尽可能完整的变化点是提高面向对象框架可复用性关键之一。目前存在各种面向对象框架的构造和变化点分析技术,该文提出了一个分类框架,从...
关键词:面向对象框架 变化点 软件复用 
基于构件的工作流动态修改策略被引量:2
《计算机应用研究》2006年第12期43-45,共3页刘斌 张春海 
国家"863"计划资助项目(2004AA112070)
针对目前工作流管理系统在描述能力和动态修改上存在的不足,提出一种基于构件的动态修改策略。该策略引入新的建模元素和动态修改的体系结构,从时间和工作流组成两个角度对工作流的动态修改进行了分类,详细阐述了工作流的组合策略、修...
关键词:工作流 动态修改 构件 
基于分组技术的工作流活动多实例的调度研究被引量:1
《计算机应用研究》2006年第9期60-63,共4页杨光 张春海 
国家"863"计划资助项目(2004AA112070)
在分析静态和动态活动多实例模型的基础上,提出了一种机制———实例池和多实例分组技术,并且提出相应的算法,解决了静态和动态多实例的调度问题。该机制可以处理静态和动态多实例的生成、初始化、运行和调度以及销毁。
关键词:工作流 活动多实例 实例池 分组 调度 
一种Web服务的测试数据自动生成方法被引量:50
《计算机学报》2005年第4期568-577,共10页姜瑛 辛国茂 单锦辉 张路 谢冰 杨芙清 
国家自然科学基金(60373003);国家"九七三"重点基础研究发展规划项目基金(2002CB312003);国家"八六三"高技术研究发展计划项目基金(2004AA112070)资助.
软件测试是保证Web服务质量的重要技术手段.测试数据生成是Web服务测试的重要内容.测试数据的质量将直接影响Web服务测试的效率和成本.文章基于合约式设计的 Web服务测试技术,提出一种 Web服务的测试数据自动生成方法.首先根据WSDL文档...
关键词:WEB服务 软件测试 测试数据生成 合约 变异测试 
一种面向服务的权限管理模型被引量:29
《计算机学报》2005年第4期677-685,共9页朱磊 周明辉 刘天成 梅宏 
国家"九七三"重点基础研究发展规划项目基金(2002CB312003);国家"八六三"高技术研究发展计划项目基金(2004AA112070)资助.
面向服务的体系结构(Service Oriented Architecture,SOA)是设计和构建松耦合软件系统的方法,它可将基于中间件开发的分布式应用共享为 Internet环境下的软件服务.传统中间件的用户权限系统具有较好的灵活性,基本满足封闭系统的安全需求...
关键词:权限管理模型 认证和授权 面向服务 中间件 
一种构件描述扩充机制
《南京大学学报(自然科学版)》2005年第z1期218-226,共9页钱金蕾 潘颖 邹艳珍 谢冰 
国家863高科技发展计划(2004AA112070,2004AA115080),自然科学基金(60473059)
在软件构件库中,通常采用构件分类信息、属性信息描述构件.随着构件技术的发展,构件描述机制应满足不同领域/行业的需求.提出了一种构件描述扩充机制,基于青鸟构件分类描述模型CDM,增加了多种构件分类信息的定制机制和构件属性信息的扩...
关键词:构件库 构件描述 属性 分类 
检索报告 对象比较 聚类工具 使用帮助 返回顶部