基于事件消息驱动的Petri网的类族测试用例生成技术的研究

来源 :计算机应用 | 被引量 : 8次 | 上传用户：wenliang729

【摘要】

：

在类族交互测试的正交阵列测试系统(OATS)生成测试用例的方法中,存在类的状态盲目组合而导致测试用例"爆炸"以及标准正交阵列不易扩充的问题。提出了基于EMDPN的类的状态组合的标记关联递推算法,通过类族之间的层次级别与状态级别的优选组合产生交互路径,在证明生成交互路径数定理的基础上,得到了基于EMDPN模型的扩展的正交阵列测试系统(EOATS)的类族交互测试用例的生成方法,优化OATS。在讨论类族

【作者】

：

龚红仿李军义邹北骥

【机构】

：

湖南大学,湖南大学

【出处】

：

计算机应用

【发表日期】

：

2005年01期

【关键词】

：

类族交互测试测试用例生成事件消息驱动Petri网扩展的正交阵列测试系统标记关联递推法同步消息序列测试覆盖标准 classes interactio

【基金项目】

：

国家高技术研究发展计划(863计划)，中国科学院软件研究所计算机科学重点实验室基金

下载到本地 , 更方便阅读

下载此文赞助VIP

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

论文部分内容阅读

其他文献

一种基于H．264与近邻预测的无损视频压缩H．264-LS

提出了一种无损视频压缩方案H.264-LS。该方案为适应无损压缩的需要,根据运动补偿后残差系数的特点,使用了一种二维近邻预测技术以取代H.264原有的变换。实验测试结果表明,该算法的整体表现要优于现有的一些无损视频压缩方案,特别是对于运动量大的视频序列优越性很突出。

期刊

H.264无损压缩近邻预测H. 264 lossless compression neighbor prediction

USP22及其可能靶点在结直肠癌中的表达研究

目的探讨USP22及其可能靶点在大肠癌组织中的表达及意义。方法应用RTPCR方法检测82例大肠癌组织中USP22及其可能靶点的mRNA表达情况。结果 USP22 mRNA的表达与BMI-1 mRNA(r=0

期刊

USP22结直肠癌转移USP22Colorectal cancerMetastasis

语文教学中培养学生批判性思维的途径

随着我国国民经济的发展，社会各界对于我国教育事业，特别是高中阶段的语文教育环节的关注程度越来越高。现阶段我国高中语文的阅读教学与写作教学环节中，主要重视基础知识与解题技能等方面的训练，容易忽视学生独立思考能力以及批判性思维的养成，此种教学模式不利于学生未来的可持续性发展。因此，如何在高中语文教学阶段培养学生的批判性思维是我国教育工作者的工作重点之一。　　一、在高中语文阅读教学环节培养学生的批判性思

期刊

批判性思维语文教学学生培养独立思考能力可持续性发展教育工作者国民经济

一种适用于视频监控系统的快速模式选择算法

针对当前模式选择中复杂性较高的问题,分析了视频监控序列图像模式选择情况,总结出了视频监控序列模式选择中存在大量SKIP模式和16×16模式的特点,并根据此特点,提出了一种SKIP模式和16×16模式的预判方法。又针对运动宏块候选模式过多的问题,结合视频监控序列部分模式使用率较低的特点,提出了一种部分模式预排除方法。实验结果表明,对于视频监控序列图像,该快速模式选择算法可以在视频质量几乎没有损失的前

期刊

视频监控H.264快速模式选择video surveillance H. 264 fast mode decision

基于事件消息驱动的Petri网的类族测试用例生成技术的研究

其他学术论文