检索结果-内蒙古大学图书馆

软件学报 2009年第3期20卷 557-566页

作者：黎巎李明树王青赵琛杜栓柱中国科学院软件研究所互联网软件技术实验室北京100190 中国科学院研究生院北京100049 中国科学院软件研究所计算机科学国家重点实验室北京100190

大多软件过程模型是预定义的.在变化的应用环境中,需要由相应人员进行适应性调整.提出一种用于软件过程建模的适应性多边协商模型——AMNM-PA,其采用Agent封装软件过程中所涉及的个体,包含组织、团队、个人等,通过Agent间的协商动态、... 详细信息

大多软件过程模型是预定义的.在变化的应用环境中,需要由相应人员进行适应性调整.提出一种用于软件过程建模的适应性多边协商模型——AMNM-PA,其采用Agent封装软件过程中所涉及的个体,包含组织、团队、个人等,通过Agent间的协商动态、适应地建立针对给定软件项目的软件过程模型.AMNM-PA基于非静态有限阶段Markov决策过程,采用模型无关的Q学习算法选取协商策略,因此能够支持动态、非预知环境下的适应性协商,从而满足软件过程建模对环境的适应性需求.AMNM-PA已经实施于软件过程管理系统——SoftPM.

关键词：协商模型适应性 Q学习软件过程建模 Agent

来源：评论

学校读者我要写书评

暂无评论

动态需求跟踪方法及跟踪精度问题研究

引用

软件学报 2009年第2期20卷 177-192页

作者：李引李娟李明树中国科学院软件研究所互联网软件技术实验室北京100190 中国科学院研究生院北京100049 中国科学院软件研究所计算机科学国家重点实验室北京100190

在对动态需求跟踪现有研究综述的基础上,详细分析了动态需求跟踪面临的精度问题,并提出了解决方案——动态需求跟踪框架.该框架以自动化的需求跟踪为核心,组合了变更请求、影响分析、变更控制等活动,利用工作产品的特点和迭代过程中累... 详细信息

在对动态需求跟踪现有研究综述的基础上,详细分析了动态需求跟踪面临的精度问题,并提出了解决方案——动态需求跟踪框架.该框架以自动化的需求跟踪为核心,组合了变更请求、影响分析、变更控制等活动,利用工作产品的特点和迭代过程中累积的变更信息来辅助建立需求跟踪关系,提高了需求跟踪关系的精度.

关键词：动态需求跟踪需求跟踪信息检索跟踪规则启发自然语言处理动态需求跟踪框架

来源：评论

学校读者我要写书评

暂无评论

软件过程建模方法研究

引用

软件学报 2009年第3期20卷 524-545页

作者：李明树杨秋松翟健中国科学院软件研究所互联网软件技术实验室北京100190 中国科学院软件研究所计算机科学国家重点实验室北京100190 中国科学院研究生院北京100049

通过软件开发实践,人们逐步地认识到软件产品的质量在很大程度上依赖于产品开发时所使用的过程.软件过程建模是通过特定的方法对软件过程进行抽象、表示和分析以增加对软件过程的理解,同时,可执行的(enactable)软件过程模型可以直接指... 详细信息

通过软件开发实践,人们逐步地认识到软件产品的质量在很大程度上依赖于产品开发时所使用的过程.软件过程建模是通过特定的方法对软件过程进行抽象、表示和分析以增加对软件过程的理解,同时,可执行的(enactable)软件过程模型可以直接指导实际软件开发活动,进而规范软件开发行为并最终提高软件质量.为了系统地了解软件过程建模方法研究的现状和最新进展,采用系统评价(systematic review)方法对该领域最近10年的主要研究进行了概括和分析.从一系列的相关研究中,选出来自20个会议和7种期刊的72篇文献,作为系统评价的依据.该系统评价回答了如下关于软件过程建模方法的3个问题,以便从总体上概括和把握该领域的研究:1)软件过程建模方法主要基于什么范式;2)软件过程建模方法研究的主要目的集中在哪些方面;3)软件过程建模方法的研究有哪些新的趋势.同时,在仔细回顾和分析软件过程建模领域研究现状的基础上,给出了一种多维度的集成化软件过程建模方法.该方法有助于解决过程建模领域所面临的主要问题.

