期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于构件的数据流软件可靠性模型
1
作者
徐钦桂
刘桂雄
《计算机科学》
CSCD
北大核心
2011年第7期134-138,共5页
基于构件的数据流软件由输入数据激活的构件确定程序执行路径,其可靠性受输入数据分布特性的影响,难以采用基于状态或基于路径等传统模型进行评测。提出一个结合构件执行频度和操作剖面的可靠性模型,其从分析数据流程序结构入手,通过定...
基于构件的数据流软件由输入数据激活的构件确定程序执行路径,其可靠性受输入数据分布特性的影响,难以采用基于状态或基于路径等传统模型进行评测。提出一个结合构件执行频度和操作剖面的可靠性模型,其从分析数据流程序结构入手,通过定义组合节点,将程序表示成多级层次结构的形式。根据构件间数据流和控制流关系,确定实际激活的构件,计算其执行频度,并将操作剖面沿着数据流向本层和下层构件传递。利用基于深度优先的递归算法思想,按照相反顺序,逐层估算各级组合节点的可靠性,最后获得整个软件的实际可靠性。应用实例表明,模型能有效地估算基于构件数据流软件的实际可靠性,反映输入接口有效数据就绪状态及分布特性。
展开更多
关键词
软件
可靠性
体系结构可靠性模型
数据流软件
操作剖面
在线阅读
下载PDF
职称材料
数据流相关软件故障的静态检测
被引量：
5
2
作者
张广梅
李晓维
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2005年第11期2477-2483,共7页
建立了数据流相关的软件故障模型,对应用程序中由于变量的定值与引用操作及动态内存访问过程中导致故障发生的情况进行了分析.该类故障的检测需要数据流分析的支持.基于程序控制结构的精确数据流分析方法,充分考虑了不同程序路径上变量...
建立了数据流相关的软件故障模型,对应用程序中由于变量的定值与引用操作及动态内存访问过程中导致故障发生的情况进行了分析.该类故障的检测需要数据流分析的支持.基于程序控制结构的精确数据流分析方法,充分考虑了不同程序路径上变量的定值情况,在静态分析过程中模拟了动态执行过程中到达各引用点的定值信息.根据引用-定值链建立的故障诊断规则,为有效地进行故障检测提供了依据.
展开更多
关键词
数据流
相关的
软件
故障
数据流
分析
引用-定值链
故障检测
在线阅读
下载PDF
职称材料
题名
基于构件的数据流软件可靠性模型
1
作者
徐钦桂
刘桂雄
机构
东莞理工学院计算机学院
华南理工大学机械与汽车工程学院
出处
《计算机科学》
CSCD
北大核心
2011年第7期134-138,共5页
基金
国家自然科学基金(50775077)
广东省科技计划项目(2007B010200046)资助
文摘
基于构件的数据流软件由输入数据激活的构件确定程序执行路径,其可靠性受输入数据分布特性的影响,难以采用基于状态或基于路径等传统模型进行评测。提出一个结合构件执行频度和操作剖面的可靠性模型,其从分析数据流程序结构入手,通过定义组合节点,将程序表示成多级层次结构的形式。根据构件间数据流和控制流关系,确定实际激活的构件,计算其执行频度,并将操作剖面沿着数据流向本层和下层构件传递。利用基于深度优先的递归算法思想,按照相反顺序,逐层估算各级组合节点的可靠性,最后获得整个软件的实际可靠性。应用实例表明,模型能有效地估算基于构件数据流软件的实际可靠性,反映输入接口有效数据就绪状态及分布特性。
关键词
软件
可靠性
体系结构可靠性模型
数据流软件
操作剖面
Keywords
Software reliability
Architecture-based reliability model
Dataflow software
Operational profile
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
数据流相关软件故障的静态检测
被引量：
5
2
作者
张广梅
李晓维
机构
中国科学院计算技术研究所先进测试技术实验室
出处
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2005年第11期2477-2483,共7页
基金
国家自然科学基金重点项目(90207012)
文摘
建立了数据流相关的软件故障模型,对应用程序中由于变量的定值与引用操作及动态内存访问过程中导致故障发生的情况进行了分析.该类故障的检测需要数据流分析的支持.基于程序控制结构的精确数据流分析方法,充分考虑了不同程序路径上变量的定值情况,在静态分析过程中模拟了动态执行过程中到达各引用点的定值信息.根据引用-定值链建立的故障诊断规则,为有效地进行故障检测提供了依据.
关键词
数据流
相关的
软件
故障
数据流
分析
引用-定值链
故障检测
Keywords
data-flow related software fault
data flow analysis
use-define chain
fault detection
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于构件的数据流软件可靠性模型
徐钦桂
刘桂雄
《计算机科学》
CSCD
北大核心
2011
0
在线阅读
下载PDF
职称材料
2
数据流相关软件故障的静态检测
张广梅
李晓维
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2005
5
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
