检索结果-维普期刊中文期刊服务平台

基于过程模型随机仿真的TDD模块选取建模方法研究被引量：1: 1; 作者苏峰翟健杨秋松《计算机应用研究》 CSCD 北大核心 2010年第8期2948-2952,2958,共6页; 为了帮助项目经理合理选择TDD实施模块,基于进程代数方法对测试驱动软件开发过程和非测试驱动软件开发过程建立过程仿真模型。通过用例度量软件模块的复杂性来获取随机变量参数对模型调参,并采用该模型得到仿真结果。提出TDD模块选取算... 展开更多; 关键词软件过程随机进程代数测试驱动开发仿真决策支持; 在线阅读下载PDF 职称材料

一种基于交流成本的全球软件任务调度方法: 2; 作者钟南海刘大鹏肖俊超《计算机应用研究》 CSCD 北大核心 2010年第8期2942-2947,共6页; 在全球软件开发中,由于时区、地理位置、文化和语言等各种因素,交流和协作变得非常困难,如果在进行任务调度的时候不考虑交流对整个项目所造成的影响,则有可能使整个项目开发的总成本增加,从而给项目带来很大的风险。通过采用基于交流... 展开更多; 关键词全球软件开发交流成本任务调度; 在线阅读下载PDF 职称材料

一种基于访问控制的安全Web服务发现机制被引量：4: 3; 作者韩隽淮晓永赵琛《计算机工程》 CAS CSCD 北大核心 2008年第7期137-138,141,共3页; 当前的Web服务发现机制大多依赖集中式的统一描述、发现和集成注册中心,但组织机构出于安全和地域的考虑,倾向于构建私有的分布式注册中心,只有注册且可信的请求者才能浏览到他们有权限访问的服务信息。该文给出Web服务发现阶段基于角... 展开更多; 关键词 WEB服务发现代理统一描述、发现和集成基于角色的访问控制隐私保护; 在线阅读下载PDF 职称材料

基于中间表示的可复用程序分析系统: 4; 作者郑瑶海陈伟赵琛《计算机工程》 CAS CSCD 北大核心 2007年第9期66-68,71,共4页; 采用一种语言独立AST中间格式以便把程序的分析算法同编译器内部表示分离,利用这种格式设计与实现了Compiler Auxiliary Toolkit(COA)系统框架。COA可同时应用于静态分析算法和动态分析算法。在介绍了COA框架之后,用实例说明了如何利用... 展开更多; 关键词静态分析动态分析中间表示; 在线阅读下载PDF 职称材料

题名基于过程模型随机仿真的TDD模块选取建模方法研究被引量：1: 1; 作者苏峰翟健杨秋松; 机构中国科学院软件研究所互联网技术实验室中国科学院研究生院; 出处《计算机应用研究》 CSCD 北大核心 2010年第8期2948-2952,2958,共6页; 基金国家自然科学基金资助项目(90718042 60903051) +2 种基金中国科学院知识创新工程领域前沿资助项目(ISCAS09-DR09); 文摘为了帮助项目经理合理选择TDD实施模块,基于进程代数方法对测试驱动软件开发过程和非测试驱动软件开发过程建立过程仿真模型。通过用例度量软件模块的复杂性来获取随机变量参数对模型调参,并采用该模型得到仿真结果。提出TDD模块选取算法来分析仿真结果并得出最佳TDD实施策略,最终为项目经理提供合理的决策。; 关键词软件过程随机进程代数测试驱动开发仿真决策支持; Keywords software process stochastic process algebra test driven develop simulation decision support; 分类号 TP311.52 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名一种基于交流成本的全球软件任务调度方法: 2; 作者钟南海刘大鹏肖俊超; 机构中国科学院软件研究所互联网技术软件实验室中国科学院研究生院; 出处《计算机应用研究》 CSCD 北大核心 2010年第8期2942-2947,共6页; 基金国家自然科学基金资助项目(90718042 60903051) +1 种基金国家"973"重点基础研究发展计划基金资助项目(2007CB310802); 文摘在全球软件开发中,由于时区、地理位置、文化和语言等各种因素,交流和协作变得非常困难,如果在进行任务调度的时候不考虑交流对整个项目所造成的影响,则有可能使整个项目开发的总成本增加,从而给项目带来很大的风险。通过采用基于交流成本的任务调度方法,在项目初期就考虑交流风险,并对任务进行调度,从而能有效减少该风险对项目可能造成的损失。通过一个示例项目将该方法与传统的基于阶段的方法进行对比,说明了交流成本对整个项目成本的确有很重要的影响,并且使用基于交流成本的任务调度方法能有效降低项目开发的总成本。; 关键词全球软件开发交流成本任务调度; Keywords global software development communication cost task scheduling; 分类号 TP311.52 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名一种基于访问控制的安全Web服务发现机制被引量：4: 3; 作者韩隽淮晓永赵琛; 机构中国科学院软件研究所互联网技术实验室中国科学院研究生院; 出处《计算机工程》 CAS CSCD 北大核心 2008年第7期137-138,141,共3页; 基金国家“十五”科技攻关计划基金资助项目(2005BA113A02); 文摘当前的Web服务发现机制大多依赖集中式的统一描述、发现和集成注册中心,但组织机构出于安全和地域的考虑,倾向于构建私有的分布式注册中心,只有注册且可信的请求者才能浏览到他们有权限访问的服务信息。该文给出Web服务发现阶段基于角色的访问控制模型RBAC4WSD,发现代理依照服务提供者指定的安全策略对请求者实施访问控制,并以跨国公司内部的文档服务为例介绍原型系统的实现。; 关键词 WEB服务发现代理统一描述、发现和集成基于角色的访问控制隐私保护; Keywords Web services discovery agency lUDDI RBAC privacy protection; 分类号 N945 [自然科学总论—系统科学]; 在线阅读下载PDF 职称材料

题名基于中间表示的可复用程序分析系统: 4; 作者郑瑶海陈伟赵琛; 机构中国科学院软件研究所互联网技术实验室; 出处《计算机工程》 CAS CSCD 北大核心 2007年第9期66-68,71,共4页; 基金国家"863"计划基金资助项目"基于国产操作系统的领域应用支持平台的研制及示范应用"(2004AA1Z2100); 文摘采用一种语言独立AST中间格式以便把程序的分析算法同编译器内部表示分离,利用这种格式设计与实现了Compiler Auxiliary Toolkit(COA)系统框架。COA可同时应用于静态分析算法和动态分析算法。在介绍了COA框架之后,用实例说明了如何利用COA框架进行函数调用图生成算法的静态分析和循环不变量的动态分析。; 关键词静态分析动态分析中间表示; Keywords Static analysis Dynamic analysis Intermediate representation; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料