GRAPH-ANALYTICAL MODELS FOR CAD COMPUTING PROCESSES

Anatoly Zykov, Alexander Bezroukov, Nemolochnov Oleg F., Vladimir I. Polyakov, Andronov Alexey V.

2011 , VOLUME 11, NUMBER 4 ( JULY-AUGUST )

ISSN 2226-1494 (print), ISSN 2500-0373 (online)

Publications

Editor-in-Chief

Nikiforov
Vladimir O.
D.Sc., Prof.

Partners

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.

This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License