Обзор систематических методов автоматической генерации тестовых данных по исходному коду программ
Обзор включает описание распространенных типов покрытия и современных методов генерации тестов из кода императивных программ. Особое внимание уделено методам, в основу которых положена техника символьного выполнения. Обсуждаются преимущества различных подходов и недостатки автоматического порождения...
Збережено в:
| Опубліковано в: : | Штучний інтелект |
|---|---|
| Дата: | 2017 |
| Автори: | , , , |
| Формат: | Стаття |
| Мова: | Російська |
| Опубліковано: |
Інститут проблем штучного інтелекту МОН України та НАН України
2017
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/133665 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Обзор систематических методов автоматической генерации тестовых данных по исходному коду программ / В.А. Волков, А.В. Колчин, А.А. Летичевский, С.В. Потиенко // Штучний інтелект. — 2017. — № 2. — С. 71-84. — Бібліогр.: 47 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862655154229084160 |
|---|---|
| author | Волков, В.А. Колчин, А.В. Летичевский, А.А. Потиенко, С.В. |
| author_facet | Волков, В.А. Колчин, А.В. Летичевский, А.А. Потиенко, С.В. |
| citation_txt | Обзор систематических методов автоматической генерации тестовых данных по исходному коду программ / В.А. Волков, А.В. Колчин, А.А. Летичевский, С.В. Потиенко // Штучний інтелект. — 2017. — № 2. — С. 71-84. — Бібліогр.: 47 назв. — рос. |
| collection | DSpace DC |
| container_title | Штучний інтелект |
| description | Обзор включает описание распространенных типов покрытия и современных методов генерации тестов из кода императивных программ. Особое внимание уделено методам, в основу которых положена техника символьного выполнения. Обсуждаются преимущества различных подходов и недостатки автоматического порождения тестов в целом.
The survey includes description of prevailing coverage types and modern methods of code-based tests generation for imperative programs. Special emphasis is made for methods, which are based on symbolic execution technique. Advantages of different approaches and disadvantages of the automatic tests generation as a whole are discussed.
|
| first_indexed | 2025-12-02T02:21:22Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-133665 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1561-5359 |
| language | Russian |
| last_indexed | 2025-12-02T02:21:22Z |
| publishDate | 2017 |
| publisher | Інститут проблем штучного інтелекту МОН України та НАН України |
| record_format | dspace |
| spelling | Волков, В.А. Колчин, А.В. Летичевский, А.А. Потиенко, С.В. 2018-06-04T19:13:11Z 2018-06-04T19:13:11Z 2017 Обзор систематических методов автоматической генерации тестовых данных по исходному коду программ / В.А. Волков, А.В. Колчин, А.А. Летичевский, С.В. Потиенко // Штучний інтелект. — 2017. — № 2. — С. 71-84. — Бібліогр.: 47 назв. — рос. 1561-5359 https://nasplib.isofts.kiev.ua/handle/123456789/133665 004.415.53+004.416.2 Обзор включает описание распространенных типов покрытия и современных методов генерации тестов из кода императивных программ. Особое внимание уделено методам, в основу которых положена техника символьного выполнения. Обсуждаются преимущества различных подходов и недостатки автоматического порождения тестов в целом. The survey includes description of prevailing coverage types and modern methods of code-based tests generation for imperative programs. Special emphasis is made for methods, which are based on symbolic execution technique. Advantages of different approaches and disadvantages of the automatic tests generation as a whole are discussed. ru Інститут проблем штучного інтелекту МОН України та НАН України Штучний інтелект Програмно-технічні засоби інтелектуальних систем Обзор систематических методов автоматической генерации тестовых данных по исходному коду программ A survey of systematic methods for code-based test data generation Article published earlier |
| spellingShingle | Обзор систематических методов автоматической генерации тестовых данных по исходному коду программ Волков, В.А. Колчин, А.В. Летичевский, А.А. Потиенко, С.В. Програмно-технічні засоби інтелектуальних систем |
| title | Обзор систематических методов автоматической генерации тестовых данных по исходному коду программ |
| title_alt | A survey of systematic methods for code-based test data generation |
| title_full | Обзор систематических методов автоматической генерации тестовых данных по исходному коду программ |
| title_fullStr | Обзор систематических методов автоматической генерации тестовых данных по исходному коду программ |
| title_full_unstemmed | Обзор систематических методов автоматической генерации тестовых данных по исходному коду программ |
| title_short | Обзор систематических методов автоматической генерации тестовых данных по исходному коду программ |
| title_sort | обзор систематических методов автоматической генерации тестовых данных по исходному коду программ |
| topic | Програмно-технічні засоби інтелектуальних систем |
| topic_facet | Програмно-технічні засоби інтелектуальних систем |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/133665 |
| work_keys_str_mv | AT volkovva obzorsistematičeskihmetodovavtomatičeskoigeneraciitestovyhdannyhpoishodnomukoduprogramm AT kolčinav obzorsistematičeskihmetodovavtomatičeskoigeneraciitestovyhdannyhpoishodnomukoduprogramm AT letičevskiiaa obzorsistematičeskihmetodovavtomatičeskoigeneraciitestovyhdannyhpoishodnomukoduprogramm AT potienkosv obzorsistematičeskihmetodovavtomatičeskoigeneraciitestovyhdannyhpoishodnomukoduprogramm AT volkovva asurveyofsystematicmethodsforcodebasedtestdatageneration AT kolčinav asurveyofsystematicmethodsforcodebasedtestdatageneration AT letičevskiiaa asurveyofsystematicmethodsforcodebasedtestdatageneration AT potienkosv asurveyofsystematicmethodsforcodebasedtestdatageneration |