杂志简介：《软件学报》杂志经新闻出版总署批准，自1990年创刊，国内刊号为11-2560/TP，是一本综合性较强的计算机期刊。该刊是一份月刊，致力于发表计算机领域的高质量原创研究成果、综述及快报。主要栏目：理论计算机科学、系统软件与软件工程、模式识别与人工智能、数据库技术、计算机网络与信息安全、计算机体系结构
杂志简介：《软件学报》杂志经新闻出版总署批准，自1990年创刊，国内刊号为11-2560/TP，是一本综合性较强的计算机期刊。该刊是一份月刊，致力于发表计算机领域的高质量原创研究成果、综述及快报。主要栏目：理论计算机科学、系统软件与软件工程、模式识别与人工智能、数据库技术、计算机网络与信息安全、计算机体系结构
作者：严俊 张健 刊期：2009年第06期
组合测试能够在保证错误检出率的前提下采用较少的测试用例测试系统．但是，组合测试用例集的构造问题的复杂度是NP完全的．组合测试方法的有效性和复杂性吸引了组合数学领域和软件工程领域的学者们对其进行深入的研究．总结了近年来在组合测试方面的研究进展，主要内容包括：组合测试准则的研究、组合测试生成问题与其他NP完全问题的联系、组合...
作者：刘真环 韦立 陈艳 赵荣盛 王驹 刊期：2009年第06期
DDS（deadline．driven scheduler）模型是实时系统研究中的一个经典模型，但其原始设置中未提及空间因素．在DDS模型的原始设置上进行扩展，给出了DDS并行模型并在该模型设置下研究带空间限制的任务调度问题．提出了极大空间相容组的概念，并给出了全局调度算法和该算法可行的条件．最后还引入分离逻辑的思想对时段演算进行扩充，得到了新的形...
作者：周从华 刊期：2009年第06期
对线性时态逻辑SE-LTL提出了一种基于SAT的有界模型检测过程，该过程避免了基于BDD方法中状态空间快速增长的问题在SE-LTL的子集SE-LTL-x有界模型检测过程中，集成了stuttering等价技术，该集成有效地加速了验证过程．进一步提出了一种组合了基于SAT的有界模型检测、基于反例的抽象求精、组合推理3种状态空间约简技术的并发软件验证策略．该策略...
作者：陈锦富 卢炎生 谢晓东 刊期：2009年第06期
软件错误注入测试（software fault injection testing，简称SFIT）技术经过近30年的发展，一直是软件测试领域最活跃的研究内容之一．作为一种非传统的测试技术，在提高软件质量、减少软件危害及改进软件开发过程等方面起着重要作用．对软件错误注入测试的研究现状及动态进行了调研，对该领域相关技术进行了归类及介绍，并对当前较为有效的测试...
作者：杨秋松 李明树 刊期：2009年第06期
参数化系统（paramterized system）是指包含特定有限状态进程多个实例的并发系统，其中的参数是指系统内进程实例的数目，即系统的规模反向可达性分析（backward reachability analysis）已被广泛用于验证参数化系统是否满足以向上封闭（upward-closed）集合表示的安全性（safety property）与有限状态系统验证相类似，参数化系统的验证同样也...
作者：张岩 梅宏 刊期：2009年第06期
为系统构建模型是软件开发中的一项关键活动．一个高质量的模型不仅要包含系统的功能属性，即系统能够做什么，同时还应包含系统的非功能属性，即系统的质量如何．目前，通用的建模方法和工具对功能属性建模支持良好，而对如何为非功能属性建模关注得不多，特别是如何将二者统一起来并对描述的非功能属性的有关性质进行检验．通过在UML类图中增...
作者：乔晓强 魏峻 黄涛 刊期：2009年第06期
由于服务是由彼此独立的提供商开发的，无法在开发阶段就预测到其潜在的所有交互可能，因此需要在实际协作时检查服务之间的兼容性，从而保障协作的正确性和一致性．提出了一种基于分布式协调模型的方法，以提高服务的可复用性和服务协作的灵活性．该方法通过失败等价（failure-equivalent）行为语义保持的投影规则，将协作流程转换为协作子流程...
作者：王晓博 王欢 刘超 刊期：2009年第06期
UML类图能够有效地帮助软件工程师理解大规模的软件系统，而优化图元的空间布局可以增强类图的可读性和可理解性．由于类图中继承关系具有明显的层次特性，因此类图自动布局大多采用层次化的布图算法．此外，类图布局需要考虑相关的领域知识以及绘制准则，因而通用嵌套有向图层次化布局算法不能直接用于类图的绘制，它们必须加以扩展．但是，已...
作者：阮利 王永吉 王青 曾海涛 刊期：2009年第06期
提出了一种基于数据包络分析的软件任务性能基准评价新方法——TaskBeD．介绍了TaskBeD的任务基准评价模型和核心算法（挖掘高性能的软件任务，建立参考任务集和结果的敏感度分析）．实验结果显示，TaskBeD能够高效处理多变元和可变规模收益任务数据．
作者：张德富 陈竞驰 刘永凯 陈火旺 刊期：2009年第06期
提出了一个用于求解二维不规则排样问题的离散临界多边形模型．Burke等人的BLF算法是求解排样问题的一种有效算法，但其算法对一些特殊实例会产生非法的解．为了解决这个问题，提出了一种基于离散临界多边形模型，并对其正确性作了严格证明．新模型是只含有点和区间的简单模型，在大大降低原问题几何复杂性的同时，也使许多启发式策略可以更容易...
作者：李莹 孙吉贵 吴瑕 朱兴军 刊期：2009年第06期
基于扩展规则的方法是一种定理证明方法．在IER（improved extension rule）扩展规则算法的基础上，提出了IMOM（improved maximum occurrences on clauses of maximum size）和IBOHM（improved BOHM）启发式策略，并将两种启发式策略用于IER算法中，有指导性地选择限定搜索空间的子句，设计并实现了算法IMOMH—IER和IBOHMH_IER．实验结果表明，...
作者：蒋兴波 吕肖庆 刘成城 刊期：2009年第06期
针对二维矩形条带装箱问题提出了一种启发式布局算法，即底部左齐择优匹配算法（lowest—level left align bestfit，简称LLABF）．LLABF算法遵循最佳匹配优先原则，该原则综合考虑完全匹配优先、宽度匹配优先、高度匹配优先、组合宽度匹配优先及可装入优先等启发式规则．与BL（bottom-left），IBL（improved-bottom-left）与BLF（bottom—left-...
作者：董超 陈贵海 王海 刊期：2009年第06期
作为下一代无线通信网络的关键技术，无线网状网能够融合异构网络，满足多类型的业务需求，因此必须提供一定的服务质量（Qos）保证．对目前各种QoS体系结构进行了分析，讨论了无线网状网的QoS体系结构．针对无线网状网网络层以下各层的QoS问题，对近年来国内外在功率控制、无线环境感知、支持QoS的MAC协议、QoS路由以及跨层QoS设计等方向所取得...
作者：李鹏 田捷 杨鑫 时鹏 张阳阳 刊期：2009年第06期
摘要：对当前国内外生物特征模板保护技术发展的现状进行综述和探索，对该方向的研究内容进行详细的梳理和分类．首先阐述传统生物特征识别系统存在的本质缺陷和易于遭受到的攻击的形式，进而从理论上引出了生物特征模板保护的必要性及其难点所在．然后以模板保护算法的具体操作方式为分类标准，详细阐述了当前在这个领域出现的比较有代表性的算...
作者：王意洁 李小勇 刊期：2009年第06期
P2P网络中节点间的距离信息是实现拓扑感知以优化覆盖网应用以及解决网络监管等问题的基础．P2P网络的大规模、自组织、高度动态等复杂特征使得要准确、完全地测量节点间的距离信息面临着极大的困难．因此，研究者们提出各种预测技术，目前对网络距离预测技术的研究已成为P2P领域的研究热点．首先，提出了一个网络距离预测技术的研究框架。指出...
影响因子：0.16
期刊级别：省级期刊
发行周期：双月刊
影响因子：1.2
期刊级别：省级期刊
发行周期：半月刊
影响因子：1.75
期刊级别：北大期刊
发行周期：月刊
影响因子：1.26
期刊级别：部级期刊
发行周期：月刊
影响因子：0.37
期刊级别：省级期刊
发行周期：月刊
影响因子：1.71
期刊级别：统计源期刊
发行周期：半月刊
影响因子：--
期刊级别：部级期刊
发行周期：月刊
影响因子：0.62
期刊级别：北大期刊
发行周期：双月刊
影响因子：0.95
期刊级别：北大期刊
发行周期：月刊
影响因子：0.3
期刊级别：省级期刊
发行周期：月刊
影响因子：0.68
期刊级别：省级期刊
发行周期：月刊
影响因子：2.24
期刊级别：北大期刊
发行周期：月刊