|
|
计算机科学 2000
RcscArch on Test Casc Ceneratlortion for PNFSM
|
Abstract:
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.
