期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
数据流相关软件故障的静态检测
被引量：
5
1
作者
张广梅
李晓维
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2005年第11期2477-2483,共7页
建立了数据流相关的软件故障模型,对应用程序中由于变量的定值与引用操作及动态内存访问过程中导致故障发生的情况进行了分析.该类故障的检测需要数据流分析的支持.基于程序控制结构的精确数据流分析方法,充分考虑了不同程序路径上变量...
建立了数据流相关的软件故障模型,对应用程序中由于变量的定值与引用操作及动态内存访问过程中导致故障发生的情况进行了分析.该类故障的检测需要数据流分析的支持.基于程序控制结构的精确数据流分析方法,充分考虑了不同程序路径上变量的定值情况,在静态分析过程中模拟了动态执行过程中到达各引用点的定值信息.根据引用-定值链建立的故障诊断规则,为有效地进行故障检测提供了依据.
展开更多
关键词
数据流相关的软件故障
数据流分析
引用-定值链
故障检测
在线阅读
下载PDF
职称材料
嵌入式可编程安全相关系统软件故障控制措施及算法研究
2
作者
刘阳
刘晓东
+1 位作者
孙首群
牛道森
《计算机应用与软件》
CSCD
2015年第1期229-233,258,共6页
针对MCU安全相关系统的软件故障,开发了可编程控制系统软件故障控制措施及算法,适用于MCU内部结构故障控制和输入输出故障控制,包括CPU、可变和不可变存储器、中断、时钟及I/O接口等部件的故障控制。这些控制措施及算法经过第三方检验...
针对MCU安全相关系统的软件故障,开发了可编程控制系统软件故障控制措施及算法,适用于MCU内部结构故障控制和输入输出故障控制,包括CPU、可变和不可变存储器、中断、时钟及I/O接口等部件的故障控制。这些控制措施及算法经过第三方检验机构确认,符合IEC60730/IEC60335/UL1998/CSA.08等标准对软件故障控制的要求。这些控制措施及算法不仅适用于家用电器等低复杂度产品,也可以拓展适用于其他更高要求的产品的可编程安全相关系统的软件故障控制。
展开更多
关键词
安全相关
软件故障
控制措施
算法
在线阅读
下载PDF
职称材料
题名
数据流相关软件故障的静态检测
被引量：
5
1
作者
张广梅
李晓维
机构
中国科学院计算技术研究所先进测试技术实验室
出处
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2005年第11期2477-2483,共7页
基金
国家自然科学基金重点项目(90207012)
文摘
建立了数据流相关的软件故障模型,对应用程序中由于变量的定值与引用操作及动态内存访问过程中导致故障发生的情况进行了分析.该类故障的检测需要数据流分析的支持.基于程序控制结构的精确数据流分析方法,充分考虑了不同程序路径上变量的定值情况,在静态分析过程中模拟了动态执行过程中到达各引用点的定值信息.根据引用-定值链建立的故障诊断规则,为有效地进行故障检测提供了依据.
关键词
数据流相关的软件故障
数据流分析
引用-定值链
故障检测
Keywords
data-flow related software fault
data flow analysis
use-define chain
fault
detection
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
嵌入式可编程安全相关系统软件故障控制措施及算法研究
2
作者
刘阳
刘晓东
孙首群
牛道森
机构
上海理工大学机械工程学院
上海出入境检验检疫局
出处
《计算机应用与软件》
CSCD
2015年第1期229-233,258,共6页
基金
国家质检总局专项基金项目(2012IK098)
文摘
针对MCU安全相关系统的软件故障,开发了可编程控制系统软件故障控制措施及算法,适用于MCU内部结构故障控制和输入输出故障控制,包括CPU、可变和不可变存储器、中断、时钟及I/O接口等部件的故障控制。这些控制措施及算法经过第三方检验机构确认,符合IEC60730/IEC60335/UL1998/CSA.08等标准对软件故障控制的要求。这些控制措施及算法不仅适用于家用电器等低复杂度产品,也可以拓展适用于其他更高要求的产品的可编程安全相关系统的软件故障控制。
关键词
安全相关
软件故障
控制措施
算法
Keywords
Safety
related
software
fault
Control measurement Algorithm
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
数据流相关软件故障的静态检测
张广梅
李晓维
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2005
5
在线阅读
下载PDF
职称材料
2
嵌入式可编程安全相关系统软件故障控制措施及算法研究
刘阳
刘晓东
孙首群
牛道森
《计算机应用与软件》
CSCD
2015
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
