期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
基于关键分支的不可行路径确定方法 被引量:2
1
作者 潘丽丽 邹北骥 +1 位作者 王天锷 陈浩 《北京工业大学学报》 EI CAS CSCD 北大核心 2010年第5期716-720,共5页
不可行路径增加程序复杂度和冗余度,产生无效DU链,影响程序分析工具的分析结果.有效地确定不可行路径,可以优化路径测试,完善数据流分析、程序切片等程序静态分析工具.在深入分析不可行路径的基础上,提出一种基于关键分支的不可行路径... 不可行路径增加程序复杂度和冗余度,产生无效DU链,影响程序分析工具的分析结果.有效地确定不可行路径,可以优化路径测试,完善数据流分析、程序切片等程序静态分析工具.在深入分析不可行路径的基础上,提出一种基于关键分支的不可行路径确定方法.该方法利用程序的值依赖关系和控制依赖关系、确定关键分支,通过关键分支查找不可行路径.结果表明,基于关键分支的不可行路径确定方法花费较少的信息存储,有效地节省不可行路径的确定时间. 展开更多
关键词 不可行路径 关键分支 值依赖 控制依赖
在线阅读 下载PDF
PGM可用带宽测量中包行为影响分析
2
作者 刘震宇 曾彬 +1 位作者 张玫 黎文伟 《湖南师范大学自然科学学报》 CAS 北大核心 2010年第4期36-40,共5页
PGM(Probe Gap Model)可用带宽测量方法中探测包对间隔容易受到路径上数据包传输过程中的行为特性等因素的干扰,从而造成对可用带宽的高估或低估.结合理论推导和实验分析,定量分析这些干扰因素对探测包对间隔行为特性的影响,观察这些因... PGM(Probe Gap Model)可用带宽测量方法中探测包对间隔容易受到路径上数据包传输过程中的行为特性等因素的干扰,从而造成对可用带宽的高估或低估.结合理论推导和实验分析,定量分析这些干扰因素对探测包对间隔行为特性的影响,观察这些因素与测量结果精度之间的关联规律,分析得到了一系列有价值的结论,为PGM测量工具的改进与完善提供了依据. 展开更多
关键词 可用带宽 PGM 包行为
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部