МЕТОДЫ ТЕСТИРОВАНИЯ ВЫЧИСЛИТЕЛЬНЫХ ПРОЦЕССОВ

O. F. Nemolochnov, A. . Zykov, L. . Osovetsky, V. I. Polyakov


Read the full article 

Abstract

В работе предлагаются и рассматриваются примитивы вырожденных покрытий вершин графо-аналитических моделей программ,  графо-аналитические модели двух ациклических вычислительных процессов, решающих одну и ту же задачу, построение их комплексных покрытий и два способа верификации: по покрытиям и перекрестным тестированием.


Copyright 2001-2017 ©
Scientific and Technical Journal
of Information Technologies, Mechanics and Optics.
All rights reserved.

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