We use cookies to improve your experience with our site.
Luo Gang. Generating Conformance Tests for Nondeterministic Protocol Machines[J]. Journal of Computer Science and Technology, 1994, 9(4): 289-301.
Citation: Luo Gang. Generating Conformance Tests for Nondeterministic Protocol Machines[J]. Journal of Computer Science and Technology, 1994, 9(4): 289-301.

Generating Conformance Tests for Nondeterministic Protocol Machines

  • We present a method of generating test cases from the software specifications which are modeled by nondeterministic finite state machines. It is applicable to both nondeterministic and deterministic finite state machines. When applied to deterministic machines, this method yields usually smaller test suites with full fault coverage than the existing methods that also assure full fault coverage. In particular, the proposed mehod can be used to test the control portion of software specified in the formal…
  • loading

Catalog

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return