收藏本站
《计算机研究与发展》 2002年02期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

一种并发程序依赖性分析方法

陈振强  徐宝文  
【摘要】:并发程序的依赖性分析是并发程序分析、理解、调试、测试和维护的重要手段 .由于并发程序执行的不确定性 ,目前 ,尚有很多难点有待解决 .针对 Ada任务机制 ,首先提出了一种简洁、有效的并发程序表示方法——并发程序流图 ,然后讨论了由任务间同步引起的同步依赖和由访问共享变量引起的任务间数据依赖 ,建立了并发程序依赖图 ,并在此基础上给出了一种有效的并发程序依赖性分析算法 ,得到一个比较精确的依赖集 ,较好地解决了并发程序依赖关系不可传递性问题

【引证文献】
中国期刊全文数据库 前3条
1 王玉宝,史亮,徐宝文;基于Q学习的复杂程序动态依赖性分析[J];计算机与数字工程;2005年02期
2 易彤,吴方君;一种基于覆盖测试的动态切片的计算方法[J];应用科学学报;2004年02期
3 吴方君,易彤;基于依赖性分析的UML类图粗粒度切片方法[J];应用科学学报;2004年03期
中国硕士学位论文全文数据库 前7条
1 汪春昭;软件测试Rough Set模型研究[D];大连交通大学;2007年
2 李双权;一种Java多线程可达性测试框架系统的研究和实现[D];暨南大学;2003年
3 黄文伟;C程序文件间依赖性分析[D];东南大学;2004年
4 王鹏飞;包含异常处理的Java程序切片研究[D];湖南大学;2005年
5 曾奕;并发程序调试的追踪/重演机制研究[D];东南大学;2005年
6 左赋斌;基于重放的并发程序调试技术研究[D];东南大学;2005年
7 王玉宝;基于Q学习的复杂程序动态分析技术[D];东南大学;2005年
【参考文献】
中国期刊全文数据库 前1条
1 杨洪,徐宝文;PSS/Ada程序切片系统的设计与实现[J];计算机研究与发展;1997年03期
【共引文献】
中国期刊全文数据库 前8条
1 胡顺仁,蒋西明,周登义;面向对象系统的回归测试研究[J];重庆工学院学报;2005年05期
2 李必信,郑国梁,王云峰,李宣东;一种分析和理解程序的方法──程序切片[J];计算机研究与发展;2000年03期
3 杨洪,徐宝文;PSS/Ada程序切片系统的设计与实现[J];计算机研究与发展;1997年03期
4 胡顺仁,王铮,邓毅;基于UML构造回归测试依赖集[J];计算机工程与应用;2003年05期
5 徐宝文 ,张挺 ,陈振强;递归子程序的依赖性分析及其应用[J];计算机学报;2001年11期
6 王玉宝,史亮,徐宝文;基于Q学习的复杂程序动态依赖性分析[J];计算机与数字工程;2005年02期
7 叶延风,林钧海,秦小麟;一个C程序切片系统的设计与实现[J];南京航空航天大学学报;1996年04期
8 李必信 ,刘小东 ,郑滔 ,李宣东 ,郑国梁;一种面向对象程序的分层切片方法[J];软件学报;2001年12期
中国博士学位论文全文数据库 前1条
1 姜淑娟;异常传播分析技术及其应用研究[D];东南大学;2006年
中国硕士学位论文全文数据库 前7条
1 马亮;面向对象程序动态切片系统的研究与实现[D];南京航空航天大学;2007年
2 胡顺仁;基于UML构建面向对象系统的依赖性研究[D];重庆大学;2002年
3 黄文伟;C程序文件间依赖性分析[D];东南大学;2004年
4 杜林;面向对象程序切片技术及其在软件度量中的应用[D];山东大学;2006年
5 余斌;Java程序分层及概率依赖性分析[D];东南大学;2006年
6 王玉宝;基于Q学习的复杂程序动态分析技术[D];东南大学;2005年
7 王智学;一种小型面向对象语言的程序分片技术[D];吉林大学;2007年
【同被引文献】
中国期刊全文数据库 前10条
1 黄显明,易继锴;Rough集理论发展现状与应用前景[J];北京工业大学学报;2005年01期
2 杨明,倪魏伟,孙志挥;一种新颖的最小属性约简模型[J];东南大学学报(自然科学版);2004年05期
3 苗夺谦,胡桂荣;知识约简的一种启发式算法[J];计算机研究与发展;1999年06期
4 于洪,杨大春,吴中福,李华;基于信息熵的一种属性约简算法[J];计算机工程与应用;2001年17期
5 徐中伟,吴芳美;软件测试质量的度量[J];计算机工程与应用;2002年21期
6 胡斐,张峰筠,刘少辉;一种基于Rough集的属性值约简算法[J];计算机工程与应用;2003年31期
7 王光明,魏长华;基于布尔函数的Rough集差别矩阵属性约简方法[J];计算机工程与应用;2005年11期
8 马光志;吴黎明;;基于粗糙集理论的一种属性约简算法[J];计算机工程与应用;2006年18期
9 林嘉宜,彭宏,郑启伦;一种新的基于粗糙集的值约简算法[J];计算机工程;2003年04期
10 杨振峰,郭景峰,常峰;一种基于粗集的值约简方法[J];计算机工程;2003年09期
中国硕士学位论文全文数据库 前5条
1 孙惠杰;软件测试研究及其应用[D];哈尔滨工程大学;2003年
2 孙晶晶;基于粗糙集理论的决策表属性约简与规则约简算法研究及相关应用[D];中国人民解放军信息工程大学;2005年
3 阙夏;连续属性离散化方法研究[D];合肥工业大学;2006年
4 蒋瑜;粗集决策表属性约简算法的研究[D];兰州大学;2006年
5 邹艳;粗糙集理论在不完备信息系统知识获取中的应用研究[D];重庆师范大学;2006年
【二级引证文献】
中国期刊全文数据库 前1条
1 周晓宇,黄文伟,史亮,徐宝文;C程序单元级依赖性分析[J];计算机与数字工程;2004年06期
中国重要会议论文全文数据库 前1条
1 王磊;马建红;樊世燕;周华;辛政华;;基于程序切片的可达路径选择的研究[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集(上册)[C];2008年
中国硕士学位论文全文数据库 前7条
1 孙洪浩;基于切片技术的软件理解辅助系统设计与实现[D];大连理工大学;2007年
2 王曦;基于依赖性分析的UML状态图切片在回归测试中的应用[D];华中科技大学;2006年
3 吴渝;基于.NET架构的多线程组件技术研究与应用[D];重庆大学;2005年
4 余斌;Java程序分层及概率依赖性分析[D];东南大学;2006年
5 王玉宝;基于Q学习的复杂程序动态分析技术[D];东南大学;2005年
6 肖波;通讯系统嵌入式平台下的单元测试技术研究[D];华东师范大学;2006年
7 杜林;面向对象程序切片技术及其在软件度量中的应用[D];山东大学;2006年
【相似文献】
中国期刊全文数据库 前10条
1 隆永红;;DDBMS中并发控制算法的计算机模拟分析[J];计算技术与自动化;1990年01期
2 徐宝文;一种逆向程序流依赖性分析方法及其应用[J];计算机学报;1993年05期
3 杨洪,徐宝文;PSS/Ada程序切片系统的设计与实现[J];计算机研究与发展;1997年03期
4 徐宝文 ,张挺 ,陈振强;递归子程序的依赖性分析及其应用[J];计算机学报;2001年11期
5 陈振强,徐宝文;一种并发程序依赖性分析方法[J];计算机研究与发展;2002年02期
6 钟晓桢;Ada语言可并行成分的自动识别[J];江汉大学学报(自然科学版);2002年03期
7 陈振强,徐宝文;一种基于依赖性分析的类内聚度度量方法[J];软件学报;2003年11期
8 吴方君,易彤;基于依赖性分析的UML类图粗粒度切片方法[J];应用科学学报;2004年03期
9 李建平,郑国勤,陈宏伟;基于依赖性分析的企业级组件集成框架[J];计算机集成制造系统-CIMS;2004年S1期
10 周晓宇,黄文伟,史亮,徐宝文;C程序单元级依赖性分析[J];计算机与数字工程;2004年06期
中国重要会议论文全文数据库 前1条
1 余斌;史亮;钱巨;;程序概率依赖性分析技术研究[A];中国造船工程学会电子技术学术委员会2006学术年会论文集(上册)[C];2006年
中国博士学位论文全文数据库 前2条
1 姜淑娟;异常传播分析技术及其应用研究[D];东南大学;2006年
2 史亮;测试数据自动生成技术研究[D];东南大学;2006年
中国硕士学位论文全文数据库 前5条
1 黄文伟;C程序文件间依赖性分析[D];东南大学;2004年
2 余斌;Java程序分层及概率依赖性分析[D];东南大学;2006年
3 解凯;构件系统回归测试模型与技术研究[D];东南大学;2006年
4 郭红;JC集团公司并购整合模式研究[D];北京交通大学;2006年
5 王玉宝;基于Q学习的复杂程序动态分析技术[D];东南大学;2005年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026