Структурное тестирование программных систем с использованием элементов компьютерной алгебры

Ломакина, Л. С.; Вигура, А. Н.


	Наукова періодика України		Інформатика та математичні методи в моделюванні

Ломакина Л. С.
Структурное тестирование программных систем с использованием элементов компьютерной алгебры / Л. С. Ломакина, А. Н. Вигура // Інформатика та математичні методи в моделюванні. - 2013. - Т. 3, № 3. - С. 201-214. - Режим доступу: http://nbuv.gov.ua/UJRN/Itmm_2013_3_3_3

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

Повний текст PDF - 1.74 Mb

Зміст випуску Google Scholar

Цитування публікації

Цитованість авторів публікації:

Ломакина Л.

Вигура А.

Бібліографічний опис для цитування:

Ломакина Л. С. Структурное тестирование программных систем с использованием элементов компьютерной алгебры / Л. С. Ломакина, А. Н. Вигура // Інформатика та математичні методи в моделюванні. - 2013. - Т. 3, № 3. - С. 201-214. - Режим доступу: http://nbuv.gov.ua/UJRN/Itmm_2013_3_3_3.

Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"

Відділ інформаційно-комунікаційних технологій

Пам`ятка користувача