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

Ломакина, Любовь Сергеевна; Ломакіна, Любов Сергіївна; Lomakina, Lyubov; Вигура, Антон Н.; Вігура, Антон М.; Vigura, Anton

eONPUIR
→
1. Періодичні видання національного університету "Одеська політехніка"
→
Інформатика та математичні методи в моделюванні
→
2013
→
ІНФОРМАТИКА ТА МАТЕМАТИЧНІ МЕТОДИ В МОДЕЛЮВАННІ. Том 3, номер 3, 2013
→
Посмотреть элемент

dc.contributor.author	Ломакина, Любовь Сергеевна
dc.contributor.author	Ломакіна, Любов Сергіївна
dc.contributor.author	Lomakina, Lyubov
dc.contributor.author	Вигура, Антон Н.
dc.contributor.author	Вігура, Антон М.
dc.contributor.author	Vigura, Anton
dc.date.accessioned	2017-03-09T11:24:06Z
dc.date.available	2017-03-09T11:24:06Z
dc.date.issued	2013
dc.identifier.citation	Ломакина, Л. С. Структурное тестирование программных систем с использованием элементов компьютерной алгебры / Л. С. Ломакина, А. Н. Вигура // Інформатика та мат. методи в моделюванні = Informatics and Mathematical Methods in Simulation. – Одеса, 2013. – Т. 3, № 3. – С. 201–214.	ru
dc.identifier.issn	2226-1923
dc.identifier.issn	2223-5744
dc.identifier.uri	http://dspace.opu.ua/xmlui/handle/123456789/1539
dc.description.abstract	Предложен метод структурного тестирования программных систем, основанный на алгебраической модели программы и динамическом символьном выполнении на уровне машинного кода и позволяющий автоматизировать модульное тестирование программ, реализованных на компилируемых языках программирования.	en
dc.description.abstract	Запропоновано метод структурного тестування програмних систем, заснований на алгебраїчної моделі програми і динамічному символьному виконанні на рівні машинного коду і дозволяє автоматизувати модульне тестування програм, реалізованих на компільованих мовах програмування.	en
dc.description.abstract	A method of software system structural testing based on the program algebraic model and machine code-level dynamic symbolic execution is proposed. The method allows for unit testing automation for programs written in compiled languages.	en
dc.language.iso	ru	en
dc.subject	программные системы	en
dc.subject	тестирование	en
dc.subject	генерация тестовых данных	en
dc.subject	алгебраическая модель	en
dc.subject	символьное выполнение	en
dc.subject	програмні системи	en
dc.subject	тестування	en
dc.subject	генерація тестових даних	en
dc.subject	алгебраїчна модель	en
dc.subject	символьне виконання	en
dc.subject	software systems	en
dc.subject	testing	en
dc.subject	test data generation	en
dc.subject	algebraic model	en
dc.subject	symbolic execution	en
dc.title	Структурное тестирование программных систем с использованием элементов компьютерной алгебры	en
dc.title.alternative	Структурне тестування програмних систем з використанням елементів комп’ютерної алгебри	en
dc.title.alternative	Structural testing of software systems using elements of computer algebra	en
dc.type	Article	en
opu.citation.journal	Інформатика та математичні методи в моделюванні
opu.citation.firstpage	201	en
opu.citation.lastpage	214	en