公开(公告)号：US20210208996A1

公开(公告)日：2021-07-08

申请号：US17257676

申请日：2019-06-27

Applicant: NEC Corporation

Inventor： Tatsuya FUKUDA

IPC: G06F11/36 ,  G06F8/76 ,  G06F8/71

Abstract: The invention makes it possible to reuse a verification script without manually modifying the internal parameters of the verification script. A verification automation apparatus 1 adapts a verification script to a system that is to be verified. The verification automation apparatus 1 includes: a verification script acquisition unit 101 that acquires a verification script that includes an execution script for verification work and execution enabling requirements for executing the execution script; a verification configuration search unit 104 that searches the system to be verified, for configurations for which the execution script is executable, using environment information regarding the system to be verified, and the execution enabling requirements; and an execution script materializing unit 105 that materializes the execution script based on the configuration that has been found through the search, so as to be executable in the system to be verified.

公开(公告)号：US20220261319A1

公开(公告)日：2022-08-18

申请号：US17618608

申请日：2019-06-24

Applicant: NEC Corporation

Inventor： Tatsuya FUKUDA

IPC: G06F11/18

Abstract: The configuration information generation unit 101, when given a set of constituent requirements, generates configuration information representing the system, by repeating operation of replacing the constituent requirement with a set of more concrete constituent requirements according to a replacement rule. The verification program generation unit 106 generates, for each constituent requirement, a verification program for verifying whether parts in the system corresponding to the constituent requirement in the configuration information are normal or not. The verification program execution unit 107 causes the system to execute the verification program. The fault isolation unit 109 separates the part in the system where a fault may have occurred from the part where the fault has not occurred, according to whether execution result of the verification program is success or not.

公开(公告)号：US20210311843A1

公开(公告)日：2021-10-07

申请号：US17218408

申请日：2021-03-31

Applicant: NEC Corporation

Inventor： Kazuki TANABE ,  Tatsuya FUKUDA ,  Takayuki KURODA

IPC: G06F11/22 ,  G06F11/263 ,  G06F11/30

Abstract: The system verification program generation device 20 is equipped with a search unit 21 that searches a system design for execution entities and parameters of a verification program, which is a program that verifies whether the system design derived from system requirements satisfies one or more verification items extracted from the system requirements.

公开(公告)号：US20220180418A1

公开(公告)日：2022-06-09

申请号：US17542661

申请日：2021-12-06

Applicant: NEC Corporation

Inventor： Takashi MARUYAMA ,  Kozo SATODA ,  Takayuki KURODA ,  Yutaka YAKUWA ,  Takuya KUWAHARA ,  Tatsuya FUKUDA ,  Kazuki TANABE

IPC: G06Q30/06 ,  G06F16/28 ,  G09B5/02 ,  G09B19/00

Abstract: A cocktail proposal apparatus according to the present disclosure includes an input unit configured to receive an input of a requirement for a cocktail, a correspondence relationship storage unit configured to store a first correspondence relationship representing a correspondence relationship between an element characterizing the cocktail and the cocktail, an optimum cocktail search unit configured to select a type of cocktail based on the element included in the requirement input to the input unit and the first correspondence relationship, and an output unit configured to output the type of cocktail selected by the optimum cocktail search unit.