| 基于EFSM的自检测试 |
| |
| 引用本文： | 周晓煜,赵保华,屈玉贵. 基于EFSM的自检测试[J]. 小型微型计算机系统, 2002, 23(4): 438-440 |
| |
| 作者姓名： | 周晓煜 赵保华 屈玉贵 |
| |
| 作者单位： | 中国科技大学,计算机系,安徽,合肥,230027 |
| |
| 基金项目： | 国家自然科学基金重大研究计划项目(90104010)资助;国家863计划项目(2001AA112062)资助;教育部博士点基金项目(2000035802)资助;安徽省自然科学基金项目(01042208)资助. |
| |
| 摘 要： | 在 EFSM (Extended Finite State Machine)的测试中 ,通常需要一些特征序列来判断当前的状态 ,以确定是否存在转换错误 .由于 EFSM中转换可执行条件的存在 ,使这些序列的生成比较困难 .本文引入了自检测试思想 ,通过比较待测实现与从 EFSM得到的直接实现的执行结果 ,来确定是否到达了正确的状态 ,从而避免了特征序列的生成
|
| 关 键 词： | 扩展有限状态机(EFSM) 自检测试 |
| 文章编号： | 1000-1220(2002)04-0438-03 |
Self-Checking Based on EFSM Model |
| |
| ZHOU Xiao-yu,ZHAO Bao-hua,QU Yu-gui. Self-Checking Based on EFSM Model[J]. Mini-micro Systems, 2002, 23(4): 438-440 |
| |
| Authors: | ZHOU Xiao-yu ZHAO Bao-hua QU Yu-gui |
| |
| Abstract: | In the protocol testing based on EFSM model ,some special sequences are needed to determine the current state so that we can determine whether the transition faults exist.But it is difficult to generate these sequences in EFSM because of the existence of conditions of the transitions.In this paper ,the self-checking is introduced to EFSM.The current state is determined by comparing the Implementation Under Testing(IUT)and the direct implementation of EFSM.So the generation of the special sequences are not necessary. |
| |
| Keywords: | extended finite state machine (EFSM) self-checking |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
