Dissertation > Excellent graduate degree dissertation topics show

The Design and Implementation of Test Case Generating System Based on Predicate Information

Author: JiChangBin
Tutor: LiXuanDong；ChenZhenYu
School: Nanjing University
Course: Computer Science and Technology
Keywords: Random Testing Test Case Generating Adaptive Random Testing Predicate Information
CLC: TP311.52
Type: Master's thesis
Year: 2011
Downloads: 21
Quote: 0
Read: Download Dissertation

Abstract


Software testing is playing an important role in software engeering. The design and selection of test suite determin the quality of software testing. The capacity of a Test suite is measured by how many failures this test suite can inspect. The diversity between test cases needs to be maintained to detect various types of failures.The random testing is an effective method which simply generates test cases with different input values. Some random strategies, e.g. adaptive random testing, pay more attentions on this kind of difference and have been proved effective. In practice, not only the input field, but more available software information can be acquired as well. We could utilize the software information to depict the difference of test cases. Then test cases with comparatively large disparity can be selected to form the test suite. The test suite has a high probability to find software failures. The predicate information has been widely used in software verification. This paper attempts to make the predicate information to guide test case generation. Based on the predicate information, the new test case is generated. This paper also introduces some strategies which use different ways to manipulate the predicate information. The additional predicate extraction and execution process will not dramatically increase the computational overhead. The advantages are:this techneque uses two different persepectives, input domain and predicate domain. So it can detect bugs effectively. It generates test cases from the input domain. Compared to code-based test case testing methods, it can directly affect the quality of test suite. It creats an whole new perspective to depict the diversity of test cases. It makes an easy combation between predicate information and other software testing information. As the results of experiments show, test cases which are generated according to the predicate information have well error detecting capability. Furthermore, the integrated version of predicate-based strategy which combines random process and the predicate information performs better than random testing. The predicate information can be extensively used in software testing.

Related Dissertations

  1. The Research of Adaptive Random Testing,TP311.52
  2. Monte Carlo-based microprocessor instruction test platform design and implementation,TP332
  3. Invariant under the guidance of automated test case generation technology research,TP311.52
  4. The Design and Implementation of Software Testing Tool Based on Z Specification,TP311.52
  5. The Research of Boundary Effect and Operational Costs in FSCS,TP311.52
  6. Research on Market Efficiency of Chinese Natural Rubber Futures Markets and Solutions,F724.5
  7. The Application of Probability and Statistics in the Computer of Cryptography,TN918.2
  8. Circuit testing based on ant colony algorithm,TN407
  9. Based on the weight of the improved GUI testing framework research,TP311.52
  10. QoS Design and Application in the IP Bearer Network,TN915
  11. The Verification Environment of SERDES Based on Open Vera,TN407
  12. Research and Applications on Technology of Randomness Test for Analog Signals,TN918.1
  13. Study and Implementation of Random Test Program Generator for Microprocessor Verification,TP332
  14. Design and Development of Application Programme for Fault Analyzer Based on Wince Platform,TP311.52
  15. Service Model Driven Architecture (SMDA) Oriented Modeling Techniques and Tool Implemention,TP311.52
  16. The Technologies for Interoperability of Heterogeneous Enterprise Applications and Their Application in Material SCM,TP311.52
  17. The Software Component Modeling Method Based on Feature and Its Application in VMI Management System,TP311.52
  18. Development of Software Platform for Electro-Optical Test System,TP311.52
  19. Research and Implementation for Method of AUTOSAR System Modeling,TP311.52
  20. The Application of Virtual Reality Geographical Information System to Urban Design,TP311.52
  21. Grass-roots forces the day-to-day management of information systems design and implementation,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