基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
精细分析对提高关键软件的安全非常重要,并因计算量大而需要自动化.本文基于J M Voas的Fault/Failure概念模型及其PIE分析,提出一个实用的软件代码精细分析技术和工具.文中描述了软件代码精细分析的全过程,重点讲述"自动分析记录"的工作流程及执行、感染和传播这三个关键分析的概念性算法,并给出了工具的框架图解.此外还提出粒度可调思想,能调节分析的精度和范围,较好地解决了Fault/Failure模型的限制,拓展了用途.最后本文给出了一些具体的应用思路,如放置警报器、评估可靠性、配置资源、设计测试实例等,以及对面向对象软件测试的启发.
推荐文章
一种基于代码混淆的静态软件水印的方案
软件水印
数字水印
代码混淆
版权保护
爆破振动速度测试精细分析
精细分析
回归计算
振动速度图谱
一种多态内联代码混淆算法
白盒子安全
代码混淆
多态内联
有限状态自动机
一种支持SIMD指令的表驱动的代码选择技术
代码选择
树匹配和动态规划
数据流图
整数线性规划
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 一种软件代码精细分析技术
来源期刊 电子学报 学科 工学
关键词 软件测试 可测试性 缺陷传播 关键软件
年,卷(期) 2002,(z1) 所属期刊栏目 科研通信
研究方向 页码范围 2163-2165
页数 3页 分类号 TP311.5
字数 3105字 语种 中文
DOI 10.3321/j.issn:0372-2112.2002.z1.063
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 徐良贤 上海交通大学计算机系 35 551 13.0 23.0
2 唐英 上海交通大学计算机系 1 2 1.0 1.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (0)
共引文献  (0)
参考文献  (2)
节点文献
引证文献  (2)
同被引文献  (4)
二级引证文献  (2)
1994(1)
  • 参考文献(1)
  • 二级参考文献(0)
1998(1)
  • 参考文献(1)
  • 二级参考文献(0)
2002(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2014(2)
  • 引证文献(2)
  • 二级引证文献(0)
2015(1)
  • 引证文献(0)
  • 二级引证文献(1)
2018(1)
  • 引证文献(0)
  • 二级引证文献(1)
研究主题发展历程
节点文献
软件测试
可测试性
缺陷传播
关键软件
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
电子学报
月刊
0372-2112
11-2087/TN
大16开
北京165信箱
2-891
1962
chi
出版文献量(篇)
11181
总下载数(次)
11
总被引数(次)
206555
论文1v1指导