发明名称 |
Verification support apparatus, verification support method, and computer product |
摘要 |
A verification support apparatus includes an identifying unit that, by using a pre-change specification and a post-change specification given before and after a specification change in a subject to be verified, identifies an area that has changed from among a plurality of specification items included in the post-change specification and a selecting unit that selects a specification item from among the areas identified by the identifying unit. The verification support apparatus further includes a searching unit that, by referring a transition graph concerning the specification items included in the post-change specification and by tracing specification items as origins of transitions from a starting point that is the specification item selected by the selecting unit, searches for a route made up of specification items affected by the specification change; and an output unit that outputs a search result of the searching unit.
|
申请公布号 |
US8458110(B2) |
申请公布日期 |
2013.06.04 |
申请号 |
US20080332960 |
申请日期 |
2008.12.11 |
申请人 |
MORIZAWA RAFAEL KAZUMITI;OISHI RYOUSUKE;MATSUDA AKIO;FUJITSU LIMITED |
发明人 |
MORIZAWA RAFAEL KAZUMITI;OISHI RYOUSUKE;MATSUDA AKIO |
分类号 |
G06N5/00 |
主分类号 |
G06N5/00 |
代理机构 |
|
代理人 |
|
主权项 |
|
地址 |
|