基于EFSM的自检测试

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

【摘要】

：

在EFSM(Extended Finite State Machine)的测试中,通常需要一些特征序列来判断当前的状态,以确定是否存在转换错误.由于EFSM中转换可执行条件的存在,使这些序列的生成比较困

【作者】

：

周晓煜赵保华屈玉贵

【机构】

：

中国科技大学

【出处】

：

小型微型计算机系统

【发表日期】

：

2002年4期

【关键词】

：

扩展有限状态机自检测试通信协议一致性测试 extended finite state machine (EFSM)self-checking

【基金项目】

：

国家自然科学基金，国家高技术研究发展计划(863计划)，高等学校博士学科点专项科研项目

下载到本地 , 更方便阅读

下载此文赞助VIP

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

论文部分内容阅读

在EFSM(Extended Finite State Machine)的测试中,通常需要一些特征序列来判断当前的状态,以确定是否存在转换错误.由于EFSM中转换可执行条件的存在,使这些序列的生成比较困难.本文引入了自检测试思想,通过比较待测实现与从EFSM得到的直接实现的执行结果,来确定是否到达了正确的状态,从而避免了特征序列的生成.

其他文献

球面虚拟空间的自由漫游

在基于图象的虚拟空间中,自由漫游是目前虚拟现实领域研究的热点.同心圆拼图法是解决这个问题比较好的方法.但是这个方法只解决了柱面投影的问题,用户在垂直方向的视域是固定

期刊

全光函数同心球拼图法虚拟现实自由漫游计算机图形学Imagebased rendering Plenoptic function Conspherica

支持不规则计算的运行库系统

本文首先采用检查者／执行者的基本方法，提出了支持不规则计算的运行库ＩＣＲＬ系统的设计方案，然后，对系统中的几个关键问题进行了解决，最后使用ＩＣＲＬ函数以结点程序给予了示例。

期刊

不规则计算运行库系统科学计算并行编译器Irregular computation Inspector Executor

糖尿病患者医院感染的特点分析及护理干预效果观察

目的：探讨糖尿病患者医院感染的特点，观察护理干预的效果。方法：对310例接受治疗的糖尿病患者的临床资料进行回顾性分析。结果：在310例糖尿病患者中有64例出现医院感染的状况，感染

期刊

糖尿病医院感染特点护理干预

王瑞辉作品

期刊

基于改进遗传算法的边缘检测阈值自动选取及其应用

针对我们设计的面向应用环境的精密装配机器人视觉系统边缘检测的阈值自动选取的问题 ,通过对传统遗传算法的改进 ,提出了一种二次搜索寻优的阈值选取策略 .通过这种改进的遗传算法进行边缘提取阈值的自动选取 ,能够显著的提高阈值选取的速度 .将其应用于我们的视觉系统 ,可以对我们的视觉系统所产生的边缘图像进行阈值的实时的自动选取 ,增强了整个视觉系统的实时性和鲁棒性

期刊

边缘检测遗传算法类间方差机器人视觉系统阈值自动选取图像处理edge detectiongenetic algorithmcomputer visi

电伴热集油流程在敖包塔作业区的应用评价及节电规律探讨

本文介绍了电伴热集油流程在敖包塔油田的应用情况，并针对敖包塔油田的实际情况，对电伴热集油流程和掺水集油流程的投资与运行成本进行对比分析，总结了电伴热集油流程这种新集输

期刊

电伴热集油流程掺水集油流程电加热管线井口电加热器

ATM网络传输控制机制研究及进展

ATM网络中的传输控制方法的研究涉及到网络中的服务质量、服务类型.已经提出了许多不同特点的控制机制,主要集中在基于许可证方案和基于速率方案的设计,随着ATM广域网应用和

期刊

传输控制拥塞控制服务类型ATM网络服务质量计算机网络ATMTraffic controlCongestion controlABR service

基于扰动方法的广义最佳鉴别矢量集求解的一种迭代算法

本文对广义最佳鉴别矢量的求解方法进行研究 ,根据矩阵的扰动理论 ,改进了郭提出的求解广义最佳鉴别矢量的一种迭代算法 ,提出了求解广义最佳鉴别矢量的一种新的迭代算法 .本文算法的一个突出优点是随着类别数目的增加 ,计算时间反而缩短 ;而老算法随着类别数目的增加计算时间随着增加 ;不仅如此 ,新算法的识别率不劣于老算法 .在 ORL人脸数据库的数值实验 ,验证了上述论断的正确性

期刊

扰动方法广义最佳鉴别矢量集求解迭代算法模式识别特征抽取人脸识别pattern recognitionfeature extractiondi

舒适护理在血液透析室整体护理中的应用价值

目的：研究对血液透析患者采用舒适护理在临床治疗上的辅助效果，旨在优化护理方式，改善护患关系，提升治疗有效性。方法：选择血液透析患者60例，将其分为对照组与观察组，每组30例。对照

期刊

舒适护理血液透析效果对比

热采砂卡井解卡技术研究

古城油田、井搂油田、杨楼油田主要以稠油热采生产为主，根据多年来现场资料综合分析判断，稠油热采井故障主要有四种类型，本文将针对稠油井砂卡进行研究。

期刊

油田四种类型技术

基于EFSM的自检测试

与本文相关的学术论文