Метод построения графа функциональной программы для решения задач верификации и тестирования

A. . Lazdin, O. F. Nemolochnov


Read the full article 

Abstract

Предложен метод формирования графового представления исполняемого кода, ориентированный для работе в системах автоматизированного анализа программного обеспечения.


Keywords:

верифкация, тестирование, граф

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

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