国家高技术研究发展计划(2001AA113090)
- 作品数：11 被引量：33H指数：4
- 相关作者：陈道蓄顾庆费立蜀宋健建刘祁郴更多>>
- 相关机构：南京大学北京航空航天大学东北大学更多>>
- 发文基金：国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- CMM过程支持系统中对过程改变多策略支持的研究被引量：2
- 2003年
- 企业在实施CMM时 ,过程改进这样的宏观目标是通过从微观上成功地完成项目来实现的 .因此 ,自动实施CMM的过程支持系统应该具有灵活的支持过程动态改变的能力 ,以利于适应多变的项目环境 ,而过程改变的情况比较复杂 ,单一策略的采用既增加了模型的复杂性 ,又不利于系统充分利用已有的底层支持技术 .本文介绍了一种多策略过程动态改变支持机制 .该机制可用于基于CMM的过程支持系统中 。
- 胡昊林向宇杨玫吕建
- 关键词：能力成熟度模型
- 基于CMM的CPMS平台的角色定义工具的设计与实现
- 2004年
- CMM已成为软件研究领域与软件企业普遍关注的对象。但传统软件过程支持系统并非专门针对CMM而设计的,因此它们在支持企业实施CMM的能力方面存在一定的欠缺,并不能良好地支持企业CMM的实施。为此本文在基于CMM软件过程保障平台系统CPMS中提出并实现了基于CMM的新型软件角色定义工具,它能有效地对CMM二级、三级实施良好的支撑,从而使企业达到实现CMM的要求。
- 谈宁韡许平顾庆陈道蓄
- 关键词：CMM
- E-CSPE约束的一致性判定被引量：4
- 2003年
- 分布式程序目前被大量使用 .由于并发的存在 ,测试分布式程序需要采用事件约束来判定运行事件序列的正确性 ,事件约束之间需要判定一致性 .初始的事件约束可以通过规约来定义 ,作者提出E CSPE约束的描述规则来推导新约束 ,并提出约束之间的一致性判定机制 .该算法具有多项式复杂度 .
- 顾庆陈宗岳陈道蓄谢立
- 关键词：软件开发分布式程序计算机
- CSDPL—一种基于CMM的软件过程定义语言被引量：2
- 2004年
- 软件过程是人和计算机化的工具交互完成的可能持续长时间的复杂实体。软件过程比商业过程自动化程度要低,因为需要更多的人的参与和软件工具的支持,也有更多不断持续改进的需求。软件过程首先要建模,因此建模语言扮演了一个非常关键的角色。从管理的角度出发,CMM提出了一个软件过程概念框架。既要支持软件过程语言的要求的特性,又要支持CMM,基于CMM的软件过程定义语言必须把这个一般性和特殊性的要求结合起来。本文描述的软件过程定义语言CSPDL采用了图形和XML文本相结合的表示方式。同时,软件过程定义工具是支持建模的必需的支持。要尽量地支持软件过程语言的特性,还需要很多工作要做。
- 费立蜀宋健建顾庆陈道蓄
- 关键词：CMM定义语言
- 面向对象数据平台软件的白盒测试分析与设计
- 2005年
- 论述了有关面向对象软件白盒测试过程的几腹丶侍?测试过程模型、测试设计、测试辅助鲻工具、测试度量等,介绍了面向对象数据平台软件白盒测试设计的框架与方法,对于指导和改进面向对象软件白盒测试过程提供支持和帮助.
- 王牛钱红兵刘祁郴
- 关键词：面向对象白盒测试测试工具
- 一种过程定义模型及其验证性分析被引量：10
- 2004年
- 软件过程是管理、开发、维护软件系统所需要的一系列活动的偏序集合。软件过程作为一种工作流,其建模和分析可以采用工作流的理论和技术作为支撑。因为任务控制流的图示表示办法直观方便,因此大多系统都采用这种定义方式为软件过程建模。而过程定义的合理性验证问题复杂度通常是非常高的,必须寻求合理的算法。图规约算法就是一种实际可行的算法。
- 费立蜀顾庆陈道蓄
- 关键词：软件开发软件维护
- 软件过程度量中数据采集技术及方法的研究与实现
- 2005年
- 软件过程度量为软件过程管理提供量化数据.数据采集是软件过程度量中的一个重要阶段.在研究现有相关理论和技术的基础上提出了过程数据采集的两种方法,并在相关支撑工具中加以实现,从理论和实践两个角度验证了方法的可行性.
- 刘祁郴钱红兵王牛
- 关键词：软件过程度量数据采集XML
- 一种基于XML的软件过程定义语言SPDL的设计被引量：7
- 2003年
- 定义软件过程是软件企业使用CMM提高其能力成熟度的一个关键问题。论文参考工作流过程定义语言WPDL,充分考虑软件过程的特点,提出了一种软件过程定义语言SPDL。SPDL遵循CMM标准,它由XML扩展得到,用XML Schema描述,用SPDL进行过程建模,实现了一个基于CMM的软件质量保障平台。
- 宋健建顾庆陈道蓄
- 关键词：能力成熟度模型工作流WPDLXML
- 基于分布式Agent的CMMI评估系统被引量：1
- 2003年
- 根据标准化的CMMI评估方法 ,设计一个基于多Agent的分布式CMMI评估系统 ,分析了该系统的功能、模块结构 .重点讨论了多Agent的能力修改过程和Agent的通信机制 .Agent通过学习 ,能力不断得到提高 。
- 丁正全李国东金志权
- 关键词：软件质量保障能力成熟度模型分布式代理
- 一种生产型工作流管理系统的架构设计与实现机制被引量：4
- 2006年
- 工作流管理是计算机支持协同工作(CSCW)中的一个重要领域,工作流管理系统(WfMS)是支持用户实现在需求不断变化的应用环境中流程处理的高效中间件.本文提出了由服务层、通信层和客户层三个层次构成的生产型工作流管理系统架构模型,描述了系统的核心服务,并通过一个基于J2EE平台的生产型工作流管理系统(Uniflow)实例描述其实现机制.
- 赵大哲朱歆华纪勇栗伟
- 关键词：生产型工作流架构设计J2EE
