Applying the method of heuristics for the optimal set of test scenarios generation

Conference "Technologies Microsoft in the theory and programming practice"

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.