Title:
COMPUTER IMPLEMENTED METHOD FOR CONSTRUCTING RELIABLE AND EXECUTABLE SOFTWARE, SOFTWARE CONSTRUCTION SYSTEM, AND COMPUTER PROGRAM PRODUCT (RELIABILITY VERIFICATION OF SOFTWARE DELIVERABLE)
Document Type and Number:
Japanese Patent JP2023041624
Kind Code:
A
Abstract:
To provide a computer implemented method for verifying reliability of software deliverables, a software construction system, and a computer program product.SOLUTION: There is provided a computer implemented method for constructing reliable and executable software using reliable construction units between which a route is not reliable, the method including steps of: generating, for each reliable construction unit, an identifier for identifying an output of the reliable construction unit, the reliable construction unit also generating a confirmable certificate with a signature containing the identifier; utilizing, for each distributed reliable construction unit, at least one output result of a preceding construction unit among the reliable construction units as an input; verifying that each confirmable certificate with a signature conforms to a pre-determined series of policy rules; and terminating the construction of the reliable and executable software when the verification of one confirmable certificate with a signature among the reliable construction units has failed.SELECTED DRAWING: Figure 1
More Like This:
Inventors:
FLORIAN FRITZ
TIMO KUSSMAUL
DENNIS ZEISBERG
ANGEL NUNEZ MENCIAS
DIMITRIJ PANKRATZ
STEFAN LIESCHE
SEBASTIAN HENSE
TIMO KUSSMAUL
DENNIS ZEISBERG
ANGEL NUNEZ MENCIAS
DIMITRIJ PANKRATZ
STEFAN LIESCHE
SEBASTIAN HENSE
Application Number:
JP2022129528A
Publication Date:
March 24, 2023
Filing Date:
August 16, 2022
Export Citation:
Assignee:
INT BUSINESS MASCHINES CORPORATION
International Classes:
G06F21/57; G06F11/36; H04L9/32
Attorney, Agent or Firm:
Tadashi Taneichi
Kataoka Tadahiko
Jiro Furube
Hiroyuki Kubo
Kataoka Tadahiko
Jiro Furube
Hiroyuki Kubo