Fujitsu Corporation

Qiang Zhu

Ryosuke Oishi

Tsuneo Nakata

Hiroaki Iwashita

Koichiro Takayama

Akio Matsuda

Takashi Hasegawa

Conditions necessary to be satisfied for execution of each use case from a use case description indicative of a requirements specification of the design object are acquired. Then a state satisfying the conditions, from among a set of states represented in a finite state machine model indicative of a design specification of the design object are detected. A presence or absence of an undetected state in the set of states in accordance with the detection is determined and output.

Verification of requirements specification, design specification, and computer-readable storage medium apparatus, and method thereof

An apparatus for verifying a specification includes a use-case extracting unit, a first setting unit, an operation extracting unit, a second setting unit, and a determining unit. The use-case extracting unit extracts an unprocessed use case from specification data. The first setting unit sets a condition based on a precondition, a postcondition, and an invariant condition for the use case. The operation extracting unit selects an event flow of an unprocessed path from the specification data and extracts an unprocessed operation (description) from the event flow selected. The second setting unit sets a precondition and a postcondition for the operation based on the extracted operation (description). The determining unit determines whether the invariant condition is valid.

Method and apparatus for verifying specification, and computer product

A method of generating a scenario includes generating a specification model by describing a specification in a predetermined descriptive language, extracting a plurality of operations from the specification model, generating a plurality of operation descriptions, each of which corresponds to one of the operations and includes an operation name and a constraint condition, generating at least one cause-effect graph that combines the operations based on the operation descriptions, and extracting as a scenario a series of operations from the cause-effect graph.

Systematic generation of scenarios from specification sheet

An apparatus for supporting a verification for each of a plurality of functions of a target object, includes: a receiving unit that receives a use case diagram that includes a plurality of use cases each of which corresponding to each of the functions; an extracting unit that extracts a relation between the use cases from the use case diagram; and a setting unit that sets a priority of verification for each of the use cases based on the relation.

Method and apparatus for supporting verification of hardware and software, and computer product

An input unit inputs specification description that includes a plurality of pieces of processing information each indicative of a processing performed by a design object and association information indicative of associations among the processing information. A node generating unit generates a node for each of the processing information. A link generating unit generates, based on the association information, a link that couples nodes generated by the node generating unit. A sub-chart generating unit configured to generate a plurality of sub-charts by dividing a chart indicating a content of the specification description, based on the node and the link. A function-module generating unit generates, for each of the sub-charts, a function module that executes a function based on the processing information corresponding to the node in the sub-chart and the association information corresponding to the link in the sub-chart.

Design support apparatus, design support method, and computer product for designing function module from specification description

A verification supporting apparatus includes a concept model generating unit, a function model verifying unit, a motion model verifying unit, and an ICA model verifying unit. The concept model generating unit generates a concept model aiming at a requirement specification of a customer to eliminate an error or misunderstanding of the specification at the initial stage of design. The function model verifying unit verifies a concurrent and parallel function model, to verify appropriateness of function module division and correctness of concurrence and parallelism. The motion model verifying unit verifies a motion model, to verify whether the design of architecture is appropriate and whether performance requirements are satisfied. The ICA model verifying unit verifies correctness of interface design.

Growing community of inventors

Kawasaki, Japan

Qiang Zhu