|
|||||
|
|
| 如何检查非确定性系统中的失败偏序关系 | |
| 引用本文： | 王海凤,张宏丽.如何检查非确定性系统中的失败偏序关系[J].内蒙古电大学刊,2003(6):46-48. |
| 作者姓名： | 王海凤 张宏丽 |
| 作者单位： | 1. 内蒙古工业大学信息工程学院,内蒙古,呼和浩特,010051 2. 内蒙古师范大学电教系,内蒙古,呼和浩特,010020 |
| 摘 要： | 一般情况下，一个协议的说明会有几个不同的协议实现。大多数确定有限状态机(DFSM)在测试时假定测试的目的是证明被测实现(IUT：implementation under test)的行为等价于协议说明中定义的行为。然而，在非确定性系统(NDS)中因为存在非确定性，测试时只能证明被测实现(IUT)与给定的说明是否具有某种实现关系。一般有几种不同层次的“实现”关系，一种新的简单的方法，可检查非确定性系统中协议实现和协议说明是否满足失败偏序关系。 |
| 关 键 词： | 非确定性系统 失败偏序 有限状态机 DFSM 测试树 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |