Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс: http://dspace.opu.ua/jspui/handle/123456789/1539
Название: Структурное тестирование программных систем с использованием элементов компьютерной алгебры
Другие названия: Структурне тестування програмних систем з використанням елементів комп’ютерної алгебри
Structural testing of software systems using elements of computer algebra
Авторы: Ломакина, Любовь Сергеевна
Ломакіна, Любов Сергіївна
Lomakina, Lyubov
Вигура, Антон Н.
Вігура, Антон М.
Vigura, Anton
Ключевые слова: программные системы
тестирование
генерация тестовых данных
алгебраическая модель
символьное выполнение
програмні системи
тестування
генерація тестових даних
алгебраїчна модель
символьне виконання
software systems
testing
test data generation
algebraic model
symbolic execution
Дата публикации: 2013
Библиографическое описание: Ломакина, Л. С. Структурное тестирование программных систем с использованием элементов компьютерной алгебры / Л. С. Ломакина, А. Н. Вигура // Інформатика та мат. методи в моделюванні = Informatics and Mathematical Methods in Simulation. – Одеса, 2013. – Т. 3, № 3. – С. 201–214.
Краткий осмотр (реферат): Предложен метод структурного тестирования программных систем, основанный на алгебраической модели программы и динамическом символьном выполнении на уровне машинного кода и позволяющий автоматизировать модульное тестирование программ, реализованных на компилируемых языках программирования.
Запропоновано метод структурного тестування програмних систем, заснований на алгебраїчної моделі програми і динамічному символьному виконанні на рівні машинного коду і дозволяє автоматизувати модульне тестування програм, реалізованих на компільованих мовах програмування.
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.
URI (Унифицированный идентификатор ресурса): http://dspace.opu.ua/xmlui/handle/123456789/1539
ISSN: 2226-1923
2223-5744
Располагается в коллекциях:ІНФОРМАТИКА ТА МАТЕМАТИЧНІ МЕТОДИ В МОДЕЛЮВАННІ. Том 3, номер 3, 2013

Файлы этого ресурса:
Файл Описание РазмерФормат 
201-214.pdf867.23 kBAdobe PDFПросмотреть/Открыть


Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.