Patents by Inventor Atsuhiro Ohno

Atsuhiro Ohno 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).

  • Test case generation system and recording medium wherein test case is recorded
    Patent number: 10162739
    Abstract: A system in which a pass/fail criterion can be expressed using a temporal logic formula when testing object code is provided. The system includes a control content generation part for generating information regarding test execution control content from execution path information retrieved from an object to be inspected, which is object code or an executable file model. The system further includes a pass/fail condition generation part for generating information regarding a pass/fail condition from the execution path information and an inspection formula, including a temporal component, for the object to be inspected. The system also includes a test case generation part for generating a test case having a corresponding pass/fail condition for the inspection formula from the information regarding the test execution control content and the information regarding the pass/fail condition.
    Type: Grant
    Filed: June 3, 2015
    Date of Patent: December 25, 2018
    Assignee: HITACHI AUTOMOTIVE SYSTEMS, LTD
    Inventors: Masahiro Matsubara, Atsuhiro Ohno, Mamoru Nemoto
  • TEST CASE GENERATION SYSTEM AND RECORDING MEDIUM WHEREIN TEST CASE IS RECORDED
    Publication number: 20170046252
    Abstract: The purpose of the present invention is to provide a technique whereby a pass/fail criterion can be expressed using a temporal logic formula when testing object code.
    Type: Application
    Filed: June 3, 2015
    Publication date: February 16, 2017
    Applicant: HITACHI AUTOMOTIVE SYSTEMS, LTD.
    Inventors: Masahiro MATSUBARA, Atsuhiro OHNO, Mamoru NEMOTO
  • Method and apparatus for digital information processing
    Publication number: 20050047293
    Abstract: A content access method and apparatus includes decompressing an input stream read from a storage medium to produce an output signal. The output signal is then multiplexed with timing information different from the timing information contained in the input stream.
    Type: Application
    Filed: September 27, 2004
    Publication date: March 3, 2005
    Applicant: Hitachi, Ltd.
    Inventors: Hiroyuki Hayakawa, Tamotsu Ito, Atsuhiro Ohno, Akira Okushi
  • Method and apparatus for digital information processing
    Patent number: 6816444
    Abstract: A content access method and apparatus includes decompressing an input stream read from a storage medium to produce an output signal. The output signal is then multiplexed with timing information different from the timing information contained in the input stream.
    Type: Grant
    Filed: August 24, 2000
    Date of Patent: November 9, 2004
    Assignee: Hitachi, Ltd.
    Inventors: Hiroyuki Hayakawa, Tamotsu Ito, Atsuhiro Ohno, Akira Okushi