Compiler automatic verification method and apparatus

An automatic verification and compiler technology, applied in the communication field, can solve the problem that the compiler verification suite samples are not comprehensive enough, etc.

Inactive Publication Date: 2017-10-27
CHINA ACAD OF TELECOMM TECH
View PDF3 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0037] In view of the above technical problems, the embodiments of the present invention provide a compiler automatic verification method and device to solve the problem that the existing compiler verification suite samples are not comprehensive enough

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Compiler automatic verification method and apparatus
  • Compiler automatic verification method and apparatus
  • Compiler automatic verification method and apparatus

Examples

Experimental program
Comparison scheme
Effect test

no. 1 example

[0071] See figure 1 , The figure shows a method of automatic compiler verification, the specific steps are as follows:

[0072] Step S101: Obtain configuration information of a customized sample.

[0073] Optionally, the configuration information of the customized sample is obtained through the obtaining module, the sample specification is generated according to the configuration information of the customized sample, and the IR sample generator is called.

[0074] Optionally, the configuration information (Customizable Case Specification, CCS) of the aforementioned custom case is used to define the attributes of the case (Case), and in this embodiment, the case can be randomly generated according to the configuration of the CCS. The CCS includes but is not limited to the following information: the function information contained in the sample, the data type contained in the sample, and / or the control flow structure of the sample. The function information contained in the above sample...

no. 2 example

[0084] See figure 2 , The figure shows a device for automatic compiler verification. The device includes: an acquisition module 201, an IR sample generator 202, an IR resource library 203, and a conversion module 204.

[0085] The obtaining module 201 is used to obtain configuration information of a customized example; optionally, the configuration information (Customizable Case Specification, CCS) of the above-mentioned customized sample is used to define the attributes of the case (Case). Configuration to randomly generate samples. The CCS includes but is not limited to the following information: the function information contained in the sample, the data type contained in the sample, and / or the control flow structure of the sample. The function information contained in the above sample includes: the number of functions or whether recursion is allowed; the data type contained in the above sample includes: integer type, floating point type, vector type or aggregate type (array, ...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

PUM

No PUM Login to view more

Abstract

The invention provides a compiler automatic verification method and apparatus. The method comprises the steps of obtaining configuration information of customized examples; according to the configuration information of the customized examples, randomly selecting IRs from an IR (intermediate representation) resource library to form IR examples; and converting the IR examples into examples written by a specified programming language and used for compiler verification. A large amount of examples with complex control streams and data streams can be randomly generated, so that the shortcomings of an existing compiler verification suite are effectively made up for.

Description

Technical field [0001] The present invention relates to the field of communication technology, in particular to a method and device for automatic verification of a compiler. Background technique [0002] In the current mainstream compiler verification kits, manual examples are mainly used to automatically generate complex expressions to verify the correctness of the compiler. The following briefly introduces four mainstream compiler verification kits: [0003] 1) Plum Hall verification kit for C [0004] The Plum Hall Verification Suite for C is the industry verification standard for C compilers. The Plum Hall verification kit for C uses both positive and negative testing techniques to complete the following tests: [0005] a. Test the basic compliance with ISO c90 and c99C language standards; [0006] b. Generate a self-checking C program for testing operator arrangement and data types; [0007] c. Determine the size of certain compilation time restrictions, for example, the effectiv...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

Application Information

Patent Timeline
no application Login to view more
Patent Type & Authority Applications(China)
IPC IPC(8): G06F11/36G06F9/45
CPCG06F8/43G06F11/3672
Inventor 杨楷
Owner CHINA ACAD OF TELECOMM TECH
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap