Dissertation > Excellent graduate degree dissertation topics show

The Research on Test Case Generation Methods for Testing Syntax Analysis of Compiler Implementation

Author: YangJing
Tutor: LuYanSheng
School: Huazhong University of Science and Technology
Course: Computer Software and Theory
Keywords: compiler testing grammar coverage test case generation method syntaxanalysis
CLC: TP314
Type: Master's thesis
Year: 2013
Downloads: 4
Quote: 0
Read: Download Dissertation

Abstract


The compiler is one of the fundamental support tools for software development, which has direct impacts on the application software’s quality. Therefore, the quality of the compiler is essential. As with other software, software testing is the most important method for finding faults within a compiler and assuring its quality. As an implementation of a programming language standard, the compiler has complex input space and software behaviors. It is impossible to achieve full test coverage in compiler testing. So the core problem for compiler testing is how to generate a set of test cases with high testing effectiveness.With complex structures, the test case in compiler testing is a piece of source code written in one type of high level language. Manual test case generation is not only a heavy workload, but also difficult to guarantee adequate coverage. In order to overcome the disadvantages of manual generation, compiler testing requires automatic test case generation methods. The generated test suite should have good abilities for covering the syntactic structure and semantic properties of the programming language. Most of the existing test case generation methods for compiler testing are based on grammar coverage. Since the test coverage rules based on grammar have limited abilities to reveal the syntactic structure of the language, this paper tries to make a description of the language syntax with binary trees and generate test data by combining the syntactic units with each other. On the introduction of a parameter called "the computation path length of the syntactic unit", the whole generation process is under proper control and so is the size of the output test suite. By adjusting values of the computation path length, the devised test case generation method can generate a test suite that subsumes the counterpart from methods based on grammar coverage. This implies that the given generation method in this paper has stronger abilities for covering the syntactic structure.

Related Dissertations

  1. The Research and Implementation of Test Suite Generation for TTCN-3 Compiler,TP311.52
  2. Design and Implementation of High Integrity Safe-Compiler,TP314
  3. Design and Implementation of the Vectorizing Complier of High-Performance DSP Matrix,TP314
  4. The embedded MSDCC heterogeneous multicore compiler research,TP314
  5. Study and Implementation of Instruction Scheduling for Configurable TTA Compiler,TP314
  6. Research on Value Profile-based Optimization,TP314
  7. Matrix calculation based on scalable DSP (FT-Matrix) connector assembler Research and Implementation,TP314
  8. Fine-grained reconfigurable system for heterogeneous circulating water compiler technology research,TP314
  9. The Study on Generating Executable Test Suite Based on TTCN-3 Abstract Syntax Tree,TP314
  10. The Design and Implementation of ANTLR-Based TTCN-3 Parser,TP314
  11. Proof Generation for Certifying Compiler,TP314
  12. A Method to Generate Assertion and Proof about Assembly Language Certifying Compiler,TP314
  13. Researches on Two Important Topics of Certifying Compiler,TP314
  14. The Verilog RTL compiler-based technology automatically generated,TP314
  15. Analysis and Implementation of Key Compilation Technologies for YHFT-DSP,TP314
  16. Pre-compilation Techniques of Helper Threads for Irregular Computing,TP314
  17. A Compiler Supporting Multi-Language of Control Engineering Based on IEC61131-3,TP314
  18. Loop Transformation in Task Compiler of Reconfigurable Computing Processor,TP314
  19. Research on Implementation and Optimization of BWDSP100 Compiler,TP314
  20. Optimization on Memory Management for Just-in Time Compiler,TP314
  21. Implementing the Compiler of UDLC Based on Grid,TP314

CLC: > Industrial Technology > Automation technology,computer technology > Computing technology,computer technology > Computer software > Compiler,interpreter
© 2012 www.DissertationTopic.Net  Mobile