发明名称 |
Method and apparatus for constructing unique input/output sequence (UIO) sets utilizing transition distinctness measurements |
摘要 |
A measurement of the distinctness of Finite State Machine (FSM) (33) model state transitions can expedite identification of Unique Input/Output Sequences (UIO) (63). The Input/Output (I/O) sequences associated with FSM model (33) state transitions are compared. Each different I/O sequence is replaced by a different label so that transitions with the same I/O sequence have the same label and transitions with different I/O sequences have different labels. A transformation of the count of the number of times that each label is found in the FSM model, or a subset thereof, is determined, and assigned to each corresponding transition as a Distinctness Measurement (58). This Distinctness Measurement can be used to expedite a depth-first search for Unique Input/Output Sequences (63).
|
申请公布号 |
US5555270(A) |
申请公布日期 |
1996.09.10 |
申请号 |
US19950403332 |
申请日期 |
1995.03.13 |
申请人 |
MOTOROLA INC. |
发明人 |
SUN, XIAO;HULL, CARMIE A. |
分类号 |
G06F17/50;(IPC1-7):G06F11/00 |
主分类号 |
G06F17/50 |
代理机构 |
|
代理人 |
|
主权项 |
|
地址 |
|