The paper presents a method of heuristics that provides a multiple reduction of efforts for generation of test scenarios from formal model. The approach of decomposition of large models in structural components for independent analysis and further integration of results is also described.