Abstract
So far, most existing protocol test generation methods are concentrated on complete protocol test, when aiming at some specific TP (test purpose),a mount of unnecessary test cases are generated because of the limitation of these methods. In this paper a method of TTCN (Tree and Tabular Combined Notation) test case generation based on TP description is proposed, in which according to non-formal TP, MSC(Message Sequence Charts) is adopted to describe TP, SDL(Specification and Description Language) is adopted to describe protocol specification, and on the basis of MSC description and SDL model, according to MSC description characteristic and communication circumstance depicted in SDL, the TP description is mapped to TTCN test case. In this method, TP is formally described; particular test case can be generated based on formal description purposefully and under the guidance of TP without generating unnecessary test cases. The validity of this method is verified by an illustration of IP Security protocol test.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
