基于EE—CSPE约束的并发程序测试

来源 :小型微型计算机系统 | 被引量 : 0次 | 上传用户:hyxh4388488
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
由于执行的不确定性,并发程序的测试需要验证程序执行的事件序列.定义事件之间的约束是验证事件序列合法性的前提.本文提出了一种事件约束的形式化描述方法,扩充了E-CSPE(extended constraints on succeeding and preceding events)对事件排斥约束和后决约束的定义,更全面地描述了前后事件的依赖关系,并给出了基于此方法的确定性测试和非确定性测试规则.
其他文献
利用已知抗真菌蛋白基因的保守序列设计引物,获得了不结球白菜重要的抗真菌蛋白基因,为转基因研究、增强不结球白菜抗真菌病害奠定了基础。同时,利用cDNA-AFLP技术,从病原菌
提出了一种能够实时实现多值图像连通域标记算法的ASIC系统结构.该器件采用基于像素的图像连通域标记算法,通过分析存储器需求,减少了片内存储器容量,以及存储器访问所需要的时钟周期数,使图像标记的总时钟数降为N×M×4,N为图像行数,M为列数.仿真结果表明,ASIC能够满足大部分实时目标识别系统的要求.
【摘要】我国科学技术快速发展,人们的生活不断提高,各行各业都已经广泛应用现代科学技术,给人们的生活带来很大便利。电视新闻编辑也是传播正能量的一种有效途径,长期以来致力于还原新闻的面目,帮助人们了解了事实的真相。但是当前我国已经进入到新媒体时代,媒体也不断变得强化,这无形是给电视新闻媒体带来一定的冲击,相关工作人员应深入思考这些问题。为了提高电视新闻节目的市场份额,相关工作人员应以受众需求为出发点进
基于业务流的统计信息直接反映用户行为,最繁忙业务流获取与分析,对于网络流量分析和故障定位有指导作用。文章通过分析数据帧到来对哈希表的影响,借助一个记录表,对哈希表中的业
在时移电视点播系统中,其节目内容定位方法不同于普通的VOD点播系统,需要向用户提供基于绝对时间的定位方法以保证用户QoE.在分析了MPEG2-TS流的特点后,提出将帧显示时间同步到本
基于Coolstreaming系统设计思想,针对嵌入式系统计算能力弱存储小的特点,为减少控制信息和调度传输时间,对其交换机制以及启发式算法进行改进,提出一种适用于IPTV环境的调度算法
介绍了我国杉木人工林地力衰退的现状,从森林土壤条件、杉木人工林的营养循环特点和人为经营措施等方面分析了导致杉木人工林地力衰退的原因,提出营建人工复层林、林地施肥、
基于译者行为批评视域,本文借助“求真—务实”连续统评价模式,自建可模糊量化五个参数评价标准,对甘肃作家雪漠《大漠祭》英译本中649条“乡土语言”的求真度、务实度与译者
将微粒群算法和二维模糊熵阈值分割法结合,提出了一种基于微粒群和二维模糊熵的图像分割方法.该方法根据像素点灰度值和区域灰度均值所建立的二维灰度直方图,以二维模糊熵作为微粒群算法的适应度函数,利用微粒群算法搜索点灰度值和区域灰度均值所对应的模糊参数最优组合,进而确定相应的分割阈值.对几例真实目标图像的对比分割实验结果表明,该文方法性能优越,是一种有效的图像分割方法.
桃过敏主要由病程相关蛋白10(PR-10)、类甜蛋白(TLP)、脂质转移蛋白(LTP)和抑制蛋白(PFN)这四类过敏蛋白引起,它们的分别命名为Pru p 1.Pru p 1.02. Pru p 3和Pru p 4,在扁桃