唯一输入输出序列相关论文
状态测试的首要问题就是从大量的状态组合中挑选针对典型的错误能够最为有效和最为优化的测试序列。A．V．Aho等人提出了使用中国邮路......
在以扩展有限状态机（EFSM）为模型描述的协议一致性测试系统中，为了解决状态验证序列的可执行性问题，提出了一种新的可执行状态验证序列......
安全苛求系统仿真测试中,安全通信协议测试是重要的组成部分,而完备有效的测试序列生成是安全通信协议测试中的关键。面向安全需求......
铁路信号安全协议（RSSP．I）是实现高速铁路安全运行的保障，协议一致性测试的核心是生成完备有效的测试序列。针对铁路信号安全协议的实......
为解决传统的UIO（唯一输入输出）序列方法中使用的UIO搜索树规模过于庞大的问题，分析了UIO树的构造过程，并结合LANG算法提出的一系列的......
在通信协议的一致性测试中,寻找一条简洁高效的测试序列是关键工作之一.基于FSM模型的协议一致性测试,提出一种新的UIO序列生成方......
