Dissertation > Excellent graduate degree dissertation topics show

Study and Application of Unit Testing Based on Symbolic Execution and Genetic Algorithm

Author: ZhaoHuiJuan
Tutor: SunWenHui
School: Beijing Jiaotong University
Course: Computer Science and Technology
Keywords: software testing parameterized unit test symbolic execution genetic algorithm simulated annealing algorithm
CLC: TP311.52
Type: Master's thesis
Year: 2011
Downloads: 99
Quote: 1
Read: Download Dissertation

Abstract


ABSTRACT:With the rapid development of software technology, the quality of software has been the subject of the software industry. Software testing which is an important means of guaranteeing software quality plays a vital role in the process of software development. Software testing occupies more than 50 percent of the cost in software projects. In recent years, testing has gradually become the hotspot in the software field because of its complexity and importance. Improving the efficiency and performance of software testing is of great significance for the software quality and the process of software development.This paper introduces the basic methods of software testing and the importance of automated unit testing. Also this paper describes the process of parameterized unit testing which uses the technology of symbolic execution. Symbolic execution is an importantly formal and automated analysis technique. It plays an import role in automated testing. During the development of symbolic execution, Dynamic symbolic execution is arisen because of the drawbacks of symbolic execution. While testing the program, Dynamic symbolic execution makes the actual execution and symbolic execution simultaneously. To generate test cases, we should combine the symbolic execution with constraint solver. In this paper, Pex is selected to do experiment. Pex is a parameterized unit testing software which is implemented by the technology of DSE. From the experiment, we can validate the advantages of the automated unit testing.In theory, symbolic execution can achieve absolutely code coverage. However, because of the complexity of the program, it is difficult to achieve complete coverage of the code. To address this problem, this paper describes the genetic algorithm in the field of software testing, also it describes the genetic algorithm which is combined with the simulated annealing algorithm. Finally, this paper gives an experiment of a typical example to validate the performance of the improved genetic algorithm.

Related Dissertations

  1. Development of the Platform for Compressor Optimization Design and Aerodynamic Optimization Design in the Transonic Compressor,TH45
  2. The Application of Fuzzy Comprehensive Evaluation Based on Genetic Algorithm in Vocational Evaluation of Classroom Teaching,G712
  3. Study on Taste Characteristic of Taste Peptide Enzymatic Production from Oyster Base on A Neural Network Method,TS254.4
  4. Design and Realization of the Magnetic Antenna in MW and SW Bands Based on Genetic Algorithm,TN820
  5. Research on Object-Oriented Integration Testing Method,TP311.53
  6. Citrus Image Segmentation Based on Genetic Algorithm,TP391.41
  7. Research of Scheduling Algorithm Based on Hybrid Adaptive Genetic Algorithm in Computing Grid,TP393.09
  8. Public Transport Optimal Dispatching Based on the Genetic-Newton Algorithm,TP18
  9. BP network optimization based on genetic algorithm optimization of the biodiesel process,TE667
  10. Formalization-based Methed to Generate Test Sequence of UML,TP311.53
  11. The Software Testing Technique Research of the ECDIS Based on Program Slicing,TP311.53
  12. The Research on Texture Synthesis Technology from Cloud Theory & Been Evolution Genetic Algorithm,TP391.41
  13. Research on Clustering Algorithm Based on Genetic Algorithm and Rough Set Theory,TP18
  14. Mining resources based on genetic algorithm optimization model of,O224
  15. The magnetorheological damper mechanical properties and Gun Recoil,TB535.1
  16. Optimization Study on Gating System and Molding Process Parameters of Injection Mold Based on Simulation,TQ320.662
  17. Research on the Milling Performance and Parameters Optimization with Large Parts of Heavy Machine,TG54
  18. Research of Adaptive Active Noise Control Based on Neural Network,TP183
  19. Study on Performance System for CP Software Testing Centre,F272.92
  20. The Design and Implementation of Email Analysis and Forensies System,D918.2
  21. Software Testing in Flash Ring System and Platform for China Telecom,TP311.53

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