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

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

【摘要】

：

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

【作者】

：

龚红仿李军义邹北骥

【机构】

：

湖南大学,湖南大学

【出处】

：

计算机应用

【发表日期】

：

2005年01期

【关键词】

：

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

【基金项目】

：

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

下载到本地 , 更方便阅读

下载此文赞助VIP

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

论文部分内容阅读

其他文献

一种新的无第三方参与的买方卖方水印协议

提出了一种新的无第三方参与的买方卖方水印协议。该协议利用秘密共享和同态公钥密码体制思想,买方和卖方各随机产生部分秘密,交易时由卖方在加密的状态下将两个秘密合成一个秘密,并作为水印内容嵌入数字产品。该水印协议能很好地解决盗版追踪、消费者权益保护等问题,同时,由于没有第三方的参与,可以完全避免共谋问题的发生。

期刊

版权保护水印协议无第三方参与秘密共享copyright protection watermarking protocol without the t

专家教你科学饮水

或许你会说“谁不会喝水？”但要做到科学饮水．恐怕不是所有人能做到的，按专家的说法做吧！

期刊

一种基于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

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

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

期刊

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

开发生成性课堂提高教学的有效性

长久以来,我们的课堂大多是预设性的,教师在课前根据考纲、课标的既定目标,以教师的经验等主观意识为出发点,进行课堂预设性“设计”,并将“设计”搬到课堂上,这种教学很大程

期刊

生成性课堂教学呈现有效性主观意识学习需求预设性教师设计

如何在Android使用MTP

MTP是微软提出的一套媒体传输协议，它的前身是PTP。Android手机的SD卡以MTP模式挂载到PC上，可以带来很多好处，例如将媒体文件及时更新到数据库中等。本文将围绕MTP的使用和原理

期刊

MTP媒体文件传输协议PTPSD卡数据库微软PC

中医辨证治疗梅核气

梅核气是中医一个病名,现代医学没有梅核气这个病名。一般诊断为疑难性咽喉神经官能症、焦虑性神经官能症、官能性忧郁症,是一种中老年人尤其是中老年妇女比较常见的病症。其

期刊

中医辨证治疗梅核气焦虑性神经官能症肝气郁结型中老年人大力子柴胡疏肝散情志失调喉神经异物堵塞

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

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

期刊

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

随意形状耳前侧颌颈皮瓣在修复面部缺损的临床应用

目的探讨修复面部组织缺损的的方法。方法设计侧颌颈部窄蒂皮瓣转移修复颊面部皮肤缺损。皮辩最大11cm×8cm，最小5cmx2cm，蒂长1～5cm，蒂宽1．0—2．5cm。结果侧领部窄蒂皮辩治疗颊

期刊

侧颌颈部面部皮肤缺损皮瓣修复Lateral jaw - neck Facial tissue defect Flap Repair

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

与本文相关的学术论文