GRAPH-ANALYTICAL MODELS FOR CAD COMPUTING PROCESSES

A. . Zykov, A. . Bezroukov, O. F. Nemolochnov, V. I. Polyakov, A. V. Andronov


Read the full article 

Abstract

The article deals with graph-analytical models (GAM) for verification of computing processes in CAD. An example of complex cubic covering generation based on GAM for acyclic computing process is given; a task for test sets synthesis based on cubic coverings has been formulated.


Keywords: graph-analytical models, verification of computing processes, cubic coverings, testing.
Copyright 2001-2017 ©
Scientific and Technical Journal
of Information Technologies, Mechanics and Optics.
All rights reserved.

Яндекс.Метрика