Verification of requirements specification, design specification, and computer-readable storage medium apparatus, and method thereof
AssigneeFujitsu Limited
InventorsQiang Zhu, Hiroaki Iwashita, Koichiro Takayama, Tsuneo Nakata
Life of this patent
Estimating the term…
Abstract
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.
Claims20
A non-transitory computer-readable medium storing a specification verification program that causes a computer to perform a specification verification of coverage of a requirements specification of a design object against a design specification of the design object, according to operations comprising:
- acquiring from a use case description as the requirements specification of the design object, one or more anterior, posterior or invariant conditions necessary to be satisfied in connection with execution of each use case;
- detecting a state from a set of states in a finite state machine model as the design specification of the design object that satisfies one or more of the conditions acquired from the use case description;
- determining presence or absence of an undetected state in the set of states in accordance with a result of the detection performed in the detecting;
- and
- outputting a result of the determining.
A specification verification apparatus that performs a specification verification of coverage of a requirements specification of a design object against a design specification of the design object, the specification verification apparatus comprising:
- acquiring unit to acquire from a use case description as the requirements specification of the design object, one or more anterior, posterior or invariant conditions necessary to be satisfied in connection with conditions necessary to be satisfied in connection with execution of each use case from a use case;
- detecting unit to detect a state from among a set of states in a finite state machine model as the design specification of the design object that satisfies one or more of the conditions acquired from the use case description;
- determining unit to determine presence or absence of an undetected state in the set of states in accordance with a result of the detection performed in the detecting unit;
- and
- output unit to output a result of the determination performed in the determining unit.
A specification verification method to perform a specification verification of coverage of a requirements specification of a design object against a design specification of the design object, the specification verification method comprising:
- acquiring from a use case description as the requirements specification of the design object, one or more anterior, posterior or invariant conditions necessary to be satisfied in connection with execution of each use case;
- detecting a state from among a set of states in a finite state machine model as the design specification of the design object that satisfies one or more of the conditions acquired from the use case description;
- determining presence or absence of an undetected state in the set of states in accordance with a result of the detection performed in the detecting, using a computer;
- and
- outputting a result of the determination performed in the determining.
A method of verifying coverage of a requirements specification of a design object against a design specification of the design object, the method comprising:
- acquiring a use case description as the requirements specification of the design object,
- acquiring one or more anterior, posterior or invariant conditions necessary to be satisfied in connection with execution of each use case;
- detecting a state from among a set of states in a finite state machine as the design specification of the design object that satisfies one or more of the conditions acquired from the use case description, using a computer;
- and
- determining presence or absence of an undetected state in the set of states, according to the detecting.
Dependencies are inferred from the claim text.