基于FSM的测试理论、方法及评估

来源 :计算机学报 | 被引量 : 13次 | 上传用户：xia96316

【摘要】

：

为搭建基于FSM的测试方法由理论研究通往工业应用的桥梁,文中讨论了若干基于FSM模型的测试方法及其相关理论,提出构造区分序列的理论及测试序列集合冗余约简的理论,补充并实现了若干基于FSM的测试生成算法.随后文中提出了基于FSM的测试方法评估的5项量化指标,实验评估了若干基于FSM模型的测试方法,给出了一些基于FSM测试的经验建议.文中的评估有助于基于FSM的测试方法在工业中的推广.

【作者】

：

刘攀缪淮扣曾红卫刘阳

【机构】

：

上海大学计算机工程与科学学院,上海市计算机软件评测重点实验室

【出处】

：

计算机学报

【发表日期】

：

2011年06期

【关键词】

：

基于FSM的测试测试评估测试生成算法基于FSM的测试理论冗余约简

【基金项目】

：

本课题得到国家自然科学基金（60970007,61073050）、国家“九七三”重点基础研究发展规划项目基金（2007cB310800）、上海市自然科学基金（09ZR1412100）、上海市科学技术委员会（10510704900）、上海市重点学科建设项目（J50103）资助.

下载到本地 , 更方便阅读

下载此文赞助VIP

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

论文部分内容阅读

其他文献

《信息安全算法与协议》专辑前言

随着网络技术的广泛应用以及新技术和新应用的快速发展，信息安全问题越来越突出，各种防范和攻击方法不断涌现，而且很多防范和攻击方法都可以通过算法或协议来刻画．因此，《计算机学

期刊

密钥交换协议信息安全安全算法专辑学术论文攻击方法网络技术安全问题

功能性寡糖在仔猪饲料中的应用

功能性寡糖可提高动物免疫力、调节肠道微生态平衡,在仔猪饲料中应用具有十分重要的实践意义,本文就功能性寡糖在仔猪饲料中的应用进行综述.

期刊

2016年7月饲料及相关产品进出口统计

<正>~~

期刊

扩展因子预编码的两阶段CORDIC旋转算法2S-PCS

CORDIC算法常用于高效地用硬件实现向量旋转操作,如何减少迭代次数并保持扩展因子计算与补偿的简单性是算法的难点.文中提出一种表驱动的2S-PCS算法,其流水线较短且扩展因子

期刊

向量旋转CORDIC算法查找表免扩展角度重编码vector rotation CORDIC algorithm lookup table sca

基于体积语义局部二值模式的行为识别

基于视觉的行为识别是人体运动分析的重要组成,也是该领域一个富有挑战性的研究方向,因此获得广泛的关注.该文将视频中的人体行为看成由每帧轮廓图像沿时间轴堆叠而成的三维空-时体积,提出一种新颖的局部二值模式,即体积语义局部二值模式(VSLBP),用于提取空-时体积中的有效低维特征,通过计算测试序列与已标记的行为训练集特征间的最近卡方距离得到其所属行为类别.在行为库"Weizmann"上实验结果表明,该文

期刊

行为识别局部二值模式语义局部二值模式体积局部二值模式action recognition local binary patterns semanti

我国青绿饲料生产与应用的研究进展

随着我国畜牧业的迅速发展,饲料资源的短缺,合理开发利用青绿饲料显得尤为重要。本文就我国青绿饲料的利用现状及研究进展情况进行综述,拟为今后该领域的相关研究提供参考。

期刊

青绿饲料饲料资源牧草青贮

分簇VLIW结构下利用数据依赖图优化调度的研究

应用的需求促使如今的处理器必须尽可能高地利用程序中所存在的指令级并行度，然而，高指令级并行的硬件和指令调度技术会给寄存器资源带来极大的压力．要在单一寄存器堆的情况下，既

期刊

分簇VLIW结构数据依赖图指令调度簇间数据交互clustered VLIW architectures data dependence graph

一种有效显示隐藏特征的光线投射算法

提出了一种有效显示隐藏特征的光线投射算法,无需调节复杂的传输函数,便可以有效地显示光线方向上被遮挡的感兴趣的特征.在沿光线方向遍历的过程中,采用低通滤波对光线上采样点的标量值进行平滑,以获得不受噪声干扰的、准确的特征点;根据特征点的深度信息调整当前最大的标量值,以获得能够满足隐藏特征显示的当前最大标量值;计算最大标量差,调整不透明度和颜色的累加值,以提高隐藏特征的可见性.实验结果表明,文中算法相对

期刊

体绘制光线投射隐藏特征最大标量差volume rendering ray casting occluded feature maximum int

氢化物发生-原子荧光光谱技术在饲料检测中的分析和应用

本文综述了氢化物发生-原子荧光光谱技术产生的技术背景和原子荧光测定元素时应掌握的技术要点,并结合饲料样品检测分析,重点论述了利用原子荧光光谱技术测定样品中Pb、As、S

期刊

原子荧光光谱氢化物发生饲料检测氢化反应荧光测定硼氢化钾饲料级铅标准溶液预混合饲料硝酸介质

有限域上高效的细粒度数据完整性检验方法

基于交叉检验思想的细粒度数据完整性检验方法在实现完整性检验的同时可以对少数错误进行准确和高效的隔离,从而避免因偶然错误或个别篡改造成整体数据失效的灾难性后果.针对

期刊

计算机取证HASH数据完整性组合编码有限域computer forensics hash data integrity combinatoria

基于FSM的测试理论、方法及评估

其他学术论文