论文部分内容阅读
The paper proposes one test case gener algoritbm for partially-specified nondeterministic finite statc machine and its validity analysis.After comparing with other generation methods, some problems of testing obict state dlagram are glven.