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

软件学报

Journal of Software

CSCDEIJSTAJSACSTPCD

影响因子 2.4459
《软件学报》是一本刊登计算机软件各领域原创性研究成果的期刊,所刊登的论文均经过严格的同行专家评议.《软件学报》主要面向全球华人计算机软件学者,致力于创办与世界计算机科学和软件技术发展同步的以中文为主的"中文国际软件学术期刊",为全球华人同行提供学术交流平台.
主办单位:
中国科学院软件研究所 中国计算机学会
期刊荣誉:
百种中国杰出学术刊物  
ISSN:
1000-9825
CN:
11-2560/TP
出版周期:
月刊
邮编:
100190
地址:
北京8718信箱
出版文献量(篇)
5820
总下载数(次)
36
总被引数(次)
226394
文章浏览
目录
  • 作者: 巩敦卫 李征 江贺 聂长海
    刊名: 软件学报
    发表期刊: 2016年4期
    页码:  769-770
    摘要:
  • 作者: 任志磊 江贺 玄跻峰 王子元 谢晓园
    刊名: 软件学报
    发表期刊: 2016年4期
    页码:  771-784
    摘要: 自动程序修复帮助开发者降低人工修复bug的成本.基于测试集的修复方法旨在生成能够通过测试集的代码补丁,以使程序正常运行.回顾了基于测试集的程序修复的现有文献,按照自动修复方法和实证基础两个方...
  • 作者: 于巧 姚慧冉 姜淑娟 张艳梅 王令赛 薛猛
    刊名: 软件学报
    发表期刊: 2016年4期
    页码:  785-801
    摘要: 适应度函数的设计在基于搜索的测试用例生成技术中占据重要的位置,然而在某些特殊的程序中,如存在嵌套、非结构性跳转或因return,break等语句跳出循环的程序,已有的适应度函数无法评价到所有...
  • 作者: 夏春艳 宋丽 张岩
    刊名: 软件学报
    发表期刊: 2016年4期
    页码:  802-813
    摘要: 路径覆盖是软件测试领域重要的测试方法之一.为了提高路径覆盖测试效率,在采用遗传算法进化生成路径覆盖的测试数据过程中,利用被测程序条件语句的相关性判定不可达路径,除路径中必经节点外,其他节点在...
  • 作者: 丁蕊 冯宪彬 张岩 董红斌
    刊名: 软件学报
    发表期刊: 2016年4期
    页码:  814-827
    摘要: 测试数据的自动生成,是提高软件测试效率的重要手段.从软件测试工程实践的角度提出快速生成测试数据的完整模型,更有利于提高测试数据生成效率.为此:(1)提出关键点路径表示法,以得出待测程序的理论...
  • 作者: 姚香娟 巩敦卫 李彬
    刊名: 软件学报
    发表期刊: 2016年4期
    页码:  828-838
    摘要: 利用遗传算法生成复杂软件的测试数据,是软件测试领域一个全新的研究方向.传统的基于遗传算法的测试数据生成技术,需要以每个测试数据作为输入运行被测程序,以获得个体的适应值,因此,需要消耗大量的运...
  • 作者: 吴川 姚香娟 巩敦卫
    刊名: 软件学报
    发表期刊: 2016年4期
    页码:  839-854
    摘要: 回归测试是迭代式软件开发的重要环节,测试数据生成是回归测试的前提.传统的回归测试方法,从已有的测试数据中选择部分测试数据,并生成一些新的测试数据,以验证程序的正确性.但是,该方法容易生成冗余...
  • 作者: 张文茜 曾梦凡 聂长海 陈思洋
    刊名: 软件学报
    发表期刊: 2016年4期
    页码:  855-878
    摘要: 覆盖表生成问题是组合测试的重要研究内容之一,目前已有许多数学方法、贪心算法、搜索算法用于求解这一问题.蚁群算法作为一种能够有效求解组合优化问题的演化搜索算法,已被应用到求解覆盖表生成问题中....
  • 作者: 樊向宇 王赞 邹雨果 陈翔
    刊名: 软件学报
    发表期刊: 2016年4期
    页码:  879-900
    摘要: 基于程序频谱的缺陷定位方法可以有效地辅助开发人员定位软件内部缺陷,但大部分已有自动化方法在解决多缺陷定位问题时表现不佳,部分效果尚可的方法因复杂度较高或需要开发人员较多交互而仍需进一步改善....
  • 作者: 岳涛 张莉 路红
    刊名: 软件学报
    发表期刊: 2016年4期
    页码:  901-915
    摘要: 在大规模复杂系统产品线工程中,人工配置难免会导致配置的不一致,即,配置数据会违背预定义的约束(也可以称为一致性约束).对于大规模复杂系统产品线体系结构,比如信息物理系统产品线,往往存在成百上...
  • 作者: 初佃辉 周学权 孟凡超 李克秋
    刊名: 软件学报
    发表期刊: 2016年4期
    页码:  916-932
    摘要: 目前,对于SaaS优化放置问题的研究都是假定云环境中的虚拟机的种类和数量都是确定的,即,在限定的资源范围内进行优化.然而,在公有云环境下,SaaS提供者所需要的云资源数量是不确定的,其需要根...
  • 作者: 张蓓 薛锦云 郑宇军
    刊名: 软件学报
    发表期刊: 2016年4期
    页码:  933-942
    摘要: 形式化方法有助于从根本上提高软件系统的质量与可靠性,但其开发成本往往过于高昂.一种折衷的办法是在软件系统中选取关键性部件进行形式化开发,但目前尚无非常有效的定量选择方法.将软件系统中的形式化...
  • 作者: 李征 袁方 赵瑞莲 边毅 郭俊霞
    刊名: 软件学报
    发表期刊: 2016年4期
    页码:  943-954
    摘要: 测试用例优先排序是一种基于整个测试用例集以寻找最优测试用例执行序列的软件回归测试技术.由于其能够尽早地发现错误,同时应用灵活度高、不会漏掉重要测试用例等,在实际软件测试过程中可以有效提高测试...
  • 作者: 刘银陵 廖莉莉 朱羿全 沈国华 王飞 谢冰 黄志球
    刊名: 软件学报
    发表期刊: 2016年4期
    页码:  955-968
    摘要: 安全攸关软件的可信性关乎生命安全和财产保全,因此,分析评价软件可信性是否符合用户的预期(即软件可信评估)至关重要.软件可信评估从主观和客观两个方面度量软件的质量,对软件生产和应用有着重要的意...
  • 作者: 刘建伟 毛剑 毛可飞 王蒙蒙 陈杰
    刊名: 软件学报
    发表期刊: 2016年4期
    页码:  969-992
    摘要: 软件定义网-(software defined networking,简称SDN)初步实现了网络控制面与数据面分离的思想,然而在提供高度开放性和可编程性的同时,网络自身也面临着诸多安全问题,...
  • 作者: 于洋 尹霞 施新刚 毕军 王之梁
    刊名: 软件学报
    发表期刊: 2016年4期
    页码:  993-1008
    摘要: 软件定义网络(software defined networking,简称SDN)的产生使得网络中的数据平面与控制平面相分离,网络中的控制逻辑集中于控制器上,运行于控制器上的网络应用使得网络...
  • 作者: 周可人 周维 姚绍文 栾钟治 钱德沛
    刊名: 软件学报
    发表期刊: 2016年4期
    页码:  1009-1025
    摘要: 随着计算机硬件技术的发展,如今我们已经迈入了多核CPU时代.然而,作为软件核心的数据结构仍然是按照单核CPU和顺序型准则来设计的.在基于共享内存的多核时代,大量并发运行的线程会交替地修改数据...
  • 作者: 吴文泰 林伟伟
    刊名: 软件学报
    发表期刊: 2016年4期
    页码:  1026-1041
    摘要: 云计算引领了计算机科学的一场重大变革,但与此同时,也不可避免地带来了日益凸显的能源消耗问题,因此,云计算能耗管理成为近几年的研究热点.云计算系统的能耗测量和管理直接关系到云计算的可持续发展,...
  • 作者: 曾庆凯 邓良
    刊名: 软件学报
    发表期刊: 2016年4期
    页码:  1042-1058
    摘要: 提出一种在不可信操作系统中保护应用程序的新方法AppISO.针对传统的虚拟化方法的高开销问题,AppISO在不可信操作系统的同一特权层引入内可信基,代替虚拟机监控器实施应用程序保护,避免了昂...
  • 作者:
    刊名: 软件学报
    发表期刊: 2016年4期
    页码:  封3
    摘要:

软件学报基本信息

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

软件学报评价信息

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

软件学报统计分析

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