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

来源 :小型微型计算机系统 | 被引量 : 0次 | 上传用户：hyxh4388488

【摘要】

：

由于执行的不确定性,并发程序的测试需要验证程序执行的事件序列.定义事件之间的约束是验证事件序列合法性的前提.本文提出了一种事件约束的形式化描述方法,扩充了E-CSPE（exte

【作者】

：

卢炎生王静谢晓东毛澄映

【机构】

：

华中科技大学计算机科学与技术学院

【出处】

：

小型微型计算机系统

【发表日期】

：

2007年7期

【关键词】

：

软件测试并发程序事件约束CSPE software testing concurrent programs event sequencing constr

【基金项目】

：

湖北省自然科学基金（2005ABA256）资助.

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

由于执行的不确定性,并发程序的测试需要验证程序执行的事件序列.定义事件之间的约束是验证事件序列合法性的前提.本文提出了一种事件约束的形式化描述方法,扩充了E-CSPE（extended constraints on succeeding and preceding events）对事件排斥约束和后决约束的定义,更全面地描述了前后事件的依赖关系,并给出了基于此方法的确定性测试和非确定性测试规则.

其他文献

不结球白菜抗真菌病基因的克隆与表达分析

利用已知抗真菌蛋白基因的保守序列设计引物,获得了不结球白菜重要的抗真菌蛋白基因,为转基因研究、增强不结球白菜抗真菌病害奠定了基础。同时,利用cDNA-AFLP技术,从病原菌

学位

不结球白莱病程相关蛋白几丁质酶植物防卫素RACE

多值图像连通域标记ASIC结构设计

提出了一种能够实时实现多值图像连通域标记算法的ASIC系统结构.该器件采用基于像素的图像连通域标记算法,通过分析存储器需求,减少了片内存储器容量,以及存储器访问所需要的时钟周期数,使图像标记的总时钟数降为N×M×4,N为图像行数,M为列数.仿真结果表明,ASIC能够满足大部分实时目标识别系统的要求.

期刊

连通域标记多值图像ASIC系统结构connected component labeling multi-value image ASIC archit

从受众需求角度论电视新闻编辑的创新

【摘要】我国科学技术快速发展，人们的生活不断提高，各行各业都已经广泛应用现代科学技术，给人们的生活带来很大便利。电视新闻编辑也是传播正能量的一种有效途径，长期以来致力于还原新闻的面目，帮助人们了解了事实的真相。但是当前我国已经进入到新媒体时代，媒体也不断变得强化，这无形是给电视新闻媒体带来一定的冲击，相关工作人员应深入思考这些问题。为了提高电视新闻节目的市场份额，相关工作人员应以受众需求为出发点进

期刊

受众需求电视新闻编辑创新策略

一种基于网络业务流的流量监测分析算法

基于业务流的统计信息直接反映用户行为，最繁忙业务流获取与分析，对于网络流量分析和故障定位有指导作用。文章通过分析数据帧到来对哈希表的影响，借助一个记录表，对哈希表中的业

期刊

业务流排序网络监测traffic flow sorting network monitoring

一种MPEG2-TS时移电视系统的流定位方法

在时移电视点播系统中，其节目内容定位方法不同于普通的VOD点播系统，需要向用户提供基于绝对时间的定位方法以保证用户QoE．在分析了MPEG2-TS流的特点后，提出将帧显示时间同步到本

期刊

时移电视流定位MPEG2-TSVCR操作time-shift TV time reference method MPEG2-TS video casse

一种P2P流媒体分发调度算法在嵌入式系统中的实现

基于Coolstreaming系统设计思想，针对嵌入式系统计算能力弱存储小的特点，为减少控制信息和调度传输时间，对其交换机制以及启发式算法进行改进，提出一种适用于IPTV环境的调度算法

期刊

P2P嵌入式数据调度流媒体IPTVpeer- to- peer embedded system data scheduling media strea

杉木人工林地力衰退研究概述

介绍了我国杉木人工林地力衰退的现状,从森林土壤条件、杉木人工林的营养循环特点和人为经营措施等方面分析了导致杉木人工林地力衰退的原因,提出营建人工复层林、林地施肥、

期刊

杉木人工林地力衰退防止对策

译者行为批评视域下《大漠祭》中甘肃“乡土语言”英译对比研究

基于译者行为批评视域,本文借助“求真—务实”连续统评价模式,自建可模糊量化五个参数评价标准,对甘肃作家雪漠《大漠祭》英译本中649条“乡土语言”的求真度、务实度与译者

期刊

《大漠祭》英译乡土语言译者行为批评“求真——务实”译者行为连续统

微粒群算法在二维模糊熵图像分割中的应用

将微粒群算法和二维模糊熵阈值分割法结合,提出了一种基于微粒群和二维模糊熵的图像分割方法.该方法根据像素点灰度值和区域灰度均值所建立的二维灰度直方图,以二维模糊熵作为微粒群算法的适应度函数,利用微粒群算法搜索点灰度值和区域灰度均值所对应的模糊参数最优组合,进而确定相应的分割阈值.对几例真实目标图像的对比分割实验结果表明,该文方法性能优越,是一种有效的图像分割方法.

期刊

二维模糊熵微粒群阈值图像分割2D fuzzy entropy particle swarm optimization thresholding ima

桃过敏原基因定位及其在桃不同组织的表达

桃过敏主要由病程相关蛋白10(PR-10)、类甜蛋白(TLP)、脂质转移蛋白(LTP)和抑制蛋白(PFN)这四类过敏蛋白引起,它们的分别命名为Pru p 1.Pru p 1.02. Pru p 3和Pru p 4,在扁桃

学位

桃过敏原基因图谱定位病程相关蛋白类甜蛋白脂质转移蛋白抑制蛋白实时定量PCR基因表达

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

与本文相关的学术论文