| 非确定部分有限状态机的一种新的一致性关系及其测试 |
| |
| 引用本文： | 向培素,田珂,田野.非确定部分有限状态机的一种新的一致性关系及其测试[J].西南民族学院学报(自然科学版),2007,33(6):1382-1387. |
| |
| 作者姓名： | 向培素 田珂 田野 |
| |
| 作者单位： | 西南民族大学电气信息工程学院 四川成都610041(向培素)，中兴通讯成都研究所 四川成都610041(田珂)，香港中文大学计算机学院 香港230027(田野) |
| |
| 摘 要： | 在系统实际测试过程中,发现非确定部分有限状态机的模型可以方便地描述和刻画许多系统的逻辑行为.但在这种模型下,状态机并非完全接受所有的输入序列,且在某些输入序列上会产生不确定的输出序列,所以,经典的完全确定有限状态机的一致性定义,即被测实现和协议规范等价,不适用于非确定部分有限状态机.本文引入了一种新的一致性定义,并在非确定部分有限状态机下,给出了该一致性定义下完备的测试序列生成方法.
|
| 关 键 词： | 非确定有限状态机 部分有限状态机 协议一致性测试 协议工程 |
| 文章编号： | 1003-2843（2007）06-1382-06 |
| 收稿时间： | 2007-06-20 |
| 修稿时间： | 2007年6月20日 |
A New conformance relation and testing for partial-specified nondeterministic finite state machines |
| |
| XIANG Pei-su,TIAN Ke,TIAN Ye.A New conformance relation and testing for partial-specified nondeterministic finite state machines[J].Journal of Southwest Nationalities College(Natural Science Edition),2007,33(6):1382-1387. |
| |
| Authors: | XIANG Pei-su TIAN Ke TIAN Ye |
| |
| Abstract: | In the practical process of system test,we discover that the model of partial-specified and nondeterministic finite state machine(PNFSM) model can expediently describe and depict the logic behavior of many systems. On the basis of this model,the machines do not accept all the inputs,and on the same input sequence,the machine may produce different output sequences. Due to these properties,the classical conformance relation for complete-specified deterministic finite state machine (CFSM),that is,equivalence,is not suit able for testing. In this paper,we will introduce a new conformance relation for partial-specified and nondeterministic finite machines,and we will provide a testing method,which generates a test suit of full fault coverage. |
| |
| Keywords: | nondeterministic finite state machine partial-specified finite state machine protocol conformance testing protocol engineering |
| 本文献已被 CNKI 维普 等数据库收录！ |
|
