首页>
外国专利>
Method and apparatus for constructing unique input/output sequence (UIO) sets utilizing transition distinctness measurements
Method and apparatus for constructing unique input/output sequence (UIO) sets utilizing transition distinctness measurements
展开▼
机译:利用过渡差异性测量来构造唯一输入/输出序列(UIO)集的方法和装置
展开▼
页面导航
摘要
著录项
相似文献
摘要
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).
展开▼