CN107291620A - A kind of method for generating test case and device - Google Patents
A kind of method for generating test case and device Download PDFInfo
- Publication number
- CN107291620A CN107291620A CN201710521652.3A CN201710521652A CN107291620A CN 107291620 A CN107291620 A CN 107291620A CN 201710521652 A CN201710521652 A CN 201710521652A CN 107291620 A CN107291620 A CN 107291620A
- Authority
- CN
- China
- Prior art keywords
- test
- equivalence class
- case
- dimension
- redundancy
- 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.)
- Pending
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
- G06F11/3684—Test management for test design, e.g. generating new test cases
Abstract
The invention discloses a kind of method for generating test case and device, by obtaining test dimension item, above-mentioned test dimension item is to advance with equivalence class partition method to draw the set including effective equivalence class and invalid equivalence class to test dimension progress division;Using cartesian product method, test case to be selected is generated according to each test dimension item;According to default simplified rules, redundancy test case to be selected is removed, final test use-case is drawn.The application is divided using equivalet class partitioning to each test dimension, it is possible to reduce the bulk redundancy of test case, and further simplifies according to simplified rules test case to be selected so that the redundancy of final test use-case is less;Test use cases to be selected are generated using cartesian product, it is ensured that the coverage of test case.The redundancy of test case is less and coverage is higher, and Test coverage degree and test quality can be improved on limited use-case cost basis.
Description
Technical field
The present invention relates to technical field of measurement and test, more particularly to a kind of method for generating test case and device.
Background technology
In test job, the covering checking to basic function is basic and important test activity, and is needed as far as possible
Ground improves Test coverage degree, i.e., farthest cover Basic function testing point, it is to avoid the omission of test point.
Before being tested, generally require according to business demand design test case.Existing method for test examples design
The coverage of designed test case out is typically relatively low, and test case has bulk redundancy, and then reduces test matter
Amount.
The content of the invention
It is an object of the invention to provide a kind of method for generating test case and device, it is therefore intended that solves existing test case
Coverage is low and bulk redundancy causes the problem of test quality is low.
In order to solve the above technical problems, the present invention provides a kind of method for generating test case, this method includes:
Test dimension item is obtained, the test dimension item is drawn to advance with equivalence class partition method to test dimension
Get the set including effective equivalence class and invalid equivalence class;
Using cartesian product method, test case to be selected is generated according to each described test dimension item;
According to default simplified rules, redundancy test case to be selected is removed, final test use-case is drawn.
Alternatively, the basis presets simplified rules, removes redundancy test case to be selected, draws final test use-case bag
Include:
According to only needing the essence of the covering of single test case, effective equivalence class alternative and business demand including invalid equivalence class
Simple rule, removes the redundancy test case to be selected, draws the final test use-case.
Alternatively, the test dimension item that obtains includes:
The default equivalent partition rule of acquisition basis is drawn including described effective to the test dimension progress equivalence class partition
The test dimension item of equivalence class and the invalid equivalence class;
Wherein, each test dimension input condition determines each test dimension according to the default equivalent partition rule
Spend effective equivalence class quantity of item and the rule of invalid equivalence class quantity.
In addition, present invention also offers a kind of Test cases technology device, the device includes:
Acquisition module, for obtaining test dimension item, the test dimension item is to advance with equivalence class partition method pair
Test dimension, which divide, draws the set including effective equivalence class and invalid equivalence class;
Test cases technology module, for utilizing cartesian product method, is treated according to each described test dimension item generation
Select test case;
Module is simplified, for according to default simplified rules, removing redundancy test case to be selected, drawing final test use-case.
Alternatively, the module of simplifying includes:
De-redundancy unit, for only needing single test case covering, effective equivalence class mutual exclusion according to including invalid equivalence class
Property and business demand simplified rules, remove the redundancy test case to be selected, draw the final test use-case.
Alternatively, the acquisition module includes:
Acquiring unit, draws for acquisition according to default equivalent partition rule to the test dimension progress equivalence class partition
The test dimension item including effective equivalence class and the invalid equivalence class;
Wherein, each test dimension input condition determines each test dimension according to the default equivalent partition rule
Spend effective equivalence class quantity of item and the rule of invalid equivalence class quantity.
A kind of method for generating test case and device provided by the present invention, by obtaining test dimension item, above-mentioned test
Dimension item is drawn including effective equivalence class and invalid equivalence to advance with equivalence class partition method to test dimension progress division
The set of class;Using cartesian product method, test case to be selected is generated according to each test dimension item;Rule are simplified according to default
Then, redundancy test case to be selected is removed, final test use-case is drawn.The application is using equivalet class partitioning to each test dimension
Divided, it is possible to reduce the bulk redundancy of test case, and further simplify according to simplified rules test case to be selected so that
The redundancy of final test use-case is less;Test use cases to be selected are generated using cartesian product, it is ensured that test case
Coverage.The redundancy of test case is less and coverage is higher, can improve Test coverage on limited use-case cost basis
Degree and test quality.
Brief description of the drawings
In order to illustrate more clearly about the embodiment of the present invention or technical scheme of the prior art, below will be to embodiment or existing
There is the accompanying drawing used required in technology description to be briefly described, it should be apparent that, drawings in the following description are only this
The embodiment of invention, for those of ordinary skill in the art, on the premise of not paying creative work, can also basis
The accompanying drawing of offer obtains other accompanying drawings.
Fig. 1 illustrates for a kind of flow of embodiment of method for generating test case provided in an embodiment of the present invention
Figure;
Fig. 2 is the structural schematic block diagram of Test cases technology device provided in an embodiment of the present invention.
Embodiment
To make the purpose, technical scheme and advantage of the embodiment of the present invention clearer, below in conjunction with the embodiment of the present invention
In accompanying drawing, the technical scheme in the embodiment of the present invention is clearly and completely described, it is clear that described embodiment is
A part of embodiment of the present invention, rather than whole embodiments.Based on the embodiment in the present invention, those of ordinary skill in the art
The every other embodiment obtained under the premise of creative work is not made, belongs to the scope of protection of the invention.
Fig. 1 is refer to, Fig. 1 is a kind of embodiment of method for generating test case provided in an embodiment of the present invention
Schematic flow sheet, this method comprises the following steps:
Step 101:Test dimension item is obtained, above-mentioned test dimension item is tieed up to advance with equivalence class partition method to test
Degree, which divide, draws the set including effective equivalence class and invalid equivalence class.
It is appreciated that above-mentioned test dimension item has multiple, it can be tested each using certain equivalent partition rule
Dimension is divided into the set including effective equivalence class and invalid equivalence class.
As a kind of embodiment, the process of above-mentioned acquisition test dimension item can be specially:Obtain according to default
Equivalent partition rule carries out equivalence class partition to the test dimension and drawn including effective equivalence class and the invalid equivalence
The test dimension item of class;Wherein, each test dimension input condition is determined respectively according to the default equivalent partition rule
Effective equivalence class quantity of the individual test dimension item and the rule of invalid equivalence class quantity.
Above-mentioned default equivalent partition rule can specifically include:
, can be by the equivalence class of the test dimension when test dimension input condition defines span or numerical value number
It is defined as effective an equivalence class and two invalid equivalence classes.For example, when input value is student performance, its scope is 0~100,
At this point it is possible to which this equivalence class for testing dimension is defined as an effective equivalence class and two Wireless Equivalent classes by student performance.
, can be with when testing dimension input condition and defining the set of input value or define the condition of " must be how "
The equivalence class of the test dimension is defined as effective an equivalence class and an invalid equivalence class.
When it is a Boolean quantity to test dimension input condition, the equivalence class of the test dimension can be defined as into one has
Imitate equivalence class and an invalid equivalence class.
When the class value (it is assumed that n) for defining input data, and program is when will respectively handle each input value,
The equivalence class of the test dimension can be defined as to n effectively equivalence class and an invalid equivalence classes.
When defining the rule that input data has to comply with, the equivalence class of the test dimension can be defined as into one has
Imitate equivalence class (meeting rule) and several invalid equivalence classes (breaking the rules from different perspectives).
Enter one when knowing that mode of each element in program processing is different in the equivalence class divided, then by the equivalence class
What is walked is divided into smaller equivalence class.
According to above-mentioned equivalent partition rule to each test dimension divide after, it can be deduced that including effective equivalence class with
Invalid class testing dimension item of equal value.In order to preferably introduce equivalent partition, it will be carried out below so that I O function is tested as an example briefly
Explanation.Referring to table 1 below:
Table 1
As shown in table 1, I O function test includes 5 test dimensions, respectively amount controller, extension cabinet quantity, extension
Cabinet type, number of disks and operation IO times.According to the input condition of business demand and each test dimension, carry out equivalence class and draw
Point.Specifically, for amount controller, its maximum supports that quantity is that 2, i.e. span are 0 to 2, then can take respectively
1st, 2 it is used as invalid equivalence class as effective equivalence class, 3,4.Other test dimensions the like, it will not be repeated here.
As can be seen that testing dimension using equivalence class partition, the invalid expansion of test case can be avoided, test is reduced and uses
The bulk redundancy of example.And the test dimension and business constraint of clear and definite test case, testing example design efficiency can be provided.
Step 102:Using cartesian product method, test case to be selected is generated according to each described test dimension item.
By each test, dimension is equivalent is divided into after effective equivalence class and invalid equivalence class, can be based on cartesian product
Principle, each test dimension item is multiplied, i.e., each test dimension item is included into effective equivalence class and nothing as one
The set of equivalence class is imitated, multiple set are multiplied using cartesian product method, substantial amounts of test case to be selected is drawn.
Step 103:According to default simplified rules, redundancy test case to be selected is removed, final test use-case is drawn.
Single test case is only needed to cover it is to be appreciated that above-mentioned default simplified rules can include but is not limited to invalid equivalence class
The simplified rules such as lid, the alternative of effective equivalence class and business demand.
Invalid equivalence class, which only needs single test case covering to specifically refer to an invalid equivalence class, only needs a test case
Covering, for example, for 3 test items in the amount controller of table 1, it is only necessary to any from multiple test cases to retain one
Individual test case.
The alternative of effective equivalence class specifically refers to screen each the effective equivalence class that there is mutual exclusion, for example, table 1
In extension cabinet quantity when being 1, number of disks is unable to reach 96, therefore can delete number of disks for 96 use-case.
Business demand specifically refers to need not to pay close attention to for some, do not have demand or the higher survey of testing cost in business
Dimension is tried, effective equivalence class can be simplified suitably, for example, the IO run times in table 1, run time is longer within 24 hours,
Therefore less use-case can be covered, it can specifically select 1 hour.
As a kind of embodiment, above-mentioned basis presets simplified rules, removes redundancy test case to be selected, draws most
The process of whole test case can be specially:Single test case covering, effective equivalence class are only needed according to including invalid equivalence class
The simplified rules of alternative and business demand, remove the redundancy test case to be selected, draw the final test use-case.
It is appreciated that only can be screened according to some simplified rules therein, rule can also be simplified according to individual
Then screened, be not limited thereto.
The method for generating test case that the present embodiment is provided, by obtaining test dimension item, above-mentioned test dimension item is
Advance with equivalence class partition method and the set including effective equivalence class and invalid equivalence class is drawn to test dimension progress division;
Using cartesian product method, test case to be selected is generated according to each test dimension item;According to default simplified rules, remove superfluous
Remaining test case to be selected, draws final test use-case.This method is divided using equivalet class partitioning to each test dimension,
The bulk redundancy of test case can be reduced, and further simplifies according to simplified rules test case to be selected so that final test
The redundancy of use-case is less;Test use cases to be selected are generated using cartesian product, it is ensured that the coverage of test case.Survey
The redundancy of example on probation is less and coverage is higher, and Test coverage degree and test matter can be improved on limited use-case cost basis
Amount.
A kind of Test cases technology device provided in an embodiment of the present invention is introduced below, a kind of survey described below
Example generating means on probation can be mutually to should refer to a kind of above-described method for generating test case.
Fig. 2 is refer to, Fig. 2 is the structural schematic block diagram of Test cases technology device provided in an embodiment of the present invention, referring to
Fig. 2 devices can include:
Acquisition module 21, for obtaining test dimension item, above-mentioned test dimension item is to advance with equivalence class partition method
Test dimension divide and draws the set including effective equivalence class and invalid equivalence class;
Test cases technology module 22, it is to be selected according to each test dimension item generation for utilizing cartesian product method
Test case;
Module 23 is simplified, for according to default simplified rules, removing redundancy test case to be selected, show that final test is used
Example.
As a kind of embodiment, above-mentioned module of simplifying can include:
De-redundancy unit, for only needing single test case covering, effective equivalence class mutual exclusion according to including invalid equivalence class
Property and business demand simplified rules, remove redundancy test case to be selected, draw final test use-case.
As a kind of embodiment, above-mentioned acquisition module can include:
Acquiring unit, for obtain according to default equivalent partition rule test dimension is carried out equivalence class partition draw including
Effective equivalence class and invalid class testing dimension item of equal value;
Wherein, each test dimension input condition determines each test dimension item according to above-mentioned default equivalent partition rule
Effective equivalence class quantity and invalid equivalence class quantity rule.
The Test cases technology device that the present embodiment is provided, the device is using equivalet class partitioning to each test dimension
Divided, it is possible to reduce the bulk redundancy of test case, and further simplify according to simplified rules test case to be selected so that
The redundancy of final test use-case is less;Test use cases to be selected are generated using cartesian product, it is ensured that test case
Coverage.The redundancy of test case is less and coverage is higher, can improve Test coverage on limited use-case cost basis
Degree and test quality.
The embodiment of each in specification is described by the way of progressive, and what each embodiment was stressed is and other realities
Apply the difference of example, between each embodiment identical similar portion mutually referring to.For device disclosed in embodiment
Speech, because it is corresponded to the method disclosed in Example, so description is fairly simple, related part is referring to method part illustration
.
Professional further appreciates that, with reference to the unit of each example of the embodiments described herein description
And algorithm steps, can be realized with electronic hardware, computer software or the combination of the two, in order to clearly demonstrate hardware and
The interchangeability of software, generally describes the composition and step of each example according to function in the above description.These
Function is performed with hardware or software mode actually, depending on the application-specific and design constraint of technical scheme.Specialty
Technical staff can realize described function to each specific application using distinct methods, but this realization should not
Think beyond the scope of this invention.
Directly it can be held with reference to the step of the method or algorithm that the embodiments described herein is described with hardware, processor
Capable software module, or the two combination are implemented.Software module can be placed in random access memory (RAM), internal memory, read-only deposit
Reservoir (ROM), electrically programmable ROM, electrically erasable ROM, register, hard disk, moveable magnetic disc, CD-ROM or technology
In any other form of storage medium well known in field.
Method for generating test case provided by the present invention and device are described in detail above.It is used herein
Specific case is set forth to the principle and embodiment of the present invention, and the explanation of above example is only intended to help and understands this
The method and its core concept of invention.It should be pointed out that for those skilled in the art, not departing from this hair
On the premise of bright principle, some improvement and modification can also be carried out to the present invention, these are improved and modification also falls into power of the present invention
In the protection domain that profit is required.
Claims (6)
1. a kind of method for generating test case, it is characterised in that including:
Test dimension item is obtained, the test dimension item to test dimension divide to advance with equivalence class partition method
Go out the set including effective equivalence class and invalid equivalence class;
Using cartesian product method, test case to be selected is generated according to each described test dimension item;
According to default simplified rules, redundancy test case to be selected is removed, final test use-case is drawn.
2. method for generating test case according to claim 1, it is characterised in that the basis presets simplified rules, goes
Except redundancy test case to be selected, show that final test use-case includes:
Rule are simplified according to only need the covering of single test case, effective equivalence class alternative and business demand including invalid equivalence class
Then, the redundancy test case to be selected is removed, the final test use-case is drawn.
3. method for generating test case according to claim 1 or 2, it is characterised in that dimension item bag is tested in the acquisition
Include:
Acquisition is drawn including effective equivalence according to default equivalent partition rule to the test dimension progress equivalence class partition
The test dimension item of class and the invalid equivalence class;
Wherein, each test dimension input condition determines each test dimension item according to the default equivalent partition rule
Effective equivalence class quantity and invalid equivalence class quantity rule.
4. a kind of Test cases technology device, it is characterised in that including:
Acquisition module, for obtaining test dimension item, the test dimension item is to advance with equivalence class partition method to test
Dimension, which divide, draws the set including effective equivalence class and invalid equivalence class;
Test cases technology module, for utilizing cartesian product method, according to each test dimension item generation survey to be selected
Example on probation;
Module is simplified, for according to default simplified rules, removing redundancy test case to be selected, drawing final test use-case.
5. Test cases technology device according to claim 4, it is characterised in that the module of simplifying includes:
De-redundancy unit, for according to include invalid equivalence class only need the covering of single test case, effective equivalence class alternative and
The simplified rules of business demand, remove the redundancy test case to be selected, draw the final test use-case.
6. the Test cases technology device according to claim 4 or 5, it is characterised in that the acquisition module includes:
Acquiring unit, for obtain according to default equivalent partition rule the test dimension is carried out equivalence class partition draw including
The test dimension item of effective equivalence class and the invalid equivalence class;
Wherein, each test dimension input condition determines each test dimension item according to the default equivalent partition rule
Effective equivalence class quantity and invalid equivalence class quantity rule.
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201710521652.3A CN107291620A (en) | 2017-06-30 | 2017-06-30 | A kind of method for generating test case and device |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201710521652.3A CN107291620A (en) | 2017-06-30 | 2017-06-30 | A kind of method for generating test case and device |
Publications (1)
Publication Number | Publication Date |
---|---|
CN107291620A true CN107291620A (en) | 2017-10-24 |
Family
ID=60099651
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201710521652.3A Pending CN107291620A (en) | 2017-06-30 | 2017-06-30 | A kind of method for generating test case and device |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN107291620A (en) |
Cited By (11)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN108415846A (en) * | 2018-04-19 | 2018-08-17 | 挖财网络技术有限公司 | A kind of method and apparatus generating minimal automation test use cases |
CN109669436A (en) * | 2018-12-06 | 2019-04-23 | 广州小鹏汽车科技有限公司 | A kind of method for generating test case and device of the functional requirement based on electric car |
CN110221960A (en) * | 2019-04-19 | 2019-09-10 | 平安科技(深圳)有限公司 | Generate method and device, the computer equipment, storage medium of test case |
CN110287118A (en) * | 2019-06-28 | 2019-09-27 | 四川长虹电器股份有限公司 | The test data generating method and method for testing software of test case |
CN110334009A (en) * | 2019-05-28 | 2019-10-15 | 中国平安人寿保险股份有限公司 | Automatic example generation method, device, terminal and storage medium |
CN110990257A (en) * | 2019-10-29 | 2020-04-10 | 西安爱生技术集团公司 | Automatic generation method for code-level test case set |
CN111176994A (en) * | 2019-12-24 | 2020-05-19 | 北京轩宇信息技术有限公司 | Unit test case generation method and device for embedded software IO port |
CN112162929A (en) * | 2020-10-15 | 2021-01-01 | 珠海格力电器股份有限公司 | Test data generation method and device, computer equipment and storage medium |
CN112188310A (en) * | 2020-09-28 | 2021-01-05 | 北京金山云网络技术有限公司 | Test sequence construction method and device, electronic equipment and storage medium |
CN112445702A (en) * | 2020-11-09 | 2021-03-05 | 北京思特奇信息技术股份有限公司 | Automatic testing method and system based on ant colony algorithm |
WO2023060521A1 (en) * | 2021-10-14 | 2023-04-20 | Intel Corporation | Apparatus, device, method and computer program for generating test cases for verification of hardware instructions of hardware device in hypervisor |
Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN102063376A (en) * | 2011-02-16 | 2011-05-18 | 哈尔滨工程大学 | Test case selection method |
CN102999320A (en) * | 2011-09-15 | 2013-03-27 | 阿里巴巴集团控股有限公司 | Automatic test case generation method and system |
CN104461875A (en) * | 2014-11-23 | 2015-03-25 | 国云科技股份有限公司 | Method for designing software testing case according to equivalence classes |
WO2015039793A1 (en) * | 2013-09-23 | 2015-03-26 | International Business Machines Corporation | Derivation of generalized test cases |
-
2017
- 2017-06-30 CN CN201710521652.3A patent/CN107291620A/en active Pending
Patent Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN102063376A (en) * | 2011-02-16 | 2011-05-18 | 哈尔滨工程大学 | Test case selection method |
CN102999320A (en) * | 2011-09-15 | 2013-03-27 | 阿里巴巴集团控股有限公司 | Automatic test case generation method and system |
WO2015039793A1 (en) * | 2013-09-23 | 2015-03-26 | International Business Machines Corporation | Derivation of generalized test cases |
CN104461875A (en) * | 2014-11-23 | 2015-03-25 | 国云科技股份有限公司 | Method for designing software testing case according to equivalence classes |
Cited By (16)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN108415846A (en) * | 2018-04-19 | 2018-08-17 | 挖财网络技术有限公司 | A kind of method and apparatus generating minimal automation test use cases |
CN109669436B (en) * | 2018-12-06 | 2021-04-13 | 广州小鹏汽车科技有限公司 | Test case generation method and device based on functional requirements of electric automobile |
CN109669436A (en) * | 2018-12-06 | 2019-04-23 | 广州小鹏汽车科技有限公司 | A kind of method for generating test case and device of the functional requirement based on electric car |
CN110221960A (en) * | 2019-04-19 | 2019-09-10 | 平安科技(深圳)有限公司 | Generate method and device, the computer equipment, storage medium of test case |
CN110334009A (en) * | 2019-05-28 | 2019-10-15 | 中国平安人寿保险股份有限公司 | Automatic example generation method, device, terminal and storage medium |
CN110287118A (en) * | 2019-06-28 | 2019-09-27 | 四川长虹电器股份有限公司 | The test data generating method and method for testing software of test case |
CN110287118B (en) * | 2019-06-28 | 2022-09-16 | 四川长虹电器股份有限公司 | Test data generation method and software test method of test case |
CN110990257A (en) * | 2019-10-29 | 2020-04-10 | 西安爱生技术集团公司 | Automatic generation method for code-level test case set |
CN110990257B (en) * | 2019-10-29 | 2022-11-18 | 西安爱生技术集团公司 | Automatic generation method for code-level test case set |
CN111176994A (en) * | 2019-12-24 | 2020-05-19 | 北京轩宇信息技术有限公司 | Unit test case generation method and device for embedded software IO port |
CN112188310A (en) * | 2020-09-28 | 2021-01-05 | 北京金山云网络技术有限公司 | Test sequence construction method and device, electronic equipment and storage medium |
CN112188310B (en) * | 2020-09-28 | 2022-08-16 | 北京金山云网络技术有限公司 | Test sequence construction method and device, electronic equipment and storage medium |
CN112162929B (en) * | 2020-10-15 | 2022-02-15 | 珠海格力电器股份有限公司 | Test data generation method and device, computer equipment and storage medium |
CN112162929A (en) * | 2020-10-15 | 2021-01-01 | 珠海格力电器股份有限公司 | Test data generation method and device, computer equipment and storage medium |
CN112445702A (en) * | 2020-11-09 | 2021-03-05 | 北京思特奇信息技术股份有限公司 | Automatic testing method and system based on ant colony algorithm |
WO2023060521A1 (en) * | 2021-10-14 | 2023-04-20 | Intel Corporation | Apparatus, device, method and computer program for generating test cases for verification of hardware instructions of hardware device in hypervisor |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN107291620A (en) | A kind of method for generating test case and device | |
Dorier et al. | Damaris/viz: a nonintrusive, adaptable and user-friendly in situ visualization framework | |
Cimatti et al. | The mathsat5 smt solver | |
DE112012003716B4 (en) | Generating compiled code that indicates register activity | |
Yuh et al. | Temporal floorplanning using the T-tree formulation | |
CN104391787B (en) | Monitoring method aiming at target method as well as thermal cutting-in method and device | |
CN103399781B (en) | Cloud Server and virtual machine management method thereof | |
CN103500185B (en) | A kind of method and system based on multi-platform data generation tables of data | |
CN106611037A (en) | Method and device for distributed diagram calculation | |
CN107870980B (en) | Electronic device, billing data processing method and computer storage medium | |
Peng et al. | A GPU‐based approach for massive model rendering with frame‐to‐frame coherence | |
Oh et al. | Enriched isogeometric analysis of elliptic boundary value problems in domains with cracks and/or corners | |
US20090254319A1 (en) | Method and system for numerical simulation of a multiple-equation system of equations on a multi-processor core system | |
Pezzarossa et al. | Using dynamic partial reconfiguration of FPGAs in real-Time systems | |
CN109684517A (en) | A kind of historical data storage method, reading/writing method, storage device and equipment | |
Oliker et al. | Parallel implementation of an adaptive scheme for 3D unstructured grids on the SP2 | |
CN103150445B (en) | The method for decomposing of a kind of MATLAB model variable and device | |
CN106610824A (en) | Page height self-adaptation method and apparatus | |
US20150308936A1 (en) | Frequency Domain Structural Analysis Of A Product Having Frequency-Dependent Material Property | |
CN110516472A (en) | Emulation mode and device | |
CN106202374A (en) | A kind of data processing method and device | |
CN106127039A (en) | A kind of privacy checking method based on Android system and system thereof | |
CN106933439A (en) | A kind of image processing method and system based on social platform | |
CN103312785B (en) | A kind of determination method and device of access relation | |
Keller Tesser et al. | Performance modeling of a geophysics application to accelerate over‐decomposition parameter tuning through simulation |
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 | ||
RJ01 | Rejection of invention patent application after publication |
Application publication date: 20171024 |
|
RJ01 | Rejection of invention patent application after publication |