| Popis: |
Since the generating test cases from the specification is a difficult work, formal methods of generating test cases are being discussed in the Formal Methods in Conformance Testing(FMCT) groups. One of the real problems in generating test cases automatically is that the problem size is too big to be applied to the actual protocol. In this paper, we suggest a framework for applying test purposes in various stages of formal specification represesentation, which eventually reduces the problem size of a protocol. For this framework, we have presented three stages: extraction, formalization, and application. A GID-based method is applied to this framework. |
