Procedure for automatic generation of test sequences.

摘要

METHOD FOR GENERATING AUTOMATIC, from a system or protocol specified as an FSM, SEQUENCE OF TEST ONLY, IN ORDER TO ESTABLISH IF THIS OR NOT EXECUTE in a particular state. BASED ON FSM it is generated a table comprising legal possibilities for each state, as well as a series of tables COMPRISING IMPOSSIBILITIES LEGAL STATEMENTS FOR REMAINING. STRINGS ONLY TEST SEEN selecting those sequences IO taking place in LA "possibilities table" and all "impossibilities tables". If needed, you can be selected THUS THE SHORTER UIO SEQUENCE.