http://rdf.ncbi.nlm.nih.gov/pubchem/patent/JP-5338359-B2
Outgoing Links
| Predicate | Object |
|---|---|
| classificationIPCInventive | http://rdf.ncbi.nlm.nih.gov/pubchem/patentipc/G06F11-28 |
| filingDate | 2009-02-16-04:00^^<http://www.w3.org/2001/XMLSchema#date> |
| grantDate | 2013-11-13-04:00^^<http://www.w3.org/2001/XMLSchema#date> |
| publicationDate | 2013-11-13-04:00^^<http://www.w3.org/2001/XMLSchema#date> |
| publicationNumber | JP-5338359-B2 |
| titleOfInvention | DATA GENERATION PROGRAM, DATA GENERATION METHOD, AND DATA GENERATION DEVICE IN PROGRAM MODEL CHECK |
| abstract | <P>PROBLEM TO BE SOLVED: To provide a data generation program, a data generation method and a data generation device for generating a driver for generating necessary and sufficient data by dynamically specifying a boundary value in program model inspection. <P>SOLUTION: The data generation program is provided to make a computer execute: generation condition specification processing for specifying variables to be generated as input items defined in advance from the condition section for each property input to a model inspection device recorded in a recording part, and for extracting the condition part of the property including the specified variables to be generated; data generation/code generation processing for converting the condition section extracted by the generation condition specification processing into a generation conditional formula defining the generation conditions of the specified variables to be generated, and for generating a code for generating a value satisfying the generation conditions for each generation conditional formula; and driver integration processing for generating a second driver by embedding a code in a driver. <P>COPYRIGHT: (C)2010,JPO&INPIT |
| priorityDate | 2009-02-16-04:00^^<http://www.w3.org/2001/XMLSchema#date> |
| type | http://data.epo.org/linked-data/def/patent/Publication |
Incoming Links
Total number of triples: 13.