Dissertation > Excellent graduate degree dissertation topics show

Design and Implementation of a Concolic-Testing Tool

Author: JiangSiYuan
Tutor: PuGeGuang
School: East China Normal University
Course: Computer Software and Theory
Keywords: Symbolic execution Automated testing White-box testing
CLC: TP311.52
Type: Master's thesis
Year: 2012
Downloads: 165
Quote: 0
Read: Download Dissertation

Abstract


Software failures bring more and more economic damage nowadays while software becomes widely used in almost every industry. For avoiding software failures at most, software testing is a critical and comparatively easy way to achieve this goal. In high-confidential area, software is failure-intolerant. Therefore, white-box testing, which is based on software code, is more widely used in high-confidential area. As human re-sources are more and more expensive these years while white-box testing criteria are more and more complex and hard to achieve, automatic or semi-automatic white-box testing toolkits are needed badly. In order to automatically processing white-box testing, testing toolkits need to automatically generate test-inputs based on codes under test.Symbolic execution was proposed to deal with this situation. It sees input vari-ables as symbols and collects branch expressions when it simulates the execution. These branch expressions can be used as inputs’constraints which help to generate inputs for white-box testing. However, it is hard for symbolic execution to test real-world programs because the constraints that it extracted from real-world programs are mostly too compli-cated to solve in a reasonable time.In order to relieve this problem, dynamic symbolic execution was proposed. Dynam-ic symbolic execution uses real values of variables to simplify the constraints. To make dynamic symbolic execution more effective for white-box testing, this paper presents three ways to increase the efficiency of dynamic symbolic execution:adding coverage algorithm into dynamic symbolic execution; optimizing constraint-processing algorithm for pointers and offsets; expanding data-generation algorithm for dynamic test inputs set. This paper describes and discusses the design and implementation of a testing toolkit, CAUT, which is based on dynamic symbolic execution. This paper also describes the three algorithms in detail, and tests the toolkit and shows the efficiency of the three algo-rithms.

Related Dissertations

  1. The Design and Implementation of Dynamic Testing Framework Against Gateway GPRS Support Node,TP311.52
  2. The Design and Implementation of A VM-based Automated Test System,TP311.52
  3. For enterprise-class application system test model research and application,TP311.52
  4. Process Engine based automated testing for Web Services Research,TP311.52
  5. Automated test packet transmission network management interface testing application,TP311.52
  6. SAFFRON based automated testing framework for QTP research,TP311.52
  7. SmartSAR kernel automated testing tools Design and Implementation,TP311.52
  8. Based on the binary code of the dynamic symbolic execution tool,TP309
  9. PTC starter integrated parameter test methods Research and Implementation,TH87
  10. Based on dynamic symbolic execution of code analysis tools for research,TP309
  11. The Technology of Automated Test and the Realization of the Platform Automated Testing Schemes on Mobile Terminals,TP311.52
  12. The Study and Application of Establishment of Software Testing Environment for Telecom Network,TP311.52
  13. Research on Dynamic Generation of Fuzzing Test Cases Based on Symbolic Execution,TP393.08
  14. Use KEmulator to Carry Out the Mobile Telephone Game Software Automation Testing,TP311.52
  15. A Study of Automatic Testing in Web-oriented System,TP311.52
  16. Design and Implementation of Automated Test Tool for IBM Filenet,TP311.52
  17. Design and Implementation of Automated Test Tool for IBM Filenet,TP311.52
  18. Research and Realize of Automated Testing System Based on STAF,TP311.52
  19. Binary code security analysis,TP311.1
  20. Reverse Static Analysis of Executable Program Guided by Sematic Analysis of Versions,TP311.53
  21. Design and Implementation of Function Test Tool for E-Business Product Commerce,TP311.52

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