【摘 要】
:
并发故障普遍存在于并发程序中。并发类是并发程序开发和测试的基础。死锁是常见而不易检测的并发故障。单元测试在故障检测中发挥着重要作用。因此针对死锁故障研究并发类单
论文部分内容阅读
并发故障普遍存在于并发程序中。并发类是并发程序开发和测试的基础。死锁是常见而不易检测的并发故障。单元测试在故障检测中发挥着重要作用。因此针对死锁故障研究并发类单元测试用例生成,对尽早揭示死锁故障、提高并发程序质量均有着重要的理论意义和实际应用价值。目前针对并发类单元测试的用例生成,主要有以随机方式和基于覆盖准则的测试用例生成方法,但其测试用例检测并发故障的能力和效率都不高。针对并发故障特点,分析并发类中潜在故障代码来指导测试用例生成是一种提高测试用例生成有效性的方式。本文针对并发类中的死锁故障,提出了一种基于死锁的并发类单元测试用例自动生成方法(Automatic Generation Unit Test Case For Concurrent Class Based On Deadlock,AGTBD),该方法针对并发类分析其死锁特征,并对特殊死锁给出了形参型死锁定义,然后依据并发类死锁特征进行并发类死锁分析,以找到并发类中存在潜在死锁的代码,在此基础上,结合串行单元测试用例工具Randoop进行并发类单元测试用例自动生成。为验证本文AGTBD方法的有效性,论文以java中常见的7个并发类为测试对象,应用AGTBD方法自动生成测试用例,并与随机方法和基于覆盖准则的测试用例生成方法在测试用例生成效率和死锁故障检测能力方面进行比较分析,实验结果表明AGTBD方法能够找到并发类中的潜在死锁。相比其它方法,其测试用例生成效率和死锁故障检测能力都有所提高。实验还进一步分析说明了形参型死锁对测试用例生成和死锁检测的影响,为并发程序测试用例生成和并发故障检测提供了一定借鉴。
其他文献
随着网络的普及和发展以及手机拍照技术的成熟,数字图像深入融入到人们的日常生活当中,对这些大量的数字图像做快速、准确的分类是图像处理领域的一个重要课题,而基于语义的
柴油机尾气是城市空气污染的主要来源之一,其中不仅包含大量的氮氧化物、碳氢化合物等危害气体,而且含有大量的颗粒物(PM2.5)。柴油机尾气中的颗粒物主要为柴油燃烧过程中产生
研究背景人脂肪间充质干细胞(hADSCs)的深低温保存对于开展hADSCs细胞库的建立及临床应用至关重要。然而目前仍缺乏针对hADSCs深低温保存的研究。研究目的明确深低温保存前hA
随着我国社会主义市场经济体制的逐步完善,经济发展进入新时代,企业生产经营的内外部环境发生着巨大变化。企业间的竞争不只是利润的竞争,而更多的是企业价值的竞争。国内市
由于现代雷达的使用环境越来越复杂、使用范围不断扩大,因此对雷达性能的要求也不断提高。而相对于地基雷达而言,机载雷达的可视距离更大、电磁波传播条件更有利、更灵敏。因
随着信息技术的发展,人们几乎可以在任意时间、任意地点实时地使用互联网提供的便捷服务,人与计算设备的交互越来越频繁,因此对交互的便利性、自然度也提出了越来越高的要求
国家近期出台的“高端装备制造业’十二五’发展规划”中明确提出,要把高端装备制造业培育成具有国际竞争力的国民经济支柱产业,并鼓励支持企业技术改造和兼并重组,提升核心
随着全球经济一体化和我国经济全面市场化的发展,企业与外部环境的联系越来越紧密,面临的市场竞争也越来越激烈。因此,企业也越来越重视通过供应链管理的改革来提升竞争力,树立战略采购的理念,在整合好内部资源和优势的情况下,充分地协调好、利用好外部供应市场的资源优势,积极开展战略合作,达到降低采购成本和费用,增强企业在市场中的竞争力的目标。VB公司是我国北方地区较早建立的液体化工产品仓储物流企业,在国内和国
命名数据网络(Named Data Networking,NDN)是信息中心网络(Information Centric Networking,ICN)的代表性研究方案。虽然NDN采用内置缓存技术能够降低网络带宽并提升内容传输
在计算机虚拟现实中通常采用纹理数据模拟模型和场景的表面细节,使得模型或者场景的真实感大幅提升。纹理根据其数据组织结构不同可分为二维纹理和几何纹理。其中二维纹理以