《软件学报杂志》（CN：11-2560/TP）是经国家新闻出版总署批准，由中国科学院主管,中国科学院主办的大型月刊，面向国内外公开征文发行。《软件学报杂志》期刊收录于：上海图书馆馆藏 CSCD 中国科学引文数据库来源期刊(含扩展版) 知网收录(中) 北大期刊(中国人文社会科学期刊) 维普收录(中) 国家图书馆馆藏 万方收录(中) SA 科学文摘(英) Pж(AJ) 文摘杂志(俄) EI 工程索引(美) JST 日本科学技术振兴机构数据库(日) 统计源期刊(中国科技论文优秀期刊),软件学报杂志一直致力于在各个学科领域里提供最新、最权威的学术研究成果，颇受业界和广大科研工作者的关注和好评。

理论计算机科学、系统软件与软件工程、模式识别与人工智能、数据库技术、计算机网络与信息安全、计算机体系结构

上海图书馆馆藏 CSCD 中国科学引文数据库来源期刊(含扩展版) 知网收录(中) 北大期刊(中国人文社会科学期刊) 维普收录(中) 国家图书馆馆藏 万方收录(中) SA 科学文摘(英) Pж(AJ) 文摘杂志(俄) EI 工程索引(美) JST 日本科学技术振兴机构数据库(日) 统计源期刊(中国科技论文优秀期刊) 中国学术期刊（光盘版）全文收录期刊 中科双百期刊 中国百种杰出学术期刊 中国优秀期刊遴选数据库 北大图书馆收录期刊 中国科技期刊优秀期刊 中国期刊全文数据库（CJFD）

1.来稿应具有科学性、实践性、逻辑性、先进性，要求材料可靠、论点鲜明、条理清晰、简明扼要、文字精炼、数据准确、图表清晰。内容符合《保密法》规定，在政治和涉外问题上应符合国家有关政策，文责自负。论文必须包括：中英文题名、作者姓名、作者单位及邮政编码、中英文摘要及关键词、正文和参考文献、第一作者简介（姓名、出生年、性别、民族、籍贯、职称、学位、研究方向），如系基金资助项目请注明基金名称及编号。

2.题名应简短，一般不宜超过20个汉字，英文题名不超过10个实词，英文题名应与中文题名含义一致。题名应避免使用非公知公用的缩写词、字符、代号、简称以及商品名称。

3.摘要要反映论文的目的、方法、结果和结论，应具有独立性和自明性，字数为120～300字，采用第三人称表述。

4.关键词应能准确反映论文主题内容，尽量选用《汉语主题词表》中的规范词，一般为3～8个。

5.文中图表应具有自明性，切忌与文字表述重复。图要有图序、图题和必要的图注，图中文字为6号宋体字。表尽量用三线表，有表序、表题。

6.量和单位应严格执行GB 3100～3102—93有关规定。

7.参考文献应限于作者直接阅读过的、最主要的、发表在正式出版物上的文献（学位论文除外），并在文中引用处注明，采用顺序编码制，著录格式应符合国标（GB/T 7714—2015）的规定。

8.文稿应在Word系统中编辑， 纸型为A4， 页边距2  cm，使用5号宋体字， 正文部分采用层次标题并用阿拉伯数字连续编号，不同层次之间用下圆点“．”，如“1”、“1.1”、“1.1.1”等。

9.本刊只接受在线投稿方式，编辑部有权对录用稿件作技术性和文字性修改。本刊对来稿概不退还，在3个月内未接到本刊录用通知者，可自行处理。来稿一经刊登，本刊将酌致稿酬，并赠送当期刊物。

• 增强上下文的错误定位技术

  错误定位就是寻找程序错误的位置.现有的错误定位方法大多利用测试用例的覆盖信息,以标识一组导致程序失效的可疑语句,却忽视了这些语句相互作用导致失效的上下文.因此,提出一种增强上下文的错误定位方法Context-FL,以构建上下文的方式来优化错误定位性能.Context-FL利用动态切片技术构建数据与控制相关性的错误传播上下文,显示了导致失效的语句...

  作者：张卓; 谭庆平; 毛晓光; 雷晏; 常曦; 薛建新 刊期： 2019年第02期

• 程序自动修复:关键问题及技术

  程序自动修复技术能够有效地降低软件维护成本,是近年来学术研究的热点问题.待修复程序规约的刻画,对自动修复过程具有至关重要的作用.从规约的角度对程序自动修复问题和技术进行了分析梳理.从待修复程序是否具有完整的程序规约,将现有修复问题分为不完全规约、完全规约和半完全规约这3大类待修复问题.以3类抽象问题为线索,梳理了不同前提假设下...

  作者：李斌; 贺也平; 马恒太 刊期： 2019年第02期

• 用于验证多智能体系统的APTL模型检测器

  由于经典的线性时序逻辑表达能力有限,设计并开发了基于交替投影时序逻辑(alternating projectiontemporal logic,简称APTL)的模型检测工具.根据王海洋等人提出的APTL 符号模型检测方法,设计并实现了APTL模型检测器MCMAS_APTL.该工具可用于多智能体系统(multi-agent system,简称MAS)的性质验证.MCMAS_APTL 检查MAS 是否满足具体性质的过程如下:...

  作者：王海洋; 段振华; 田聪 刊期： 2019年第02期

• 面向Android应用隐私泄露检测的多源污点分析技术

  当前,静态污点分析检测Android应用隐私泄露存在误报率较高的问题,这给检测人员和用户带来很大的不便.针对这一问题,提出了一种多源绑定发生的污点分析技术.该技术可以精确地判断污点分析结果中多组源是否可以在一次执行中绑定发生,用户可以从单一分析1条结果转为分析有关联的多组结果,这既缩小了分析范围,又降低了检测的误报率.在精度上,该技术...

  作者：王蕾; 周卿; 何冬杰; 李炼; 冯晓兵 刊期： 2019年第02期

• 方法级别的细粒度软件缺陷定位方法

  当软件缺陷报告在跟踪系统中被指派给开发人员进行缺陷修复之后,缺陷修复人员就需要根据提交的缺陷报告来进行软件缺陷定位,并做出相应的代码变更,以修复该软件缺陷.在缺陷修复的整个过程中,软件缺陷定位占用了开发人员大量的时间.提出了一种方法级别的细粒度软件缺陷定位方法MethodLocator,以提高软件修复人员的工作效率.MethodLocator 首先对...

  作者：张文; 李自强; 杜宇航; 杨叶 刊期： 2019年第02期