Conformance testing; Timed finite state machines;
机译:使用延长有限状态机的保证故障覆盖提供测试套件
机译:使用保证故障覆盖测试定时无限制的有限状态机
机译:减少基于FSM的测试套件,并保证故障覆盖率
机译:使用超时的有限状态机提供有限状态机的测试测试
机译:协议测试层次结构,最大的故障覆盖率和故障诊断。
机译:考虑故障排除效率和错误产生的测试覆盖软件可靠性模型
机译:在有限状态机测试时,改善故障覆盖范围并最大限度地降低故障识别成本