关键词：软件过程建模分析系统评价

来源：评论

学校读者我要写书评

暂无评论

参数化系统安全性的启发式符号验证

引用

软件学报 2009年第6期20卷 1444-1456页

作者：杨秋松李明树中国科学院软件研究所互联网软件技术实验室北京100190 中国科学院研究生院北京100049 中国科学院软件研究所计算机科学国家重点实验室北京100190

参数化系统(paramterized system)是指包含特定有限状态进程多个实例的并发系统,其中的参数是指系统内进程实例的数目,即系统的规模.反向可达性分析(backward reachability analysis)已被广泛用于验证参数化系统是否满足以向上封闭(upwa... 详细信息

参数化系统(paramterized system)是指包含特定有限状态进程多个实例的并发系统,其中的参数是指系统内进程实例的数目,即系统的规模.反向可达性分析(backward reachability analysis)已被广泛用于验证参数化系统是否满足以向上封闭(upward-closed)集合表示的安全性(safety property).与有限状态系统验证相类似,参数化系统的验证同样也面临着状态爆炸(state explosion)问题,并且模型检测算法的有效性依赖于如何采用有效的数据结构表示状态集合.针对表示无穷状态的向上封闭集合,研究人员提出了多种基于约束(constraint-based)的符号表示方法.但这些方法依然面临着符号状态爆炸(symbolic state explosion)问题或者其包含判定问题,即判断一个约束条件集合符号化表示的实际状态集合是否为另一约束条件集合所对应的状态集合的子集,是Co-NP完全问题.因此,虽然有限状态验证技术能够验证一些具有一定规模的问题,但现有针对参数化系统的验证方法所能解决的问题的规模较为有限,需要近一步提高模型检测算法的效率.针对参数化系统提出了加快反向可达性分析的多个启发式规则,实验结果表明,这些启发式规则可以使算法的效率提高几个数量级,从而有助于解决现有参数化系统验证方法所存在的问题.

关键词：参数化系统安全性向上封闭集合启发式搜索符号验证

来源：评论

学校读者我要写书评

暂无评论

一种形式化的组件化软件过程建模方法

引用

软件学报 2011年第1期22卷 1-16页

作者：翟健杨秋松肖俊超李明树中国科学院软件研究所互联网软件技术实验室北京100190 中国科学院研究生院北京100049 中国科学院软件研究所计算机科学国家重点实验室北京100190

为了解决当前软件过程重用方法中存在的问题,特别是由于缺乏对软件过程组件及其操作法则的精确定义所带来的重用中的低效率问题,介绍了一种形式化的组件化软件过程建模方法(componentized software process modeling,简称CSPM).CSPM提... 详细信息

为了解决当前软件过程重用方法中存在的问题,特别是由于缺乏对软件过程组件及其操作法则的精确定义所带来的重用中的低效率问题,介绍了一种形式化的组件化软件过程建模方法(componentized software process modeling,简称CSPM).CSPM提供了形式化定义可重用软件过程的机制,并且给出了将过程组件组合成过程模型的一系列操作法则.利用CSPM方法,能够以严格的方式对软件过程组件进行重用,并且有效地避免了传统非形式化建模方法中因歧义而有可能引起的潜在错误.CSPM还可以将对组装后的软件过程模型针对某些特定性质的验证问题转化成对其对应组件的一系列子验证问题,从而通过指数地减少需要搜索的状态空间规模,将原来在某些特定环境下不实用的验证问题简化成验证代价较小的一系列问题.

关键词：软件过程过程建模过程重用过程组件形式化方法

来源：评论

学校读者我要写书评

暂无评论

基于证据的软件过程可信度模型及评估方法

引用

软件学报 2017年第7期28卷 1713-1731页

作者：王德鑫王青贺劼中国科学院软件研究所互联网软件技术实验室北京100190 中国科学院大学北京100190 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190 中国科学院软件研究所天基综合信息系统重点实验室北京100190

软件可信已经是一个迫在眉睫的重要问题,但对软件可信性的评估却一直没有一个系统且客观的标准.一些研究工作从可信证据的采集渠道入手,譬如认为有第3方测试的证据,其可信级别就高一些,而若有用户的使用反馈则可信级别就更高.这些工作... 详细信息

软件可信已经是一个迫在眉睫的重要问题,但对软件可信性的评估却一直没有一个系统且客观的标准.一些研究工作从可信证据的采集渠道入手,譬如认为有第3方测试的证据,其可信级别就高一些,而若有用户的使用反馈则可信级别就更高.这些工作在可信的客观性方面做了很好的贡献.但可信其实是一个系统性的问题,而且质量形成于过程,其证据的充分必要程度以及对必要开发过程的覆盖程度等非常关键.基于软件开发过程,从过程的实体、行为以及制品3个方面提取软件可信的证据,建立了由37个可信原则、182个过程可信证据和108个制品可信程度证据组成的软件过程可信度模型,并给出基于该模型证据的软件过程可信评估方法,试图从开发过程的可信程度来建立软件产品的可信的信心.

关键词：软件可信过程可信软件制品可信

来源：评论

学校读者我要写书评

暂无评论

基于混合搜索的含逻辑“与”“或”的RM优化算法

引用

软件学报 2017年第10期28卷 2525-2538页

作者：吕荫润陈力王翀吴敬征王永吉计算机科学国家重点实验室(中国科学院软件研究所) 北京100190 中国科学院软件研究所基础软件国家工程研究中心北京100190 中国科学院大学北京100190 中国科学院软件研究所互联网软件技术实验室北京100190

相对于标准约束优化问题,广义约束优化问题(或称析取优化问题)的等式或不等式约束条件中不仅包含逻辑"与"关系,还含有逻辑"或"关系.单调速率(RM)优化问题是广义约束优化问题的一个重要应用.目前RM优化问题已有的解... 详细信息

相对于标准约束优化问题,广义约束优化问题(或称析取优化问题)的等式或不等式约束条件中不仅包含逻辑"与"关系,还含有逻辑"或"关系.单调速率(RM)优化问题是广义约束优化问题的一个重要应用.目前RM优化问题已有的解法包括函数变换、混合整数规划、线性规划搜索等算法.随着任务数的增多,这些算法的求解时间较长.提出一种基于线性规划的深度广度混合搜索算法(LPHS),将广义约束优化问题拆分成若干子问题,建立线性规划搜索树,合理选择搜索顺序,利用动态剪枝算法减小子问题的规模,最终求得最优解.实验结果表明,LPHS算法比其他方法有明显的效率提升.研究成果与计算机基础理论中的可满足性模理论的研究相结合,有助于提高可满足性模理论问题的求解效率,促进该理论在程序验证、符号执行等领域的进一步应用.

关键词：约束优化问题实时系统单调速率线性规划搜索算法

来源：评论

学校读者我要写书评

暂无评论

基于树状线性规划搜索的单调速率优化设计

引用

软件学报 2015年第12期26卷 3223-3241页

作者：陈力王永吉吴敬征吕荫润中国科学院软件研究所基础软件国家工程研究中心北京100190 中国科学院大学北京100049 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190 中国科学院软件研究所互联网软件技术实验室北京100190

改善单调速率（rate monotonic，简称RM）可调度性判定算法的效率，是过去40年计算机实时臣统设计的重要问题。最近，研究人员把可调度性判定问题扩展到了更一般的优化设计问题，即，如何调节在区间可选择情况下的任务运行时间，使得：... 详细信息

改善单调速率（rate monotonic，简称RM）可调度性判定算法的效率，是过去40年计算机实时臣统设计的重要问题。最近，研究人员把可调度性判定问题扩展到了更一般的优化设计问题，即，如何调节在区间可选择情况下的任务运行时间，使得：（1）系统RM可调度；（2）系统的某个性能（如CPU利用率）达到最优。在已有的求解实时系统RM优化设计问题的方法中，都是先把原问题建模成广义约束优化问题，然后再对广义约束优化问题进行求解，但现有方法的求解速度较慢，任务数较多时不再适用。提出一种求解优化问题的方法——基于树状的线性规划搜（1inear programming search，简称LPS）方法。该方法先将实时系统RM优化设计问题建模成广义约束优化问题，再将其分拆成若干线性规划子问题，然后构造线性规划搜索树，利用剪枝搜索算法求解部分线性规划子问题，最后得到优化解。实验结果表明：LPS方法相比于已有的方法能够节省20％～70％的求解时间，任务数越多，节省时间越多。该研究成果可以与计算机可满足性模定理（satisfiability modulo theories，简称SMT）领域的多个研究热点问题联系起来，并可望改善SMT问题的求解效率。

关键词：实时系统单调速率最优化搜索算法线性规划可满足性模定理

来源：评论

学校读者我要写书评

暂无评论

一种个体软件过程能力度量方法(英文)

引用

软件学报 2009年第12期20卷 3137-3149页

作者：张瞫王永吉阮利中国科学院软件研究所互联网软件技术实验室北京100190 中国科学院研究生院北京100049 中国科学院软件研究所计算机科学国家重点实验室北京100190 北京航天航空大学计算机学院北京100191

个体软件过程(PSP)是由卡内基?梅隆大学软件工程研究所的 Humphrey 领导开发的.它是一种可用于控制、管理和改进个人工作方式的自我持续改进过程.随着工业界对软件过程改进需求的日益增长,PSP 成为了软件组织为达成完全(从宏观到微观)... 详细信息

个体软件过程(PSP)是由卡内基?梅隆大学软件工程研究所的 Humphrey 领导开发的.它是一种可用于控制、管理和改进个人工作方式的自我持续改进过程.随着工业界对软件过程改进需求的日益增长,PSP 成为了软件组织为达成完全(从宏观到微观)量化过程管理研究中的一个热点课题.软件过程研究表明,高水平的个体软件过程能力是软件项目成功的关键,如何进行有效的个体软件过程能力度量是 PSP 中的一个核心问题.现有方法不能同时有效处理个体软件过程能力度量中的可变规模收益、多变量输入/输出以及决策者偏好问题.提出了一种综合了数据包络分析(DEA)和层次分析法(AHP)的个体软件过程能力评价方法——PSPADA,介绍了 PSPADA 的个体软件过程能力评价模型和核心算法(集成决策者偏好和估计规模收益).实验结果显示,PSPADA 能够在考虑决策者偏好的同时,有效地进行多指标、规模收益可变的量化评估.

关键词：个体软件过程(PSP) 数据包络分析(DEA) 层次分析法(AHP) 可变规模收益(VRS) 多变量输入/输出(MIMO)

来源：评论

学校读者我要写书评

暂无评论

基于数据包络分析的软件任务性能基准评价(英文)

引用

软件学报 2009年第6期20卷 1499-1510页

作者：阮利王永吉王青曾海涛中国科学院软件研究所互联网软件技术实验室北京100190 中国科学院研究生院北京100049 北京航空航天大学计算机学院北京100191 中国科学院软件研究所计算机科学国家重点实验室北京100190

提出了一种基于数据包络分析的软件任务性能基准评价新方法——TaskBeD.介绍了TaskBeD的任务基准评价模型和核心算法(挖掘高性能的软件任务,建立参考任务集和结果的敏感度分析).实验结果显示,TaskBeD能够高效处理多变元和可变规模收益... 详细信息

提出了一种基于数据包络分析的软件任务性能基准评价新方法——TaskBeD.介绍了TaskBeD的任务基准评价模型和核心算法(挖掘高性能的软件任务,建立参考任务集和结果的敏感度分析).实验结果显示,TaskBeD能够高效处理多变元和可变规模收益任务数据.

关键词：软件项目软件过程任务性能基准评价数据包络分析

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：