发明名称 |
Test case generation apparatus, generation method therefor, and program storage medium |
摘要 |
A method of the present invention includes: inputting a state transition diagram that represents first transitions between a plurality of states; inputting a mapping function that maps a given state to a value within a certain range; mapping each of the states with the mapping function to obtain mapping values, and perform grouping of the states into a plurality of groups based on the mapping values; for each of pairs of two groups obtained by combining two of the groups, setting a second transition from one group of the two groups to the other group when there is at least one first transition between therein; generating a representative transition path which is a sequence of the second transitions by tracing sequentially the second transitions; converting the representative transition path to a transition path in the state transition diagram; outputting the transition path as the test case. |
申请公布号 |
US8219573(B2) |
申请公布日期 |
2012.07.10 |
申请号 |
US20090397602 |
申请日期 |
2009.03.04 |
申请人 |
SHIN HIROMASA;KABUSHIKI KAISHA TOSHIBA |
发明人 |
SHIN HIROMASA |
分类号 |
G06F17/30;G06F11/28;G06F11/36 |
主分类号 |
G06F17/30 |
代理机构 |
|
代理人 |
|
主权项 |
|
地址 |
|