Title:
SOFTWARE INSPECTION APPARATUS
Document Type and Number:
WIPO Patent Application WO/2016/121074
Kind Code:
A1
Abstract:
While the effectiveness of a model inspection method as a means for detecting software defects is known, large-scale software cannot be handled due to great amounts of calculation required for inspection. According to the present invention, after a model inspection problem of software is attributed to be a satisfiability determination problem, the problem is converted to a type that can be solved by a solver used for solving a notification optimization problem having constrained conditions, and the satisfiability is determined in a numerically analytical manner.
More Like This:
| JPH0962501 | CPU SYSTEM |
| WO/1999/023555 | METHOD FOR THE GENERATION OF ISA SIMULATORS AND ASSEMBLERS FROM A MACHINE DESCRIPTION |
| JPH02213952 | DEBUGGING SYSTEM FOR FIRMWARE |
Inventors:
NISHI MASATAKA (JP)
Application Number:
PCT/JP2015/052608
Publication Date:
August 04, 2016
Filing Date:
January 30, 2015
Export Citation:
Assignee:
HITACHI LTD (JP)
International Classes:
G06F11/28
Foreign References:
| US20110184705A1 | 2011-07-28 | |||
| US20090265692A1 | 2009-10-22 |
Other References:
TATSUHIRO TSUCHIYA: "Model Checking that Uses Satisfiability Solving", COMPUTER SOFTWARE, vol. 29, no. 1, 26 January 2012 (2012-01-26), pages 19 - 29, ISSN: 0289-6540
KAZUHIRO YAMATO: "GDB de Application Trouble no Gen'in o Chosa", NIKKEI LINUX, vol. 12, no. 6, 8 May 2010 (2010-05-08), pages 139 - 148, ISSN: 1345-0182
KAZUHIRO YAMATO: "GDB de Application Trouble no Gen'in o Chosa", NIKKEI LINUX, vol. 12, no. 6, 8 May 2010 (2010-05-08), pages 139 - 148, ISSN: 1345-0182
Attorney, Agent or Firm:
INOUE Manabu et al. (JP)
Manabu Inoue (JP)
Manabu Inoue (JP)
Download PDF:
Previous Patent: PATTERN MATCHING DEVICE AND COMPUTER PROGRAM FOR PATTERN MATCHING
Next Patent: VACUUM PROCESSING DEVICE
Next Patent: VACUUM PROCESSING DEVICE