论文部分内容阅读
程序切片是面向对象并发程序分析、理解、测试和维护的重要手段。针对Java程序的同步和通信机制，首先介绍了一种面向对象并发程序的表示方法——多线程依赖图，然后提出利用变量缓存表分析程序语句间依赖关系的方法，根据分析结果建立多线程依赖图，并在此基础上采用两步遍历图可达性算法计算动态程序切片。
一种面向对象并发程序的动态切片方法
【摘 要】
：
程序切片是面向对象并发程序分析、理解、测试和维护的重要手段。针对Java程序的同步和通信机制，首先介绍了一种面向对象并发程序的表示方法——多线程依赖图，然后提出利用变量
【机 构】
：
苏州大学计算机科学与技术学院
【出 处】
：
苏州大学学报：工科版
【发表日期】
：
2007年3期
【基金项目】
：
基金项目：江苏省高校自然科学研究资助项目（编号05KJB520119）,重庆市自然科学基金资助项目（编号CSTC,2006BB2259）.
其他文献
由于信息不对称和委托代理目标的不同，结合博弈论及信息经济学的有关理论，建立了承包商与建设单位之间的质量管理的信号传递博弈模型，并进行了实例分析。分析结果表明，承包商所发
以较大样本数为基础,采用加权法对我国1988～2002年家养的14种茸用鹿鲜茸的茸料比进行了统计分析及选择.结果表明,3个地方品种即东北梅花鹿、东北马鹿和天山马鹿的茸料比分别为
管网漏损率是政府对供水企业的一个重要考核指标,近来随着供水范围的扩张,以及抄表到户服务的延伸,漏损率一直呈上升的态势,若不从严加强漏损率的控制管理,最终会影响供水企
针对网络教学研究与发展中存在的问题，从教学应用本质出发，剖析网络教学中知识模型的本质，以及传统知识模型对网络教学的不适应性。在此基础上，基于现代学习理论，提出一个新型知识
为探讨马鹿日粮蛋白质水平和蛋白质/代谢能比值对其产茸性能的影响,采用3个蛋白质水平(分别为Ⅰ:7.60%,Ⅱ:11.60%,Ⅲ:15.60%)日粮的单因子设计,将选出的20头健康和上年产茸量
采用高碘酸钠对棉纱线进行选择性氧化，对比研究了不同氧化条件下棉纱线和单根棉纤维的力学性能。研究结果表明，在选择性氧化过程中，棉纱线断裂强度的下降主要受单纤断裂强度下降