The paper proposes one test case gener algoritbm for partially-specified nondeterministic finite statc machine and its validity analysis.After comparing with ot
Frequent operation pattern is an important characteristics of user operation. It measures the degree of user dependencies and preferences upon the software func