Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://dspace.opu.ua/jspui/handle/123456789/1539Полная запись метаданных
| Поле DC | Значение | Язык |
|---|---|---|
| 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 |
| Располагается в коллекциях: | ІНФОРМАТИКА ТА МАТЕМАТИЧНІ МЕТОДИ В МОДЕЛЮВАННІ. Том 3, номер 3, 2013 | |
Файлы этого ресурса:
| Файл | Описание | Размер | Формат | |
|---|---|---|---|---|
| 201-214.pdf | 867.23 kB | Adobe PDF | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.