基于集合覆盖的Wp方法测试集约简方法

来源 :北京工业大学学报 | 被引量 : 0次 | 上传用户：meheaven

【摘要】

：

为了提高测试效率,提出一种基于集合覆盖的测试集约简方法.该方法对有限状态机（finite state machine,FSM）模型中经典的测试生成算法Wp方法（部分W方法）所生成的测试集进行冗余约

【作者】

：

崔玲张建标公备吴丽影

【机构】

：

.北京工业大学计算机学院,北京工业大学可信计算北京市重点实验室,北京工业大学信息安全等级保护关键技术国家工程实验室

【出处】

：

北京工业大学学报

【发表日期】

：

2016年9期

【关键词】

：

有限状态机(FSM) Wp方法集合覆盖约简 finite state machine(FSM)part of W(Wp) methodset coverin

下载到本地 , 更方便阅读

下载此文赞助VIP

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

论文部分内容阅读

为了提高测试效率,提出一种基于集合覆盖的测试集约简方法.该方法对有限状态机（finite state machine,FSM）模型中经典的测试生成算法Wp方法（部分W方法）所生成的测试集进行冗余约简.通过分析Wp方法的特点,找出测试序列之间包含关系的规律,删除冗余的测试用例.理论分析和实验结果表明：该方法能够有效约简测试集,并且不改变故障检测能力.

其他文献

基于新桥涵设计规范的小半径匝道桥抗倾覆计算影响因素分析

采用有限元模型的方法进行分析,依据武汉某高速公路项目枢纽中定向匝道桥的抗倾覆计算和支座反力计算,通过使用《公路钢筋混凝土及预应力混凝土桥涵设计规范》(以下简称18规

期刊

小半径匝道桥支座脱空抗倾覆计算有限元计算

推动水土保持监测信息化工作的思路

水土保持监测工作中充分利用信息技术,有利于提高工作效率,文章系统论述了如何推动水土保持监测信息化工作,努力推动水土保持监测信息化建设以提高监测工作效率,落实生态文明

期刊

推动水土保持监测信息化

人骨髓间充质干细胞体外成骨与成脂分化过程中FGF1及其受体表达的变化

目的研究人骨髓间充质干细胞（hBMSCs）成骨与成脂分化过程中成纤维细胞生长因子1（FGF1）及其受体（FGFRs）的动态表达，探讨FGFI在hBMSCs成骨与成脂分化过程中的作用。方法密度梯度离心法

期刊

骨髓间充质干细胞成骨分化成脂分化FGF1FGFRsbone marrow mesenchymal stem cells osteogenic diff

分子对接方法在药物发现之外领域的应用

分子对接是一个预测蛋白质与配体的结合模式和结合自由能的强有力的计算工具.该方法起源并主要应用于药物设计与研发领域,而其设计思想却可以服务于很多其他领域的研究.详细

期刊

分子对接蛋白质工程生物修复生物传感器纳米科学

基于VPN的远程数字视频监控系统架构

近年来,数字视频监控系统以其控制灵活、信息容量大、存储和检索便利等优点逐步取代了传统的模拟视频监控系统,被广泛应用于安防、监控、质检等方面。随着计算机及网络技术的

期刊

虚拟专用网(VPN)远程数字视频监控系统数字硬盘录像DVR网络视频传输

基于集合覆盖的Wp方法测试集约简方法

其他学术论文