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

A. . Lazdin, O. F. Nemolochnov


Read the full article 

Abstract

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


Keywords:

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



Creative Commons License

This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License
Copyright 2001-2018 ©
Scientific and Technical Journal
of Information Technologies, Mechanics and Optics.
All rights reserved.

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