计算机学报期刊
出版文献量(篇)
5154
总下载数(次)
49
总被引数(次)
187004

计算机学报

Chinese Journal of Computers

CSCDEIJSTSACSTPCD

影响因子 3.6512
本刊是中国计算机领域的有代表性学术刊物,作为一种科学研究档案,代表了计算机领域各个研究阶段的水平。 本刊被《工程索引》(美国)、《科学文摘》(英国)、《数学文摘》(美国)、《科技文献速报》(日本)、《文摘杂志》(俄罗斯)等多种权威系统收录。是科技部科技信息研究所科技论文统计源期刊、中国科学引文数据库来源期刊。
主办单位:
中国计算机学会 中国科学院计算技术研究所
期刊荣誉:
中国科学引文数据库来源期刊  科技论文统计源期刊 
ISSN:
0254-4164
CN:
11-1826/TP
出版周期:
月刊
邮编:
100190
地址:
中国科学院计算技术研究所(北京2704信箱)
出版文献量(篇)
5154
总下载数(次)
49
总被引数(次)
187004
文章浏览
目录
  • 作者: 侯可佳 周立柱 白晓颖 黄军
    刊名: 计算机学报
    发表期刊: 2016年11期
    页码:  2161-2174
    摘要: 随着移动互联网的高速发展,移动服务越来越成为人们生活、工作中不可或缺的一部分,绝大部分移动服务都要以用户的位置信息为基础,位置服务(Location-Based Services,LBS)则...
  • 作者: 杨劭君 王甜甜 苏小红 马培军
    刊名: 计算机学报
    发表期刊: 2016年11期
    页码:  2175-2188
    摘要: 已有错误定位方法通常仅给出可疑语句排序而缺少必要的上下文信息,导致难于理解软件失效的产生原因。为了解决该问题,定义了加权软件行为图来表示成功和失败的程序执行路径,由于图中边的权重表示了路径的...
  • 作者: 杨启亮 王平 胡昊 邢建春 韩德帅 马晓星
    刊名: 计算机学报
    发表期刊: 2016年11期
    页码:  2189-2215
    摘要: 软件自适应是软件系统为应对外部环境、用户需求和系统自身的频繁变化而进行自我调整的一种能力,是近年来软件工程领域研究的热点。由于基于“感知-决策-调整”的软件自适应环与基于“感知-规划-动作”...
  • 作者: 刘吉伟 毛新军
    刊名: 计算机学报
    发表期刊: 2016年11期
    页码:  2216-2235
    摘要: 持续变化的需求对开放环境下软件系统的灵活性和可伸缩性提出了较高的要求.在许多情况下,这需要系统中能够发生变化的位置、变化的程度等可以被动态调整,即要求软件的运行时可变性是可以动态演化的.然而...
  • 作者: 缪淮扣 陆公正
    刊名: 计算机学报
    发表期刊: 2016年11期
    页码:  2236-2252
    摘要: 基于模型的测试是测试自动化的重要手段,通常采用模型检验技术从系统模型自动生成测试用例集,但生成的测试用例集往往存在冗余,这将影响测试用例执行的性能和成本。该文以扩展有限状态机(Extende...
  • 作者: 古天龙 甘鹏程 赵岭忠 郭云川 钱俊彦
    刊名: 计算机学报
    发表期刊: 2016年11期
    页码:  2253-2269
    摘要: 多栈下推网络(MPDN)是利用多个栈来描述并发递归程序线程之间交互的一种下推系统模型.为了描述基于线程之间交互的实时并发递归程序,首先将描述连续时间的时钟引入到 MPDN,提出了时间多栈下推...
  • 作者: 于戈 孙宗哲 宋杰 李甜甜 鲍玉斌
    刊名: 计算机学报
    发表期刊: 2016年11期
    页码:  2270-2290
    摘要: 面向代码的软件能耗优化从程序设计和编码角度优化软件系统的能耗,能够很好地弥补面向硬件和面向资源的能耗优化方法过多依赖硬件环境、普适性较差、粒度过大,且难以在软件开发过程中应用等缺点。该文综述...
  • 作者: 卢亚辉 周武杰 林江 王中鹏 翟治年 陈志豪
    刊名: 计算机学报
    发表期刊: 2016年11期
    页码:  2291-2306
    摘要: 工作流可满足性(Workflow Satisfiability,WS)(≠)判定给定授权和互斥约束下的资源分配是否存在,是工作流访问控制中的基本问题。目前可以通过寻找一个具体的解来完成该判定...
  • 作者: 周谊成 章宗长 章晓芳 谢晓园
    刊名: 计算机学报
    发表期刊: 2016年11期
    页码:  2307-2323
    摘要: 随机测试和划分测试是两种重要的测试方法,关于两者在失效检测能力和效率方面的比较一直是软件测试领域的研究热点之一。适应性随机测试是对随机测试的一种增强,通过实现测试用例在输入域上的均匀分布,提...
  • 作者: 司冠南 徐思涵 李恩鹏 许静 过辰楷
    刊名: 计算机学报
    发表期刊: 2016年11期
    页码:  2324-2343
    摘要: 移动平台上的应用软件私密信息泄露漏洞关注违背用户意愿的接口或数据暴露,而泄露形式和内容的复杂性增添了该类漏洞的检测难度。现有方法主要利用传统的静态数据流分析及动态监控等技术,易发生漏报和误报...
  • 作者: 刘春 张伟 赵海燕 金芝 黄冉冉
    刊名: 计算机学报
    发表期刊: 2016年11期
    页码:  2344-2354
    摘要: 计算过程与物理过程的融合使得信息物理融合系统(Cyber-Physical Systems,CPS)的软件需求分析成为一个具有挑战性的任务。首先,分析人员需要从用户所期望实现的物理实体变化出...
  • 作者: 党向盈 姚香娟 巩敦卫
    刊名: 计算机学报
    发表期刊: 2016年11期
    页码:  2355-2371
    摘要: 变异测试是一种面向缺陷的软件测试技术,然而高昂的测试代价,影响了其在实际程序测试的应用。 Papadakis 等人将某一程序的弱变异测试问题,转化为另一程序的变异语句真分支覆盖问题,以期采用...
  • 作者: 刘超 吴际 杨波
    刊名: 计算机学报
    发表期刊: 2016年11期
    页码:  2372-2387
    摘要: 故障修复后,程序员还需验证那些与修复故障相关的区域是否还存在故障或者引入了新的故障,这时有可能需要补充新的测试用例。现有研究大多依赖符号执行等技术,这样可能导致状态空间过大。且现有的研究统一...
  • 作者: 刘静 张苗苗 祖佺
    刊名: 计算机学报
    发表期刊: 2016年11期
    页码:  2388-2403
    摘要: 动态匹配问题是指在图结构变更的情况下求解某特定匹配,包括添加和删除图中顶点和边的更新操作以及计算匹配信息的查询操作。凸二分图是一类特殊二分图,在其顶点二划分(X ,Y )中,Y 顶点集为一个...

计算机学报基本信息

刊名 计算机学报 主编 高文
曾用名
主办单位 中国计算机学会 中国科学院计算技术研究所  主管单位 中国科学院 中国科协
出版周期 月刊 语种
chi
ISSN 0254-4164 CN 11-1826/TP
邮编 100190 电子邮箱 cjc@ict.ac.cn
电话 010-62620695 网址 cjc.ict.ac.cn
地址 中国科学院计算技术研究所(北京2704信箱)

计算机学报评价信息

期刊荣誉
1. 中国科学引文数据库来源期刊
2. 科技论文统计源期刊

计算机学报统计分析

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