CN107301121A - A kind of compiler automatic verification method and device - Google Patents
A kind of compiler automatic verification method and device Download PDFInfo
- Publication number
- CN107301121A CN107301121A CN201610236442.5A CN201610236442A CN107301121A CN 107301121 A CN107301121 A CN 107301121A CN 201610236442 A CN201610236442 A CN 201610236442A CN 107301121 A CN107301121 A CN 107301121A
- Authority
- CN
- China
- Prior art keywords
- sample
- samples
- customization
- configuration information
- compiler
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Withdrawn
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/3668—Software testing
- G06F11/3672—Test management
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/40—Transformation of program code
- G06F8/41—Compilation
- G06F8/43—Checking; Contextual analysis
Abstract
The invention provides the method and device that a kind of compiler is verified automatically, methods described includes：Obtain the configuration information of customization sample；According to the configuration information of the customization sample, IR composition IR samples are randomly selected from intermediate representation IR resources banks；The IR samples are converted into the sample verified for compiler by specifying programming language to write, a large amount of samples with complex control stream and data flow can be randomly generated, the shortcoming that current compiler verifies external member is effectively made up.
Description
Technical field
The present invention relates to communication technical field, more particularly to a kind of compiler automatic verification method and device.
Background technology
In current main flow compiler checking external member, mainly take manual compiling sample to be aided with and automatically generate again
The method of miscellaneous expression formula to carry out compiler the checking of correctness.It following is a brief introduction of four kinds of main flow compilers
Verify external member：
1) the Plum Hall checking external members for C
Plum Hall checkings external member for C is the industry validation criteria of C compilers.For C's
Plum Hall checking external members complete following test using positive and negative two kinds of measuring technologies：
A, test are to the substantially conforming to property of ISO c90 and c99C language standards；
B, generation test operator arrangement and data type self-inspection c program；
C, the size for determining some compilation time limitations, for example, effective length or the include text of identifier
The depth that part may be nested；
D, by generating the self-inspection expression formula of arbitrarily complicated degree legal expression formula is tested.
2) the Plum Hall checking external members for C++
Suite++ is to be directed to ANSI (AMERICAN NATIONAL STANDARDS
INSTITUTE, American National Standards Institute (ANSI))/ISO C++ standards industry-leading compliance test.
Suite++ is represented for testing whether compiler meets ISO/IEC (International Electrotechnical Commission)
14882:Planting positive and negative test case more 2003 standards the 4,600.
3) the Plum Hall checking external members for C Plus Plus storehouse
LibSuite++ represents to test whether each storehouse meets ISO/IEC 14882:2003 marks
More than 2500 kinds of accurate test case.
4) ARM (Advanced RISC Machines) internal verification external member
A, recurrence external member：After defect repair, test can be added in regression test external member, after ensuring
Compiler change will not reactivate the defect.
B, language extension：ARM maintains a close beta external member, for testing ANSI/ISO standards
In be not covered by Product Language extension.
C, C tests：The internal consistency of check criteria C header files.Its working method is to every head
Run the compiler and allow its dump to go out its internal state.Then inspection result is to ensure uniformity.
D, Nullspace are tested：Measurement is expected compiler behavior and to semantically equivalent but grammatically different
The uniformity of source code optimization.
E, mathematics library test：Floating-point and mathematics the library test the orientation test (NaN, unlimited, underflow etc.) of special case
And the test related to known difficult value.
F, code database (CodeDB)：CodeDB is increase income application program and the client that has been given the ratification
Whether the set of code, the application program of the real world complicated available for checking can use newest compiler
Version is built.
G, product integration test：These tests can ensure that different product component has successfully carried out integrated and generated head
The Consumer's Experience of choosing.For the new test of each version generation based on the New function in the version.Except new survey
Examination is outer, and product integration test is also comprising more than 1200 kinds of regression test case.
From the analysis of sample producing method, the sample of existing checking external member mainly has two types：
A, based on the sample of manual compiling
With complicated controlling stream, the large-scale sample of data flow is generally by manual compiling.Manual compiling needs to throw
Enter substantial amounts of time and manpower, and limited amount, such as Plum hall C++ checking external members also only have 4600
Part or so sample.
B, it is aided with and a small amount of automatically generates sample
Being of limited application for sample is automatically generated, generation complex expression is generally applied to and comes to compiler
Verified front end.And the checking for being easier the Compiler Optimization and rear end gone wrong is relied on sample then more
In manual compiling.
Analyzed from the design angle of sample, the sample of existing checking external member is largely divided into four types：
A, towards standard
Sample is designed according to language standard, whether certifying compilation device meets standard.
B, towards compiler behavior
Design sample (is for example optimized) according to the anticipatory behavior of compiler in itself, whether is the behavior of certifying compilation device
Meet the expection of developer.
C, facing defects
The defect once occurred in development process.
D, user oriented program
Collected from the user of compiler, usually large-scale enterprise customer.But these users have generally focused on spy
Fixed field, its code has distinct industrial characteristic.
In summary, current main flow compiler checking external member has the shortcomings that as follows：
Based on manual compiling, cost is higher, limited amount.Sample design is more to be considered from developer's angle,
Or for verifying specific compiler function, or it is confined to specific user.But the compiler actual generation faced
Code is then varied, and towards many different fields, therefore current compiler checking external member sample is not comprehensive enough.
The content of the invention
In view of above-mentioned technical problem, the embodiment of the present invention provides a kind of compiler automatic verification method and device,
Solve the problem of existing compiler checking external member sample is not comprehensive enough.
One side according to the embodiment of the present invention is there is provided a kind of method that compiler is verified automatically, and it is special
Levy and be, methods described includes：
Obtain the configuration information of customization sample；
According to the configuration information of the customization sample, IR compositions IR is randomly selected from intermediate representation IR resources banks
Sample；
The IR samples are converted into the sample verified for compiler by specifying programming language to write.
Alternatively, the configuration information of the customization sample includes：Function information that sample is included, sample are included
Data type and/or the control flow structure that has of sample.
Alternatively, the function information that the sample is included includes：Whether function numbers allow recurrence；It is described
The data type that sample is included includes：Integer type, floating point type, vector type or polymeric type；It is described
The control flow structure that sample has includes：The number of plies of branch, circulation or nesting.
Alternatively, the configuration information for obtaining customization sample, including：
The configuration information of customization sample is obtained by user interface, and according to the configuration information of the customization sample
Sample specification is generated, IR sample makers are called；
The configuration information according to the customization sample, randomly selects IR composition IR samples from IR resources banks
Example, including：
Meet multiple IR of the sample specification to the request of IR resources banks by the IR samples maker；
Multiple IR are returned to by the IR resources banks at random according to the request of IR sample makers；
The IR that the IR resources banks are returned is received by the IR samples maker, and the IR is constituted into IR
Sample.
Alternatively, the sample that compiler is verified that is used for that the IR samples are converted into different programming languages,
Including：
Call instruction is obtained by the user interface, and the programming language specified is called according to the call instruction
The rear end of speech；
By the rear end of the programming language specified, the IR samples are converted into what is verified for compiler
Sample.
According to the other side of the embodiment of the present invention, the device that a kind of compiler is verified automatically is additionally provided,
Described device includes：
Acquisition module, the configuration information for obtaining customization sample；
IR sample makers, for the configuration information according to the customization sample, from intermediate representation IR resources banks
Randomly select IR composition IR samples；
Modular converter, for being converted into the IR samples to be tested for compiler by what specified programming language was write
The sample of card.
Alternatively, the configuration information of the customization sample includes：Function information that sample is included, sample are included
Data type and/or the control flow structure that has of sample.
Alternatively, the function information that the sample is included includes：Whether function numbers allow recurrence；It is described
The data type that sample is included includes：Integer type, floating point type, vector type or polymeric type；It is described
The control flow structure that sample has includes：The number of plies of branch, circulation or nesting.
Alternatively, described device also includes：IR resources banks, the acquisition module is further used for obtaining fixed
The configuration information of sample preparation example, and sample specification is generated according to the configuration information of the customization sample, call IR samples
Example maker；
The IR samples maker, is further used for meeting the sample specification to IR resources banks request
Multiple IR；
The IR resources banks, for returning to multiple IR at random according to the request of IR sample makers；
The IR samples maker, is further used for receiving the IR that the IR resources banks are returned, and by institute
State IR composition IR samples.
Alternatively, the acquisition module, is additionally operable to obtain call instruction, and called according to the call instruction
Modular converter；
The modular converter, is further used for being converted into the IR samples by the modular converter to be used to compile
Translate the sample of device checking.
A technical scheme in above-mentioned technical proposal has the following advantages that or beneficial effect：According to customization sample
Configuration information, randomly select IR from intermediate representation IR (Intermediate Representation) resources bank
IR samples are constituted, are then converted into IR samples to be used for what compiler was verified by what specified programming language was write
Sample, so as to randomly generate a large amount of samples with complex control stream and data flow, effectively makes up at present
Compiler verifies the shortcoming of external member.
Brief description of the drawings
Fig. 1 is the compiler automatic verification method schematic diagram of the first embodiment of the present invention；
Fig. 2 verifies the schematic diagram of device for the compiler of the second embodiment of the present invention automatically；
Fig. 3 verifies the workflow diagram of device for the compiler of the second embodiment of the present invention automatically.
Embodiment
The exemplary embodiment of the disclosure is more fully described below with reference to accompanying drawings.Although being shown in accompanying drawing
The exemplary embodiment of the disclosure, it being understood, however, that may be realized in various forms the disclosure without should be by
Embodiments set forth here is limited.It is opposite to be able to be best understood from this there is provided these embodiments
It is open, and can by the scope of the present disclosure completely convey to those skilled in the art.
First embodiment
Referring to Fig. 1, a kind of method that compiler is verified automatically is shown in figure, is comprised the following steps that：
Step S101, the configuration information for obtaining customization sample.
Alternatively, the configuration information for customizing sample is obtained by acquisition module, and according to the configuration of customization sample
Information generates sample specification, calls IR sample makers.
Alternatively, the configuration information (Customizable Case Specification, CCS) of above-mentioned customization sample
Attribute for defining sample (Case), sample can be randomly generated in the present embodiment according to CCS configuration.
CCS includes but is not limited to following information：Data type that function information that sample is included, sample are included and/
Or the control flow structure that sample has.The function information that above-mentioned sample is included includes：Whether function numbers permit
Perhaps recurrence；The data type that above-mentioned sample is included includes：Integer type, floating point type, vector type or poly-
Close type (array, structure, bit field etc.)；The control flow structure that above-mentioned sample has includes：Branch, follow
The number of plies of ring or nesting.It should be noted that not limiting configuration information in the present embodiment.
Step S102, the configuration information according to customization sample, IR is randomly selected from intermediate representation IR resources banks
Constitute IR samples.
Alternatively, ask to meet multiple IR of the sample specification to IR resources banks by IR samples maker；
Then multiple IR are returned to by IR resources banks at random according to the request of IR sample makers；Finally by IR samples
Example maker receives the IR that IR resources banks are returned, and IR is constituted into IR samples.
IR in above-mentioned IR resources banks (IR Library, IRLib) needed for definable the present embodiment.
Above-mentioned IR samples maker (IR Case Generator, IRCGen) can be according to matching somebody with somebody according to CCS
Confidence is ceased, and suitable IR is randomly selected from IRLib to constitute IR samples.The process will generate symbol at random
Table, controlling stream graph and DFD, and most figure is converted to the sample being made up of IR at last.
Step S103, the sample verified for compiler for being converted into being write by specified programming language by IR samples
Example.
Alternatively, call instruction is obtained by user interface, and modular converter is called according to the call instruction；
Then by the rear end of the programming language specified, the IR samples are converted into what is verified for compiler
Sample.
The rear end (Language Backends, LanBack) of the above-mentioned programming language specified is corresponded to not by one group
Rear end with programming language is constituted, and IRCGen is produced the sample that IR samples are converted into corresponding language respectively by them
Example, these final samples will be used for compiler checking.
In the present embodiment, according to the configuration information of customization sample, randomly selected from intermediate representation IR resources banks
IR constitutes IR samples, is then converted into IR samples being verified by the compiler that is used for for specifying programming language to write
Sample, so as to randomly generate a large amount of samples with complex control stream and data flow, effectively make up mesh
Preceding compiler verifies the shortcoming of external member.
Second embodiment
Referring to Fig. 2, the device that a kind of compiler is verified automatically is shown in figure, described device includes：Obtain mould
Block 201, IR samples maker 202, IR resources banks 203 and modular converter 204.
Acquisition module 201, the configuration information for obtaining customization sample；Alternatively, above-mentioned customization sample is matched somebody with somebody
Confidence breath (Customizable Case Specification, CCS) is used for the attribute for defining sample (Case),
Sample can be randomly generated according to CCS configuration in the present embodiment.CCS includes but is not limited to following information：
The control flow structure that the data type and/or sample that function information that sample is included, sample are included have.It is above-mentioned
The function information that sample is included includes：Whether function numbers allow recurrence；The data class that above-mentioned sample is included
Type includes：Integer type, floating point type, vector type or polymeric type (array, structure, bit field etc.)；
The control flow structure that above-mentioned sample has includes：The number of plies of branch, circulation or nesting.It should be noted that
Configuration information is not limited in the present embodiment.
IR samples maker 202, for the configuration information according to the customization sample, from intermediate representation IR moneys
Source storehouse randomly selects IR composition IR samples；Above-mentioned IR samples maker (IR Case Generator,
IRCGen) 202 suitable IR can be randomly selected from IRLib and carrys out group according to the configuration information according to CCS
Into IR samples.The process will generate symbol table, controlling stream graph and DFD, and most figure conversion at last at random
For the sample being made up of IR.
Modular converter 203, for by the IR samples be converted into by specify programming language write be used for compile
The sample of device checking.Above-mentioned modular converter 203 is made up of the rear end of the different programming languages of one group of correspondence, they
IRCGen202 is produced into the sample that IR samples are converted into corresponding language respectively, these final samples will be used for
Compiler is verified.
Alternatively, acquisition module 201, are further used for obtaining the configuration information of customization sample, and according to described
The configuration information generation sample specification of sample is customized, IR sample makers are called；
The IR samples maker 202, is further used for meeting the sample rule to the request of IR resources banks 203
Multiple IR of model；
The IR resources banks 203, for returning to multiple IR at random according to the request of IR sample makers；
The IR samples maker 202, is further used for receiving the IR that the IR resources banks are returned, and
The IR is constituted into IR samples.
Alternatively, the acquisition module 201, is additionally operable to obtain call instruction, and adjusted according to the call instruction
Use modular converter；
The modular converter 203, is further used for by the modular converter, and the IR samples are converted into
The sample verified for compiler.
In the present embodiment, according to the configuration information of customization sample, randomly selected from intermediate representation IR resources banks
IR constitutes IR samples, is then converted into IR samples being verified by the compiler that is used for for specifying programming language to write
Sample, so as to randomly generate a large amount of samples with complex control stream and data flow, effectively make up mesh
Preceding compiler verifies the shortcoming of external member.
Referring to Fig. 3, show that a kind of compiler verifies the workflow diagram of device automatically in figure, specific steps are such as
Under：
Step S301, user are by acquisition module (such as user interface (User Interface)) to being intended to generate
Sample attribute be customized.
Step S302, acquisition module record customization sample configuration information, generation Case Specification are simultaneously
IR samples maker is called to randomly generate IR samples.In generating process, IR sample makers are as needed
The IR with specified attribute is asked to IR resources banks, and qualified IR is returned to by IR resources banks at random,
Finally it is combined into random IR Cases.
Step S303, acquisition module call the rear end (backend) of client's appointed language to turn IR Cases
Change the sample of corresponding language into.
It should be understood that " one embodiment " or " embodiment " that specification is mentioned in the whole text means and real
Apply the relevant special characteristic of example, structure or characteristic include at least one embodiment of the present invention in.Therefore,
" in one embodiment " or " in one embodiment " occurred everywhere in entire disclosure not necessarily refers to
Identical embodiment.In addition, these specific feature, structure or characteristics can be combined in any suitable manner
In one or more embodiments.
In various embodiments of the present invention, it should be appreciated that the size of the sequence number of above-mentioned each process is not meant to
The priority of execution sequence, the execution sequence of each process should be determined with its function and internal logic, without tackling this
The implementation process of inventive embodiments constitutes any limit.
In addition, the terms " system " and " network " are often used interchangeably herein.
It should be understood that the terms "and/or", only a kind of incidence relation for describing affiliated partner, table
Show there may be three kinds of relations, for example, A and/or B, can be represented：Individualism A, at the same exist A and
These three situations of B, individualism B.In addition, character "/" herein, typicallying represent forward-backward correlation object is
A kind of relation of "or".
In embodiment provided herein, it should be appreciated that " B " corresponding with A represents that B is associated with A,
B can be determined according to A.It is also to be understood that determine that B is not meant to determine B only according to A according to A,
B can also be determined according to A and/or other information.
, can be with several embodiments provided herein, it should be understood that disclosed method and apparatus
Realize by another way.For example, device embodiment described above is only schematical, for example,
The division of the unit, only a kind of division of logic function, can there is other division side when actually realizing
Formula, such as multiple units or component can combine or be desirably integrated into another system, or some features can
To ignore, or do not perform.It is another, shown or discussed coupling or direct-coupling or logical each other
Letter connection can be by some interfaces, the INDIRECT COUPLING or communication connection of device or unit, can be it is electrical,
Machinery or other forms.
In addition, each functional unit in each embodiment of the invention can be integrated in a processing unit,
Can also be that the independent physics of unit includes, can also two or more units be integrated in a unit
In.Above-mentioned integrated unit can both be realized in the form of hardware, it would however also be possible to employ hardware adds software function
The form of unit is realized.
The above-mentioned integrated unit realized in the form of SFU software functional unit, can be stored in a computer can
Read in storage medium.Above-mentioned SFU software functional unit is stored in a storage medium, including some instructions are used
To cause a computer equipment (can be personal computer, server, or network equipment etc.) to perform
The part steps of receiving/transmission method described in each embodiment of the invention.And foregoing storage medium includes：USB flash disk,
Mobile hard disk, read-only storage (Read-Only Memory, abbreviation ROM), random access memory
(Random Access Memory, abbreviation RAM), magnetic disc or CD etc. are various can be with store program codes
Medium.
Above-described is the preferred embodiment of the present invention, it should be pointed out that for the ordinary people of the art
For member, some improvements and modifications can also be made under the premise of principle of the present invention is not departed from, these
Improvements and modifications are also within the scope of the present invention.
Claims (10)
1. a kind of method that compiler is verified automatically, it is characterised in that methods described includes：
Obtain the configuration information of customization sample；
According to the configuration information of the customization sample, IR compositions IR is randomly selected from intermediate representation IR resources banks
Sample；
The IR samples are converted into the sample verified for compiler by specifying programming language to write.
2. according to the method described in claim 1, it is characterised in that the configuration information bag of the customization sample
Include：The control flow structure that the data type and/or sample that function information that sample is included, sample are included have.
3. method according to claim 2, it is characterised in that the function information bag that the sample is included
Include：Whether function numbers allow recurrence；The data type that the sample is included includes：It is integer type, floating
Vertex type, vector type or polymeric type；The control flow structure that the sample has includes：Branch, circulation
Or the nested number of plies.
4. according to the method described in claim 1, it is characterised in that it is described obtain customization sample match somebody with somebody confidence
Breath, including：
The configuration information of customization sample is obtained by user interface, and according to the configuration information of the customization sample
Sample specification is generated, IR sample makers are called；
The configuration information according to the customization sample, randomly selects IR composition IR samples from IR resources banks
Example, including：
Meet multiple IR of the sample specification to the request of IR resources banks by the IR samples maker；
Multiple IR are returned to by the IR resources banks at random according to the request of IR sample makers；
The IR that the IR resources banks are returned is received by the IR samples maker, and the IR is constituted into IR
Sample.
5. method according to claim 4, it is characterised in that described to be converted into the IR samples not
With the sample that compiler is verified that is used for of programming language, including：
Call instruction is obtained by the user interface, and the programming language specified is called according to the call instruction
The rear end of speech；
By the rear end of the programming language specified, the IR samples are converted into what is verified for compiler
Sample.
6. the device that a kind of compiler is verified automatically, it is characterised in that described device includes：
Acquisition module, the configuration information for obtaining customization sample；
IR sample makers, for the configuration information according to the customization sample, from intermediate representation IR resources banks
Randomly select IR composition IR samples；
Modular converter, for being converted into the IR samples to be tested for compiler by what specified programming language was write
The sample of card.
7. device according to claim 6, it is characterised in that the configuration information bag of the customization sample
Include：The control flow structure that the data type and/or sample that function information that sample is included, sample are included have.
8. device according to claim 7, it is characterised in that the function information bag that the sample is included
Include：Whether function numbers allow recurrence；The data type that the sample is included includes：It is integer type, floating
Vertex type, vector type or polymeric type；The control flow structure that the sample has includes：Branch, circulation
Or the nested number of plies.
9. device according to claim 6, it is characterised in that described device also includes：IR resources banks,
The acquisition module, is further used for obtaining the configuration information of customization sample, and according to the customization sample
Configuration information generates sample specification, calls IR sample makers；
The IR samples maker, is further used for meeting the sample specification to IR resources banks request
Multiple IR；
The IR resources banks, for returning to multiple IR at random according to the request of IR sample makers；
The IR samples maker, is further used for receiving the IR that the IR resources banks are returned, and by institute
State IR composition IR samples.
10. device according to claim 9, it is characterised in that the acquisition module, is additionally operable to obtain
Call instruction, and modular converter is called according to the call instruction；
The modular converter, is further used for being converted into the IR samples by the modular converter to be used to compile
Translate the sample of device checking.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201610236442.5A CN107301121A (en) | 2016-04-15 | 2016-04-15 | A kind of compiler automatic verification method and device |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201610236442.5A CN107301121A (en) | 2016-04-15 | 2016-04-15 | A kind of compiler automatic verification method and device |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| CN107301121A true CN107301121A (en) | 2017-10-27 |
Family
ID=60137521
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN201610236442.5A Withdrawn CN107301121A (en) | 2016-04-15 | 2016-04-15 | A kind of compiler automatic verification method and device |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN107301121A (en) |
Citations (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US20100153936A1 (en) * | 2008-12-15 | 2010-06-17 | Apple Inc. | Deferred constant pool generation |
| CN102880452A (en) * | 2012-02-01 | 2013-01-16 | 日照市国软软件有限公司 | Programming language capable of cross-language reusing |
| CN102947835A (en) * | 2010-03-31 | 2013-02-27 | 埃德图加拿大公司 | A system and method for encapsulating and enabling protection through diverse variations in software libraries |
-
2016
- 2016-04-15 CN CN201610236442.5A patent/CN107301121A/en not_active Withdrawn
Patent Citations (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US20100153936A1 (en) * | 2008-12-15 | 2010-06-17 | Apple Inc. | Deferred constant pool generation |
| CN102947835A (en) * | 2010-03-31 | 2013-02-27 | 埃德图加拿大公司 | A system and method for encapsulating and enabling protection through diverse variations in software libraries |
| CN102880452A (en) * | 2012-02-01 | 2013-01-16 | 日照市国软软件有限公司 | Programming language capable of cross-language reusing |
Non-Patent Citations (1)
| Title |
|---|
| 陈国梁等: "嵌入式C编译器测试用例生成工具的设计", 《微计算机应用》 * |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| Loniewski et al. | A systematic review of the use of requirements engineering techniques in model-driven development | |
| Gyimóthy et al. | Empirical validation of object-oriented metrics on open source software for fault prediction | |
| CN105279090B (en) | Test script generation method and device applied to financial field | |
| CN103140838B (en) | Method of converting source code | |
| US7721252B2 (en) | Apparatus and method for product-line architecture description and verification | |
| CN103902456B (en) | Test script processing meanss, system and method | |
| Laitenberger et al. | Generalizing perspective-based inspection to handle object-oriented development artifacts | |
| CN105843734A (en) | Automatic test method and device and computing device | |
| CN102270128B (en) | Storehouse consistency checker | |
| US20070061641A1 (en) | Apparatus and method for generating test driver | |
| CN104054051B (en) | The apparatus and method for manipulating source code patch | |
| Sun et al. | Specification-driven automated testing of GUI-based Java programs | |
| CN108255702A (en) | A kind of test case creation method, apparatus, equipment and storage medium | |
| Pfeiffer et al. | Evaluation of conceptual models-a structuralist approach | |
| CN111158656A (en) | Method and device for generating test codes based on fruit tree method | |
| Sung et al. | A quality model for open source software selection | |
| Iqbal et al. | Exhaustive simulation and test generation using fuml activity diagrams | |
| CN109800147B (en) | Test case generation method and terminal equipment | |
| CN107301121A (en) | A kind of compiler automatic verification method and device | |
| Storer et al. | Behave nicely! automatic generation of code for behaviour driven development test suites | |
| Jubair et al. | A multi‐agent K‐means with case‐based reasoning for an automated quality assessment of software requirement specification | |
| Tatale et al. | A Survey on Test Case Generation using UML Diagrams and Feasibility Study to Generate Combinatorial Logic Oriented Test Cases. | |
| KR102106696B1 (en) | Apparatus and method for testing software | |
| US20080195453A1 (en) | Organisational Representational System | |
| Lee et al. | A study on selection process of open source software |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| PB01 | Publication | ||
| PB01 | Publication | ||
| SE01 | Entry into force of request for substantive examination | ||
| SE01 | Entry into force of request for substantive examination | ||
| WW01 | Invention patent application withdrawn after publication | ||
| WW01 | Invention patent application withdrawn after publication |
Application publication date: 20171027 |