Dissertation > Excellent graduate degree dissertation topics show

Research on Optimizing Test Techonolgy of IPSec Protocol

Author: MaYan
Tutor: ZhuYueFei
School: PLA Information Engineering University
Course: Computer Software and Theory
Keywords: IPSec Protocol Conformance Testing Formal Description Test Suite Optimization Test Procedure Optimization
CLC: TP311.52
Type: Master's thesis
Year: 2010
Downloads: 34
Quote: 0
Read: Download Dissertation

Abstract


To ensure the products of IPSec protocol can provide the security services they claimed, the IUTs need test. At present, IPSec protocol conformance testing has some problems such as the coverage of test suite is not complete; test sequence has redundancy and so on. To solve these problems, in this thesis, optimization on IPSec protocol test techonology has been studied.Firstly, on the basis of study on formal description technique, FSM is adopted as the formal model to describe IPSec protocol. BUIO method is adopted to generate test sequences. Generating test sequence based on FSM model can ensure the completeness by making the complete transformation of the model; then equivalence class partition method and boundary value analysis method are adopted to choose test parameters which can ensure the completeness of value choosing as much as possible. Meanwhile, the test sequences generated by BUIO method reduced the redundancy part of test sequences generated by UIO methods. Secondly, test process optimization is studied which is aimed at problems such as the low efficiency of test case execution, and the real coverage is not achieved which are caused by ignoring the relation between test cases. On the basis of research on the characteristics of IPSec, a hierarchy-based process optimization method has been proposed in this thesis to solve the two problems.At the same time, a promotion method of the IPSec hierarchy-based process optimization method has been proposed which can apply to common protocol test procedure optimization.Finally, Test platform is constructed and test practice is carried out, which proved the validation of the test suite optimization and test procedure optimization.

Related Dissertations

  1. Research on Formal Representation and Decision Theoretic Planning of Emergency Plan,N945.1
  2. Design and Parse of Formal Specification Language for Security Protocols,TP393.08
  3. Research on Extended Role Graph Model Based on Hybrid Hierarchy,TP393.08
  4. The Study of Key Technologies for Evaluating WLAN Security Protocols,TN925.93
  5. Optimization run closed-loop control system design based on the the coking production process of performance evaluation,TP273
  6. Reasearch and Development on Auto Test System for MODBUS Protocol,TP274
  7. Design and Implementation of Automatic Marking System Based on XML,TP311.52
  8. The Study of Conformance Testing of WLAN Security Access Protocols,TN925.93
  9. Research on Approaches for Auto-generation of Simulation Model Component,TP311.52
  10. Research on Formalized Solution of Product Conceptual Design Integrated TOC/TRIZ/Fuzzy,TB472
  11. The Research and Implementation of Object-based Comprehensive Security Policy Configuration Technology,TP393.08
  12. Modeling and Analysis of SCTP Association Management Using Colored Petri Net,TP393.04
  13. Research and Implementation of Anti-R/Bootkit Based on Behavior Detection,TP311.11
  14. Routing protocol conformance testing,TN915.04
  15. Research on Algorithm of IPSec Security Policy Conflicts Detection,TP393.08
  16. Framing members using the technology of XML and B / S mode, the automatic generation of MIS procedures,TP311.52
  17. A Protocol Driving Communication Technology,TP393
  18. Study on an Embedded VPN Gateway for WLAN,TN925.93
  19. Formal description of the software architecture,TP311.52
  20. Theoretical Studies on Ontology-Based Information System Modeling,G202

CLC: > Industrial Technology > Automation technology,computer technology > Computing technology,computer technology > Computer software > Program design,software engineering > Software Engineering > Software Development
© 2012 www.DissertationTopic.Net  Mobile