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期
由于经典的线性时序逻辑表达能力有限,设计并开发了基于交替投影时序逻辑(alternating projectiontemporal logic,简称APTL)的模型检测工具.根据王海洋等人提出的APTL 符号模型检测方法,设计并实现了APTL模型检测器MCMAS_APTL.该工具可用于多智能体系统(multi-agent system,简称MAS)的性质验证.MCMAS_APTL 检查MAS 是否满足具体性质的过程如下:...
作者:王海洋; 段振华; 田聪 刊期: 2019年第02期
当前,静态污点分析检测Android应用隐私泄露存在误报率较高的问题,这给检测人员和用户带来很大的不便.针对这一问题,提出了一种多源绑定发生的污点分析技术.该技术可以精确地判断污点分析结果中多组源是否可以在一次执行中绑定发生,用户可以从单一分析1条结果转为分析有关联的多组结果,这既缩小了分析范围,又降低了检测的误报率.在精度上,该技术...
作者:王蕾; 周卿; 何冬杰; 李炼; 冯晓兵 刊期: 2019年第02期
当软件缺陷报告在跟踪系统中被指派给开发人员进行缺陷修复之后,缺陷修复人员就需要根据提交的缺陷报告来进行软件缺陷定位,并做出相应的代码变更,以修复该软件缺陷.在缺陷修复的整个过程中,软件缺陷定位占用了开发人员大量的时间.提出了一种方法级别的细粒度软件缺陷定位方法MethodLocator,以提高软件修复人员的工作效率.MethodLocator 首先对...
作者:张文; 李自强; 杜宇航; 杨叶 刊期: 2019年第02期
退得挺快,挺好的[流泪]
软件学报杂志 这个刊物免审稿费,版面费正常,效率高
感觉还是挺难投的,不过编辑老师挺好的。去年八月份投了一篇文章,修改后录用了,今年投了篇,个人感觉比上一次写的好,却退稿了,可能这就是命吧
尊敬的软件学报杂志编辑大大,请问我的文章初审通过了没有,已经投了快一个月了,好急啊
退修了三四次,基本都是格式和缩减字数,可能文章比较符合期刊主题。样刊是平邮,大家一定要写好自己的详细地址,越细越好流泪
软件学报杂志在同类刊物里面相对比较容易中,审稿有回复,退稿有温度(笔者之前的文章因改动较大,杂志建议退稿之后修改重投),不失为一种选择
先后投了两篇文章,审稿1个多月,直接退稿!搞不明白。。。
五天了还是已发回执状态 什么情况?有人知道么
投稿一周,就说初审没过,我好想大哭一场,投这个刊物怎么这么难[伤心][难过]
等了好几个月,终于收到书了,悬着的心终于放下了,感谢软件学报杂志编辑部大大,感谢~~感谢