Например, Бобцов

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

Аннотация:

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

Ключевые слова:

Статьи в номере