期刊封面
月刊  1990
期刊信息
主管单位:中国科学院
主编:李明树
ISSN:1000-9825
CN:11-2560/TP
地址:北京8718信箱
邮政编码:100190
电话:010-62562563
Email:jos@iscas.a...

软件学报

分享到:
Journal of Software
mometason vitiligo mometason 300 mometason 900

《软件学报》是一本刊登计算机软件各领域原创性研究成果的期刊,所刊登的论文均经过严格的同行专家评议.《软件学报》主要面向全球华人计算机软件学者,致力于创办与世界计算机科学和软件技术发展同步的以中文为主的"中文国际软件学术期刊",为全球华人同行提供学术交流平台.

  •     目录   << 2015年 002 期 >>
1. 基于数据链的软件故障定位方法 原文获取 
[中文期刊]   刊名:《软件学报》   PKU  ISTIC  CSCD  2015年 002期    作者:杨波    作者单位:北方工业大学计算机学院
软件中存在的故障很多与数据流紧密相关,对数据流故障定位是一个具有相当难度的研究问题.通过分析变量的定义-使用关系和变量间的依赖关系,并跟踪程序运行时各种操作对变量值的影响,即,变量操作状态的变化等基本
2. 一个机器检测的Micro-Dalvik虚拟机模型 原文获取 
[中文期刊]   刊名:《软件学报》   PKU  ISTIC  CSCD  2015年 002期    作者:何炎祥    作者单位:武汉大学计算机学院
给出了一个寄存器架构的虚拟机模型Micro-Dalvik,包括虚拟机指令集和虚拟机运行时状态的形式化,并以大步操作语义(big-step operational semantics)的方式给出了指令单
3. 一种面向列车控制系统中安全攸关场景的测试用例自动生成方法 原文获取 
[中文期刊]   刊名:《软件学报》   PKU  ISTIC  CSCD  2015年 002期    作者:陈鑫    作者单位:计算机软件新技术国家重点实验室
列车控制系统是一种安全攸关系统,为保证其安全性,要求测试过程对安全攸关场景中所有可能的运行进行完全的覆盖.现有的场景建模与测试用例自动生成方法不能完全满足这一技术需求.围绕列车控制系统的安全攸关场景建
4. 信息物理融合系统控制软件的统计模型检验 原文获取 
[中文期刊]   刊名:《软件学报》   PKU  ISTIC  CSCD  2015年 002期    作者:单黎君    作者单位:西北工业大学计算机学院
信息物理融合系统常采用嵌入式实时多任务系统作为其控制软件,这类软件的并发和非确定性给验证带来了困难.提出了一种利用统计模型检验技术分析多任务系统的功能正确性的方法.该方法构造的时间自动机模型以模块化的
5. 一种基于特征矩阵的软件脆弱性代码克隆检测方法 原文获取 
[中文期刊]   刊名:《软件学报》   PKU  ISTIC  CSCD  2015年 002期    作者:甘水滔    作者单位:数学工程与先进计算国家重点实验室
提出了一种基于特征矩阵的软件代码克隆检测方法.在此基础上,实现了针对多类脆弱性的检测模型.基于对脆弱代码的语法和语义特征分析,从语法分析树抽取特定的关键节点类型描述不同的脆弱性类型,将4种基本克隆类型
6. 同步数据流语言高阶运算消去的可信翻译 原文获取 
[中文期刊]   刊名:《软件学报》   PKU  ISTIC  CSCD  2015年 002期    作者:刘洋    作者单位:清华大学计算机科学与技术系
Lustre是一种广泛应用于工业界核心安全级控制系统的同步数据流语言,采用形式化验证的方法实现Lustre到C的编译器可以有效地提高编译器的可信度.基于这种方法,开展了从Lustre*(一种类Lust
7. 基于时间STM的软件形式化建模与验证方法 原文获取 
[中文期刊]   刊名:《软件学报》   PKU  ISTIC  CSCD  2015年 002期    作者:侯刚    作者单位:大连理工大学软件学院
状态迁移矩阵(state transition matrix,简称STM)是一种基于表结构的状态机建模方法,前端为表格形式,后端则具有严格的形式化定义,用于建模软件系统行为.但目前STM不具有时间语义
8. 设备驱动程序可靠性和正确性保障方法与技术研究进展 (被引次数:1) 原文获取 
[中文期刊]   刊名:《软件学报》   PKU  ISTIC  CSCD  2015年 002期    作者:张一帆    作者单位:南京大学计算机科学与技术系
随着计算机技术的不断发展,计算机系统在安全攸关领域得到了广泛应用,其中的软件系统正逐渐成为重要的使能部件.在计算机系统中,设备驱动程序扮演了软件与硬件设备之间桥梁的角色.由于与计算机平台、操作系统、设
9. 多处理器实时系统可调度性分析的UPPAAL模型 原文获取 
[中文期刊]   刊名:《软件学报》   PKU  ISTIC  CSCD  2015年 002期    作者:代声馨    作者单位:四川大学计算机学院
随着多处理器实时系统在安全性攸关系统中的广泛应用,保证这类系统的正确性成为一项重要的工作.可调度性是实时系统正确性的一项关键性质.它表示系统必须满足的一些时间要求.传统的可调度性分析方法结论保守或者不
10. 面向航天嵌入式软件的形式化建模方法 原文获取 
[中文期刊]   刊名:《软件学报》   PKU  ISTIC  CSCD  2015年 002期    作者:顾斌    作者单位:西北工业大学计算机学院
航天嵌入式软件是航天型号任务成败的关键之一.航天嵌入式软件是一种周期性、多模式的软件.软件的每个模式表示系统处于一定的状态,并进行相应的复杂计算.因此,提出了一种名为SPARDL的形式化建模方法.为了