摘要： The paper proposes one test case generation algorithm tor partial/y-specified nondeterministictinite state machine and its validity analysis. After comparing with other generation methods, someproblems of testing object state diagram are given.

关键词: PNFSM 测试数据 非确定性有限状态机 五元偶 迁移函数