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 obje...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.展开更多
文摘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.