SOFTWARE SPECIFICATION PROOF SUPPORT DEVICE AND PROOF SUPPORT METHOD

Title:

SOFTWARE SPECIFICATION PROOF SUPPORT DEVICE AND PROOF SUPPORT METHOD

Document Type and Number:

WIPO Patent Application WO/2011/145363

Kind Code:

A1

Abstract:

Disclosed is a software specification proof support device which, when a software specification proof fails, is capable of correcting the software specification without operations for confirmation and selection of correction candidates. By extracting from the inputted software specification the invariant condition candidate list thereof, inferring from the aforementioned software specification invariant condition candidates extracted from the aforementioned invariant condition candidate list, and adding to the aforementioned software specification the inferred invariant condition candidates, the software proof support device corrects the software specification.

Inventors:

SATO NAOTO (JP)
KURUMA HIRONOBU (JP)
MIBE RYOTA (JP)

Application Number:

PCT/JP2011/052115

Publication Date:

November 24, 2011

Filing Date:

February 02, 2011

Export Citation:

Click for automatic bibliography generation Help

Assignee:

HITACHI LTD (JP)
SATO NAOTO (JP)
KURUMA HIRONOBU (JP)
MIBE RYOTA (JP)

International Classes:

G06F11/36

Foreign References:

JPH0765046A	1995-03-10
JPH05119987A	1993-05-18
JP2009116648A	2009-05-28

Other References:

HAN-MYUNG CHANG ET AL.: "Sosa Shiyo Kijutsu ni Okeru System Jotai Fuhen Joken no Chushutsu", LECTURE NOTE/SOFTWARE-GAKU (15) SOFTWARE KOGAKU NO KISO II, 20 January 1996 (1996-01-20), pages 183 - 188
SHIN NAKAJIMA ET AL.: "A Comparative Study on Modeling for Verification", IEICE TECHNICAL REPORT, vol. 109, no. 367, 14 January 2010 (2010-01-14), pages 5

Attorney, Agent or Firm:

ASAMURA PATENT OFFICE, p. c. (JP)
Patent business corporation Asamura patent firm (JP)

Download PDF:

View/Download PDF PDF Help

Claims:

Previous Patent: SEMICONDUCTOR DEVICE, AND METHOD FOR PRODUCING SAME

Next Patent: HEAD-MASSAGING MACHINE