Обзор систематических методов автоматической генерации тестовых данных по исходному коду программ
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Обзор систематических методов автоматической генерации тестовых данных по исходному коду программ
|
|
| Creator |
Волков, В.А.
Колчин, А.В. Летичевский, А.А. Потиенко, С.В. |
|
| Subject |
Програмно-технічні засоби інтелектуальних систем
|
|
| 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. |
|
| Date |
2018-06-04T19:13:11Z
2018-06-04T19:13:11Z 2017 |
|
| Type |
Article
|
|
| Identifier |
Обзор систематических методов автоматической генерации тестовых данных по исходному коду программ / В.А. Волков, А.В. Колчин, А.А. Летичевский, С.В. Потиенко // Штучний інтелект. — 2017. — № 2. — С. 71-84. — Бібліогр.: 47 назв. — рос.
1561-5359 http://dspace.nbuv.gov.ua/handle/123456789/133665 004.415.53+004.416.2 |
|
| Language |
ru
|
|
| Relation |
Штучний інтелект
|
|
| Publisher |
Інститут проблем штучного інтелекту МОН України та НАН України
|
|