Обзор систематических методов автоматической генерации тестовых данных по исходному коду программ

Обзор систематических методов автоматической генерации тестовых данных по исходному коду программ

Обзор включает описание распространенных типов покрытия и современных методов генерации тестов из кода императивных программ. Особое внимание уделено методам, в основу которых положена техника символьного выполнения. Обсуждаются преимущества различных подходов и недостатки автоматического порождения...

Повний опис

Збережено в:
Бібліографічні деталі
Опубліковано в: :Штучний інтелект
Дата:2017
Автори: Волков, В.А., Колчин, А.В., Летичевский, А.А., Потиенко, С.В.
Формат: Стаття
Мова:Russian
Опубліковано: Інститут проблем штучного інтелекту МОН України та НАН України 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
id nasplib_isofts_kiev_ua-123456789-133665
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
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
title Обзор систематических методов автоматической генерации тестовых данных по исходному коду программ
spellingShingle Обзор систематических методов автоматической генерации тестовых данных по исходному коду программ
Волков, В.А.
Колчин, А.В.
Летичевский, А.А.
Потиенко, С.В.
Програмно-технічні засоби інтелектуальних систем
title_short Обзор систематических методов автоматической генерации тестовых данных по исходному коду программ
title_full Обзор систематических методов автоматической генерации тестовых данных по исходному коду программ
title_fullStr Обзор систематических методов автоматической генерации тестовых данных по исходному коду программ
title_full_unstemmed Обзор систематических методов автоматической генерации тестовых данных по исходному коду программ
title_sort обзор систематических методов автоматической генерации тестовых данных по исходному коду программ
author Волков, В.А.
Колчин, А.В.
Летичевский, А.А.
Потиенко, С.В.
author_facet Волков, В.А.
Колчин, А.В.
Летичевский, А.А.
Потиенко, С.В.
topic Програмно-технічні засоби інтелектуальних систем
topic_facet Програмно-технічні засоби інтелектуальних систем
publishDate 2017
language Russian
container_title Штучний інтелект
publisher Інститут проблем штучного інтелекту МОН України та НАН України
format Article
title_alt A survey of systematic methods for code-based test data generation
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.
issn 1561-5359
url https://nasplib.isofts.kiev.ua/handle/123456789/133665
citation_txt Обзор систематических методов автоматической генерации тестовых данных по исходному коду программ / В.А. Волков, А.В. Колчин, А.А. Летичевский, С.В. Потиенко // Штучний інтелект. — 2017. — № 2. — С. 71-84. — Бібліогр.: 47 назв. — рос.
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
first_indexed 2025-12-02T02:21:22Z
last_indexed 2025-12-02T02:21:22Z
_version_ 1850861375529680896

Схожі ресурси