收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

程序概率依赖性分析技术研究

余斌  史亮  钱巨  
【摘要】:现有程序依赖性分析技术单独考虑数据依赖与控制依赖,忽略了两者之间的联系,不利于提高分析的精度。提出了概率依赖性的概念,分析各种过程内与过程间依赖性的概率,并提出概率系统依赖图的概念及其构建方法。这种方法可以比较精确地分析程序行为,在程序理解、软件测试以及软件重构等方面有着较好的应用前景。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 付东来;陈够喜;杨秋翔;;基于XML文档切片的隐秘通信[J];计算机应用与软件;2011年09期
2 ;[J];;年期
3 ;[J];;年期
4 ;[J];;年期
5 ;[J];;年期
6 ;[J];;年期
7 ;[J];;年期
8 ;[J];;年期
9 ;[J];;年期
10 ;[J];;年期
11 ;[J];;年期
12 ;[J];;年期
13 ;[J];;年期
14 ;[J];;年期
15 ;[J];;年期
16 ;[J];;年期
17 ;[J];;年期
18 ;[J];;年期
19 ;[J];;年期
20 ;[J];;年期
中国重要会议论文全文数据库 前9条
1 余斌;史亮;钱巨;;程序概率依赖性分析技术研究[A];中国造船工程学会电子技术学术委员会2006学术年会论文集(上册)[C];2006年
2 王鹏飞;张大方;缪力;;包含异常处理的Java程序切片[A];第三届中国测试学术会议论文集[C];2004年
3 蒋曹清;张大方;缪力;;一种回归测试后的错误定位方法[A];第三届中国测试学术会议论文集[C];2004年
4 李征;赵瑞莲;;基于领域的程序切片准则的依赖性分析[A];第五届中国测试学术会议论文集[C];2008年
5 黄光燕;李晓维;;软件的变量完整性测试方法[A];全国第13届计算机辅助设计与图形学(CAD/CG)学术会议论文集[C];2004年
6 李卷孺;谷大武;陆海宁;;二进制代码隐秘功能的安全性验证[A];全国计算机安全学术交流会论文集(第二十三卷)[C];2008年
7 郑文荣;王树宗;刘刚;;软件逆向工程应用研究[A];全国第19届计算机技术与应用(CACIS)学术会议论文集(下册)[C];2008年
8 戈倩;高建华;;一种定位面向对象软件中回归测试错误的方法[A];第五届中国测试学术会议论文集[C];2008年
9 王建文;林锦贤;;面向构件的软件版本管理模型[A];第二十一届中国数据库学术会议论文集(技术报告篇)[C];2004年
中国博士学位论文全文数据库 前10条
1 姜淑娟;异常传播分析技术及其应用研究[D];东南大学;2006年
2 李暾;VLSI RTL级模拟矢量自动生成技术研究[D];国防科学技术大学;2003年
3 张艳梅;基于依赖性分析的面向对象程序测试技术研究[D];中国矿业大学;2012年
4 赵云山;基于符号分析的静态缺陷检测技术研究[D];北京邮电大学;2012年
5 郭德贵;ATLAS语言指称语义及程序分析技术[D];吉林大学;2007年
6 余金山;模型驱动的SoC系统级功能验证关键技术研究[D];国防科学技术大学;2007年
7 韩毅;社会网络分析与挖掘的若干关键问题研究[D];国防科学技术大学;2011年
8 史亮;测试数据自动生成技术研究[D];东南大学;2006年
9 陶红伟;基于属性的软件可信性度量模型研究[D];华东师范大学;2011年
10 曹涌;基于分形的软件可靠性模型和程序证明的数学机械化[D];电子科技大学;2010年
中国硕士学位论文全文数据库 前10条
1 黄文伟;C程序文件间依赖性分析[D];东南大学;2004年
2 王玉宝;基于Q学习的复杂程序动态分析技术[D];东南大学;2005年
3 孙纪玮;基于程序切片的电子海图系统软件测试技术研究[D];哈尔滨工程大学;2011年
4 时武略;基于程序切片的Java多态性研究[D];东北大学;2009年
5 黄超;基于程序切片的Ada程序模型检测研究[D];南京航空航天大学;2012年
6 余斌;Java程序分层及概率依赖性分析[D];东南大学;2006年
7 张红英;基于AspectJ的Java程序切片系统的设计与实现[D];西安电子科技大学;2005年
8 苏瑞;基于程序切片的数据库变更影响分析系统的设计与实现[D];北京邮电大学;2011年
9 林科学;软件测试/调试技术应用研究[D];南京气象学院;2004年
10 黄山;基于动态二进制程序切片技术的软件攻击诊断[D];上海交通大学;2012年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978