Invention Grant
- Patent Title: Verification of requirements specification, design specification, and computer-readable storage medium apparatus, and method thereof
- Patent Title (中): 验证要求规范，设计规范和计算机可读存储介质，设备及其方法
-
Application No.: US12136378Application Date: 2008-06-10
-
Publication No.: US08079001B2Publication Date: 2011-12-13
- Inventor: Qiang Zhu , Hiroaki Iwashita , Koichiro Takayama , Tsuneo Nakata
- Applicant: Qiang Zhu , Hiroaki Iwashita , Koichiro Takayama , Tsuneo Nakata
- Applicant Address: JP Kawasaki
- Assignee: Fujitsu Limited
- Current Assignee: Fujitsu Limited
- Current Assignee Address: JP Kawasaki
- Agency: Staas & Halsey LLP
- Priority: JP2007-159004 20070615
- Main IPC: G06F17/50
- IPC: G06F17/50 ; G06F9/455
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.
Public/Granted literature
Information query
