Dissertation > Excellent graduate degree dissertation topics show

Design and Implementation of High Integrity Safe-Compiler

Author: ShenRuiFen
Tutor: HuangChun
School: National University of Defense Science and Technology
Course: Computer Science and Technology
Keywords: Security compiler Safe Subsets Compiler testing Expression Testing
CLC: TP314
Type: Master's thesis
Year: 2007
Downloads: 112
Quote: 1
Read: Download Dissertation

Abstract


Embedded software has been widely used in the key areas of aerospace , automotive control and safety . The characteristics of these areas require embedded software with high credibility , the the embedded software credibility depends on the credibility of the Security compiler . The safe compiler has two characteristics : safety testing , early detection of potential safety problems in the program ; credibility of the compiler itself to ensure that the program can be translated into the correct object code . MISRA-C is based on the security of the C89 standard extracted C language subset that has become the standard C language in the field of embedded software . Widely used as in the field of embedded compiler , GCC and not for any safe subset of the specification systemic syntax and semantic checks , can not help software developers to the early detection of software security risks exist . In this paper, by extending the GCC-3.4.6 MISRA-C specification testing security compiler CCRG -SC and use embedded real-time operating system μC / OS and GCC-3.4.3 compiler source CCRG-SC functionality and performance testing , test results show that : the program does not meet the safe subset of the standard place , CCRG-SC is able to give a warning or error message ; CCRG-SC introduced standardized testing time overhead is very small . Testing is an important method to ensure the correctness of the compiler . Based on black-box testing methods , design the C compiler verification tools the CVT . CVT is a C compiler test suite , the test set includes syntax test set , test set expression GNU extended test set , compile and run-time counter-example test set . In order to meet the test of expression width and depth requirements , design a the expression self test case generation tool automatically GREAT . GREAT to support mathematical function arbitrarily complex expression template given by the user to generate expression instance , calculate the expected value of the expression instance and generates a detailed test report . Finally, the 25636 expression GREAT generate test cases to test the CCRG-SC compiler , test results show that the CCRG-SC compiler to maintain the original expression processing capability of the GCC-3.4.6 compiler does not introduce new results error and error .

Related Dissertations

  1. The Research and Implementation of Test Suite Generation for TTCN-3 Compiler,TP311.52
  2. Research on Key Technologies of Network Security Language,TP393.08
  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. Proof Generation for Certifying Compiler,TP314
  11. A Method to Generate Assertion and Proof about Assembly Language Certifying Compiler,TP314
  12. Analysis and Implementation of Key Compilation Technologies for YHFT-DSP,TP314
  13. Pre-compilation Techniques of Helper Threads for Irregular Computing,TP314
  14. Loop Transformation in Task Compiler of Reconfigurable Computing Processor,TP314
  15. Research on Implementation and Optimization of BWDSP100 Compiler,TP314
  16. Optimization on Memory Management for Just-in Time Compiler,TP314
  17. Implementing the Compiler of UDLC Based on Grid,TP314
  18. Implementation of Visual Computing for the Compiler of Programming Language G(?)del,TP314
  19. Research on Decompilation of AS Based on SWF,TP314
  20. Decompilation Research Based on Dynamic Binary Translation,TP314
  21. Research on Improving Mechanism of Precise Exception of QEMU,TP314

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