论文部分内容阅读
并发程序中时序的不确定性导致的错误很难被检测.本文介绍了一种基于并发错误模式的多线程动态测试方法,通过在并发事件处插入线程时序改变探针,发现并发错误.本文首先介绍了出现在并发程序中的几种常见的错误模式,接着根据错误模式介绍插装策略.
一种基于并发错误模式的Java并发程序动态测试方法
【摘 要】
：
并发程序中时序的不确定性导致的错误很难被检测.本文介绍了一种基于并发错误模式的多线程动态测试方法,通过在并发事件处插入线程时序改变探针,发现并发错误.本文首先介绍了
【机 构】
：
北京航空航天大学软件工程研究所
【出 处】
：
计算机工程与科学
【发表日期】
：
2006年z2期
【基金项目】
：
国家自然科学基金资助项目(60373016),武器装备预研基金项目
其他文献
武汉耀皮玻璃有限公司和秦皇岛耀华玻璃有限公司联合研制出被纳入国家863计划的两种新型玻璃——低辐射镀膜玻璃和自洁净玻璃，填补了国内空白。
《中共中央关于进—步加强中国共产党领导的多党合作和政治协商制度建设的意见》(以下简称《意见》)的颁发,是我国政治生活中的一件大事。作为地方党委,我们既要深刻领会,更
近年来,中共甘孜州委结合藏区宗教工作特点,着力从四个方面积极引导宗教与社会主义社会相适应,取得了显著成效。一、着力教育培养。甘孜州始终坚持开展寺庙爱国主义教育活动,
到西非国家塞内加尔不能不去戈雷岛。作为联合国确定的世界遗产保护区,戈雷岛既是世界著名的风景游览胜地,也是记载着一段非同寻常的血泪史的纪念地。
15年前出台的《中共中央关于坚持和完善中国共产党领导的多党合作和政治协商制度的意见》,确立了中国特色的政党制度, 从此,我国共产党领导,多党派合作的政治格局得以形成。
Palm公司推出其第一款基于微软Windows移动平台的Tero智能手机——Treo 700w。该手机可使用Verizon无线公司的蜂窝服务，还集成了对Verizon的高速EV—DO数据网络的接入功能，并增
根据中央统战部和国家教育部于1995年联合下发的《关于进一步加强高等学校统一战线工作的意见》精神,高校统战工作的主要对象是:民主党派成员,无党派高中级知识分子,台湾同胞