Patents by Inventor Supasit Monpratarnchai

Supasit Monpratarnchai has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • To-be-stubbed target determining apparatus, to-be-stubbed target determining method and non-transitory recording medium storing to-be-stubbed target determining program
    Patent number: 10055341
    Abstract: A to-be-stubbed target determining apparatus includes: a processor that executes a determining program; and a memory that stores the determining program; wherein according to determining program, the processor: extracts relational information that represents a relation between a program under test and one or more functions which are called from the program under test; and determines, according to the relational information, from among the one or mode functions, a function that returns a user-defined type of instance accessed in the program under test and a function that returns a value used as a condition of a conditional branch in the program under test, as a first function excluded from functions to be stubbed.
    Type: Grant
    Filed: June 3, 2016
    Date of Patent: August 21, 2018
    Assignee: FUJITSU LIMITED
    Inventors: Supasit Monpratarnchai, Tadahiro Uehara, Hideo Tanida, Asako Katayama, Yusuke Sasaki
  • Computer-readable recording medium storing therein test data generating program, test data generating method, test data generating apparatus and information processing system
    Patent number: 9639454
    Abstract: A computer-readable recording medium storing therein a test data generating program to be executed by a computer, the program causing the computer to: generate, for each of a plurality of path conditions obtained by repeatedly performing symbolic execution, a simplified path condition by substituting a fixed value for a first symbolic variable included in the path condition; calculate, for each the simplified path condition, a value of the symbolic variable that satisfies the simplified path condition; generate test data including the values of the symbolic variable, the fixed values, and path conditions not subjected to simplification; and remove duplicative data from the test data that corresponds to a same path condition.
    Type: Grant
    Filed: November 25, 2013
    Date of Patent: May 2, 2017
    Assignee: FUJITSU LIMITED
    Inventors: Shoichiro Fujiwara, Tadahiro Uehara, Kazuki Munakata, Yoshiharu Maeda, Susumu Tokumoto, Asako Katayama, Supasit Monpratarnchai
  • TO-BE-STUBBED TARGET DETERMINING APPARATUS, TO-BE-STUBBED TARGET DETERMINING METHOD AND NON-TRANSITORY RECORDING MEDIUM STORING TO-BE-STUBBED TARGET DETERMINING PROGRAM
    Publication number: 20170052887
    Abstract: A to-be-stubbed target determining apparatus includes: a processor that executes a determining program; and a memory that stores the determining program; wherein according to determining program, the processor: extracts relational information that represents a relation between a program under test and one or more functions which are called from the program under test; and determines, according to the relational information, from among the one or mode functions, a function that returns a user-defined type of instance accessed in the program under test and a function that returns a value used as a condition of a conditional branch in the program under test, as a first function excluded from functions to be stubbed.
    Type: Application
    Filed: June 3, 2016
    Publication date: February 23, 2017
    Applicant: FUJITSU LIMITED
    Inventors: Supasit MONPRATARNCHAI, Tadahiro Uehara, Hideo TANIDA, Asako KATAYAMA, Yusuke Sasaki
  • COMPUTER-READABLE RECORDING MEDIUM STORING THEREIN TEST DATA GENERATING PROGRAM, TEST DATA GENERATING METHOD, TEST DATA GENERATING APPARATUS AND INFORMATION PROCESSING SYSTEM
    Publication number: 20140229918
    Abstract: A computer-readable recording medium storing therein a test data generating program to be executed by a computer, the program causing the computer to: generate, for each of a plurality of path conditions obtained by repeatedly performing symbolic execution, a simplified path condition by substituting a fixed value for a first symbolic variable included in the path condition; calculate, for each the simplified path condition, a value of the symbolic variable that satisfies the simplified path condition; generate test data including the values of the symbolic variable, the fixed values, and path conditions not subjected to simplification; and remove duplicative data from the test data that corresponds to a same path condition.
    Type: Application
    Filed: November 25, 2013
    Publication date: August 14, 2014
    Applicant: FUJITSU LIMITED
    Inventors: Shoichiro FUJIWARA, Tadahiro Uehara, Kazuki Munakata, Yoshiharu Maeda, Susumu Tokumoto, Asako Katayama, Supasit Monpratarnchai