关于有限状态机的UIO测试用例生成器

请诸位大神帮忙编写一下UIO的生成算法，我实在不知道如何编写，多谢了