Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
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.pdf | 867.23 kB | Adobe PDF | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.