【摘 要】
：
Java程序的并发性使它比串行程序更难测试,而可达性测试是一种有效的并发程序测试方法。首先比较了现有的Java程序可达性测试技术,进而提出了一种融合的改进方案以提高同步序
【基金项目】
：
国家自然科学基金项目(编号:60173038);广东省科学基金项目(编号:010421)
论文部分内容阅读
Java程序的并发性使它比串行程序更难测试,而可达性测试是一种有效的并发程序测试方法。首先比较了现有的Java程序可达性测试技术,进而提出了一种融合的改进方案以提高同步序列集的生成效率。然后指出新方案已覆盖了用伯恩斯坦条件裁减同步序列集的功能。最后详述如何通过扫描源程序来自动获取同步事件的时序约束关系,进而减少不可行的同步序列,并介绍了相应的实现算法和数据结构。
其他文献
随着科技的进步,一些新技术逐步应用于养猪生产,为养猪产业的发展带来了新动力。介绍养猪产业发达国家采取的养猪新技术,包括美国在母猪选育、断奶猪管理和饲养方面采用的技
<正>当头一炮人难御,浑身无处不是拳合辟刚柔顺自然,一扬一抑理循环【壹】一九三七年七月七日,卢沟桥事变爆发,枪声对于天津而言,好似给在病痛中怀了许久希望的家庭一张非常
付善明博士的《奢华与堕落—论<金瓶梅>的艺术》一书,从美学角度对《金瓶梅》进行了深入研究。围绕文本,还原了《金瓶梅》作为一部文学作品的艺术特性。此书运用叙事学理论解
本文重点阐述了项目施工过程中施工组织设计的含义、操作中存在的问题、在项目实施过程中的作用、编制时需要注意的事项、管理过程中如何运用施工组织设计指导施工等方面的内
人类文明史铭刻着性别权力关系的烙印,这些烙印集中体现在身体之上。父权文化的漫长发展进程业已形成对于女性身体的一整套价值、意义和规范,制约着人们对于性别身份、性别特
分析了典型的高速工业缝纫机主要的运动构件及其运动原理，通过Pro／E和ADAMS建立的虚拟样机。对高速工业缝纫机中最关键的机构一刺布挑线机构进行运动学和动力学的分析，通过改进
以炼钢转炉中的关键设备氧枪为研究对象 ,分析其在整个设备中的作用、工作过程以及原有设备中对氧枪定位控制的原理、实际使用中存在的缺陷 ,研究比较后在确保安全生产的前提
子宫内膜异位症(EM)是指具有生长功能的子宫内膜组织出现在子宫腔被覆内膜及子宫体肌层以外的其他部位,是育龄期妇女的常见疾病。目前EM的发病机制尚未明确,可能与子宫内膜干
对国内外教师伦理冲突的研究状况进行简单梳理,可以发现我国教师伦理冲突研究数量较少、重理论分析、轻实证探究,这在一定程度上造成我国实践中的教师伦理冲突类型状况不明确
游戏是事先设定的开创性的群体性活动,参与游戏的幼儿在整个过程中自主的接触和反应好的事物,从而习得一些好的习惯和做法。幼儿音乐游戏活动具有生动活泼的内容、丰富多彩的