This algorithm satisfies all the main aspects of state machine test model verification.

这个算法可以满足状态机测试的主要验证标准.

互联网

Obviously, to choose shifting time accurately is a key to realize single machine test.

显而易见, 正确地选择切换时机是实现单机测试的关键.

互联网