中文名称:软件学报
语言:中文
类别:计算机
主管单位:中国科学院
主办单位:国科学院软件研究所;中国...
创刊时间:1990
出版周期:月刊
国内刊号:CN11-2560/TP
国际刊号:ISSN1000-9825
邮发代号:82-367
定价:1128.00元/年
出版地:北京
(1)来稿务必论点明确,论据充分,文字精炼,数据可靠;每篇论文(含图、表)一般不低于5000个汉字为宜,应包括(按顺序):题目(一般不超过20汉字),作者姓名,作者单位、地址、邮编,中文摘要,关键词(3~8个),中图分类号,正文,参考文献。稿件需提供英文题名、作者名、单位、摘要、关键词。另外,请在文稿地脚处依次注明该文属何种基金资助(附基金号)并注明通信作者的信息(姓名、研究方向、学位、职称、电话、E-mail)。
(2)关键词:3-5个,以空格号相隔。关键词请按照《CYT173-2019学术出版规范关键词编写规则》编写。
(3)正文中表示标题级别的序号形式,一般从大到小依次为:“一”“(一)”“1”“(1)”“①”等。可以根据标题的实有级别,跳过某些形式的序号。
(4)稿件正文请勿署名,作者姓名、作者简介、通信地址、电话及电子邮箱地址等请另页给出。正文中应注意避免出现与作者身份有关的信息。
(5)原创性要求:所有投稿论文必须是原创的,未在其他期刊或会议中发表过,也不能与其他刊物同时投稿。若论文中包含已发表过的内容,请在投稿时说明,并标注新创部分。
(6)学术水平要求:被接受的论文应具备较高的学术水平,包括科学性、深度、创新性和可靠性。论文应基于科学方法进行研究,数据应准确可信,结论要清晰明确。同时,鼓励论文的研究内容具有一定的前瞻性和实用价值。
(7)文章格式要求:投稿稿件应使用中文撰写,并按要求进行排版。主要包括题目、作者信息、摘要、关键词、引言、研究方法、实验结果与讨论、结论、参考文献等部分。
(9)引用格式要求:引用的文献请按照国际通用的学术引用格式进行,确保参考文献的准确性。
(10)插图和表格:均应有中、英文图名和表名,坐标图中的标目要用量和单位之比表示清楚.文中图、表应有自明性,且随文出现。
1.来稿必须是原创性论文,要求结构完整、论点明确、论据可靠、论证合理、层次分明、可读性强.
2.本刊长期征集长文.长文的长度至少在15页以上,侧重于鼓励科学工作者在结合国家需求、把握世界科学前沿的基础上,在重要研究领域或新学科生长点上开展深入、系统的创新性研究工作;鼓励有重大创新、有新观点和见解、可推动或丰富该领域的研究与发展.有关长文的详细要求,请登陆我刊网站了解.
3.投稿应具有合法性,即不存在抄袭、剽窃、侵权等不良行为.如发现上述不良行为,本刊将据实通知作者所在单位的最高领导层,并不再接受第一作者的投稿.作者文责自负,本刊不承担连带责任.
4.参考文献必须在文中用[数字]标出对应标号,参考文献统一列在文后。
当软件缺陷报告在跟踪系统中被指派给开发人员进行缺陷修复之后,缺陷修复人员就需要根据提交的缺陷报告来进行软件缺陷定位,并做出相应的代码变更,以修复该软件缺陷.在缺陷修复的整个过程中,软件缺陷定位占用了开发人员大量的时间.提出了一种方法级别的细粒度软件缺陷定位方法MethodLocator,以提高软件修复人员的工作效率.MethodLocator 首先对...
作者:张文; 李自强; 杜宇航; 杨叶 刊期: 2019年第02期
当前,静态污点分析检测Android应用隐私泄露存在误报率较高的问题,这给检测人员和用户带来很大的不便.针对这一问题,提出了一种多源绑定发生的污点分析技术.该技术可以精确地判断污点分析结果中多组源是否可以在一次执行中绑定发生,用户可以从单一分析1条结果转为分析有关联的多组结果,这既缩小了分析范围,又降低了检测的误报率.在精度上,该技术...
作者:王蕾; 周卿; 何冬杰; 李炼; 冯晓兵 刊期: 2019年第02期
由于经典的线性时序逻辑表达能力有限,设计并开发了基于交替投影时序逻辑(alternating projectiontemporal logic,简称APTL)的模型检测工具.根据王海洋等人提出的APTL 符号模型检测方法,设计并实现了APTL模型检测器MCMAS_APTL.该工具可用于多智能体系统(multi-agent system,简称MAS)的性质验证.MCMAS_APTL 检查MAS 是否满足具体性质的过程如下:...
作者:王海洋; 段振华; 田聪 刊期: 2019年第02期
程序自动修复技术能够有效地降低软件维护成本,是近年来学术研究的热点问题.待修复程序规约的刻画,对自动修复过程具有至关重要的作用.从规约的角度对程序自动修复问题和技术进行了分析梳理.从待修复程序是否具有完整的程序规约,将现有修复问题分为不完全规约、完全规约和半完全规约这3大类待修复问题.以3类抽象问题为线索,梳理了不同前提假设下...
作者:李斌; 贺也平; 马恒太 刊期: 2019年第02期
错误定位就是寻找程序错误的位置.现有的错误定位方法大多利用测试用例的覆盖信息,以标识一组导致程序失效的可疑语句,却忽视了这些语句相互作用导致失效的上下文.因此,提出一种增强上下文的错误定位方法Context-FL,以构建上下文的方式来优化错误定位性能.Context-FL利用动态切片技术构建数据与控制相关性的错误传播上下文,显示了导致失效的语句...
作者:张卓; 谭庆平; 毛晓光; 雷晏; 常曦; 薛建新 刊期: 2019年第02期