Method for the automatic generation of test sequences

摘要

Method for the automatic generation, from a system or protocol specified as an FSM, of unique test sequences in order to establish whether or not the implementation is in a particular state. On the basis of the FSM a table comprising legal possibilities is generated for each state, as well as a series of tables comprising legal impossibilities for the remaining states. Unique test sequences are found by selecting those IO sequences which occur in the "possibilities table" and in all the "impossibilities tables". If required, the shortest UIO sequence can be selected therefrom.