软件学报期刊
出版文献量(篇)
5820
总下载数(次)
36
总被引数(次)
226394

软件学报

Journal of Software

CSCDEIJSTAJSACSTPCD

影响因子 2.4459
《软件学报》是一本刊登计算机软件各领域原创性研究成果的期刊,所刊登的论文均经过严格的同行专家评议.《软件学报》主要面向全球华人计算机软件学者,致力于创办与世界计算机科学和软件技术发展同步的以中文为主的"中文国际软件学术期刊",为全球华人同行提供学术交流平台.
主办单位:
中国科学院软件研究所 中国计算机学会
期刊荣誉:
百种中国杰出学术刊物  
ISSN:
1000-9825
CN:
11-2560/TP
出版周期:
月刊
邮编:
100190
地址:
北京8718信箱
出版文献量(篇)
5820
总下载数(次)
36
总被引数(次)
226394
文章浏览
目录
  • 作者: 王盼 郭曦
    刊名: 软件学报
    发表期刊: 2015年1期
    页码:  1-13
    摘要: 相关路径生成,是程序动态分析中的一种重要方法.通过对目标执行路径的获取和分析来生成与其相关的近邻执行路径,在程序行为特征分析、编译优化和调试等研究方向有重要的作用.现有的方法主要通过改变路径...
  • 作者: 包晓安 张娜 曹建文 桂宁 谢晓鸣
    刊名: 软件学报
    发表期刊: 2015年1期
    页码:  14-25
    摘要: 软件测试过程通常期望以最小的成本检测尽可能多的缺陷.为了降低建模复杂度,多数文献通常假设缺陷之间相互独立.但在实际测试中,缺陷之间往往存在关联,并且每个缺陷引发软件失效的严重程度也不相同.充...
  • 作者: 何清 史忠植 庄福振 罗平
    刊名: 软件学报
    发表期刊: 2015年1期
    页码:  26-39
    摘要: 近年来,迁移学习已经引起了广泛的关注和研究.迁移学习是运用已存有的知识对不同但相关领域问题进行求解的一种新的机器学习方法.它放宽了传统机器学习中的两个基本假设:(1)用于学习的训练样本与新的...
  • 作者: 田嘉 苏畅 陈怡疆
    刊名: 软件学报
    发表期刊: 2015年1期
    页码:  40-51
    摘要: 作为自然语言处理中的普遍现象,隐喻若不得到解决,将成为制约自然语言处理和机器翻译的瓶颈问题.结合相关的隐喻理论基础,从隐喻识别和隐喻解释这两个隐喻计算的子任务出发,介绍了现有的隐喻计算模型以...
  • 作者: 朱明 邸男 韩广良
    刊名: 软件学报
    发表期刊: 2015年1期
    页码:  52-61
    摘要: 复杂背景条件下低对比度目标的跟踪和测量方法,是视觉领域的一个重要课题.低对比度,低信噪比,目标旋转、缩放、被遮挡等非理想状态给跟踪算法的研究带来很大困难,算法既要适应目标和背景的复杂变化,又...
  • 作者: 吴建平 唐翯祎 崔勇 张朝昆
    刊名: 软件学报
    发表期刊: 2015年1期
    页码:  62-81
    摘要: 网络抽象促使软件定义网络(software-defined networking,简称SDN)的产生.SDN将数据平面与控制平面解耦合,简化了网络管理.首先从SDN诞生发展的背景入手,梳理了...
  • 作者: 王海 茅娅菲 董超 陈晨 陈贵海
    刊名: 软件学报
    发表期刊: 2015年1期
    页码:  82-97
    摘要: 流间网络编码具有改善无线网络性能的潜力,然而,由于实际网络中编码机会数量通常十分有限,仅仅被动地利用编码机会无法获得高的性能增益.编码感知路由的核心思想是使用有利于网络编码的路由,它通过在路...
  • 作者: 周俊 张晓岩 李贺武 陈剑
    刊名: 软件学报
    发表期刊: 2015年1期
    页码:  98-108
    摘要: 针对IEEE 802.11n无线网络中的速率、MIMO模式与信道宽度的联合自适应问题,提出了一种基于非静态Multi-Armed Bandit学习方法的联合自适应算法,并设计了一种新颖的报酬...
  • 作者: 刘哲理 李敏 李经纬 李进 贾春福
    刊名: 软件学报
    发表期刊: 2015年1期
    页码:  109-128
    摘要: 从可搜索加密的两类基本问题出发,回顾了相关研究历史.介绍了可搜索加密的分类,包括其应用场景和应用模型,并探讨了相应的解决策略,从构造角度,将其分为对称可搜索加密和非对称可搜索加密.基于这种分...
  • 作者: 孙奕 徐建 杜学绘 陈亮 陈性元
    刊名: 软件学报
    发表期刊: 2015年1期
    页码:  129-144
    摘要: 为了解决大规模复杂网络环境下流交换的安全问题,首次将代理重签名技术应用到安全流交换中,提出一种用于流交换的基于陷门Hash函数的代理重签名方案.首先,针对陷门Hash函数在流交换应用中存在的...
  • 作者: 孟小峰 马友忠
    刊名: 软件学报
    发表期刊: 2015年1期
    页码:  145-166
    摘要: 数据的爆炸式增长给传统的关系型数据库带来了巨大的挑战,使其在扩展性、容错性等方面遇到了瓶颈.而云计算技术依靠其高扩展性、高可用性、容错性等特点,成为大规模数据管理的有效方案.然而现有的云数据...
  • 作者: 张志朋 游进国 潘秋萍 胡宝丽 董朋志
    刊名: 软件学报
    发表期刊: 2015年1期
    页码:  167-177
    摘要: 图聚集技术旨在获取能够涵盖原图大部分信息的简洁超图,用于提炼概要信息、解决存储消耗和社交隐私保护等问题.对当前的图聚集技术进行研究,综述了现有图聚集技术中的分组方法并对其进行分类,将分组标准...
  • 作者: 刘超 李宣东 毛晓光
    刊名: 软件学报
    发表期刊: 2015年2期
    页码:  179-180
    摘要:
  • 作者: 李睿 连航 马世龙 黎涛
    刊名: 软件学报
    发表期刊: 2015年2期
    页码:  181-201
    摘要: 随着航空型号的快速发展,航空电子系统的数字化程度越来越高,软件在其中所占的比例越来越大。对航空电子系统中的软件进行测试和检测是保证航空电子系统质量及可信运行的基础。通过分析航空电子系统软件体...
  • 作者: Jean-Paul BODEVEIX 杨志斌 胡凯 赵永望 马殿富
    刊名: 软件学报
    发表期刊: 2015年2期
    页码:  202-222
    摘要: 提出了一种基于时间抽象状态机(timed abstract state machine,简称TASM)的AADL(architecture analysis and design langu...
  • 作者: 侯刚 周宽久 常军旺 李明楚 王洁
    刊名: 软件学报
    发表期刊: 2015年2期
    页码:  223-238
    摘要: 状态迁移矩阵(state transition matrix,简称STM)是一种基于表结构的状态机建模方法,前端为表格形式,后端则具有严格的形式化定义,用于建模软件系统行为。但目前 STM ...
  • 作者: 张一帆 欧建生 汤恩义 陈鑫 黄超
    刊名: 软件学报
    发表期刊: 2015年2期
    页码:  239-253
    摘要: 随着计算机技术的不断发展,计算机系统在安全攸关领域得到了广泛应用,其中的软件系统正逐渐成为重要的使能部件。在计算机系统中,设备驱动程序扮演了软件与硬件设备之间桥梁的角色。由于与计算机平台、操...
  • 作者: 刘超 吴际 杨波
    刊名: 软件学报
    发表期刊: 2015年2期
    页码:  254-268
    摘要: 软件中存在的故障很多与数据流紧密相关,对数据流故障定位是一个具有相当难度的研究问题。通过分析变量的定义-使用关系和变量间的依赖关系,并跟踪程序运行时各种操作对变量值的影响,即,变量操作状态的...
  • 作者: 周岩 姜鹏 张一帆 陈鑫 黄超
    刊名: 软件学报
    发表期刊: 2015年2期
    页码:  269-278
    摘要: 列车控制系统是一种安全攸关系统,为保证其安全性,要求测试过程对安全攸关场景中所有可能的运行进行完全的覆盖。现有的场景建模与测试用例自动生成方法不能完全满足这一技术需求。围绕列车控制系统的安全...
  • 作者: 代声馨 徐保平 杨秋辉 洪玫 郭兵 黄蔚
    刊名: 软件学报
    发表期刊: 2015年2期
    页码:  279-296
    摘要: 随着多处理器实时系统在安全性攸关系统中的广泛应用,保证这类系统的正确性成为一项重要的工作。可调度性是实时系统正确性的一项关键性质。它表示系统必须满足的一些时间要求。传统的可调度性分析方法结论...
  • 作者: 吴文渊 李传璨 李轶
    刊名: 软件学报
    发表期刊: 2015年2期
    页码:  297-304
    摘要: 对多分支单变量循环程序的终止性问题进行了研究。证明了在适定的条件下,该类循环程序不可终止性的充分必要条件是迭代映射在循环条件形成的区域中有不动点。特别地,当这类循环程序是多项式循环程序时,在...
  • 作者: 刘静 杜德慧 程贝
    刊名: 软件学报
    发表期刊: 2015年2期
    页码:  305-320
    摘要: 在开放运行环境中,安全攸关系统的不确定性行为有可能导致小概率事件的发生,而此类事件的可靠性指标往往很高,小概率事件一旦发生就会产生灾难性的后果,严重威胁到人们的生命、财产安全。因此,评估、预...
  • 作者: 王政 董云卫 顾斌
    刊名: 软件学报
    发表期刊: 2015年2期
    页码:  321-331
    摘要: 航天嵌入式软件是航天型号任务成败的关键之一。航天嵌入式软件是一种周期性、多模式的软件。软件的每个模式表示系统处于一定的状态,并进行相应的复杂计算。因此,提出了一种名为 SPARDL 的形式化...
  • 作者: 刘洋 杨斐 王生原 甘元科 石刚 董渊 闫鑫
    刊名: 软件学报
    发表期刊: 2015年2期
    页码:  332-347
    摘要: Lustre是一种广泛应用于工业界核心安全级控制系统的同步数据流语言,采用形式化验证的方法实现Lustre到C的编译器可以有效地提高编译器的可信度。基于这种方法,开展了从Lustre*(一种...
  • 作者: 王林章 甘水滔 秦晓军 陈左宁
    刊名: 软件学报
    发表期刊: 2015年2期
    页码:  348-363
    摘要: 提出了一种基于特征矩阵的软件代码克隆检测方法。在此基础上,实现了针对多类脆弱性的检测模型。基于对脆弱代码的语法和语义特征分析,从语法分析树抽取特定的关键节点类型描述不同的脆弱性类型,将4种基...
  • 作者: 何炎祥 张军 李清安 江南 沈凡凡
    刊名: 软件学报
    发表期刊: 2015年2期
    页码:  364-379
    摘要: 给出了一个寄存器架构的虚拟机模型 Micro-Dalvik,包括虚拟机指令集和虚拟机运行时状态的形式化,并以大步操作语义(big-step operational semantics)的方式...
  • 作者: 万丽景 乔磊 单黎君 周兴社 王宇英 赵雷 陈建新
    刊名: 软件学报
    发表期刊: 2015年2期
    页码:  380-389
    摘要: 信息物理融合系统常采用嵌入式实时多任务系统作为其控制软件,这类软件的并发和非确定性给验证带来了困难。提出了一种利用统计模型检验技术分析多任务系统的功能正确性的方法。该方法构造的时间自动机模型...
  • 作者: 万志 陈翔 鞠小林 顾庆
    刊名: 软件学报
    发表期刊: 2015年2期
    页码:  390-412
    摘要: 基于程序频谱的动态缺陷定位是软件自动化调试研究中的一个热点问题,通过搜集测试用例的程序频谱和执行结果,基于特定模型以定位缺陷语句在被测程序内的可能位置。对近些年来国内外学者在该研究领域取得的...
  • 作者: 孙浩 曾庆凯
    刊名: 软件学报
    发表期刊: 2015年2期
    页码:  413-426
    摘要: C/C++语言中整型的有限表示范围、不同符号或长度间的类型转换导致了整数漏洞的发生,包括整数上溢、整数下溢、符号错误和截断错误。攻击者常常间接利用整数漏洞实施诸如恶意代码执行、拒绝服务等攻击...
  • 作者: 徐丙凤 李伟湋 胡军 魏欧 黄志球
    刊名: 软件学报
    发表期刊: 2015年2期
    页码:  427-446
    摘要: 状态事件故障树是一种适合于描述构件化嵌入式系统失效因果链的建模技术,其顶层事件描述失效发生的结果。对顶层事件发生的平均时间进行分析,是获得系统平均失效时间参数的一种有效方法,可为系统的安全性...

软件学报基本信息

刊名 软件学报 主编 李明树
曾用名
主办单位 中国科学院软件研究所 中国计算机学会  主管单位 中国科学院
出版周期 月刊 语种
chi
ISSN 1000-9825 CN 11-2560/TP
邮编 100190 电子邮箱 jos@iscas.ac.cn
电话 010-62562563 网址 www.jos.org.cn
地址 北京8718信箱

软件学报评价信息

期刊荣誉
1. 百种中国杰出学术刊物

软件学报统计分析

被引趋势
(/次)
(/年)
学科分布
研究主题
推荐期刊