Метод генерации тестовых данных по исходному коду Java программ
Цель предлагаемого метода – повышение эффективности автоматической генерации и минимизации множества тестовых данных для обеспечения покрытия исходного кода Java программ. Рассматриваются различные виды покрытия, способы абстрактной интерпретации и редукции пространства поиска. В основу метода полож...
Збережено в:
| Дата: | 2016 |
|---|---|
| Автори: | , |
| Формат: | Стаття |
| Мова: | Russian |
| Опубліковано: |
Інститут проблем штучного інтелекту МОН України та НАН України
2016
|
| Назва видання: | Штучний інтелект |
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/132069 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Метод генерации тестовых данных по исходному коду Java программ / А.В. Колчин, С.В. Потиенко // Штучний інтелект. — 2016. — № 3. — С. 50-58. — Бібліогр.: 15 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
irk-123456789-132069 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-1320692018-04-11T03:04:03Z Метод генерации тестовых данных по исходному коду Java программ Колчин, А.В. Потиенко, С.В. Програмно-технічні засоби інтелектуальних систем Цель предлагаемого метода – повышение эффективности автоматической генерации и минимизации множества тестовых данных для обеспечения покрытия исходного кода Java программ. Рассматриваются различные виды покрытия, способы абстрактной интерпретации и редукции пространства поиска. В основу метода положены формальные методы анализа поведения модели. The objective of proposed method is to increase efficiency of automatic generation and minimization of test data set needed to guarantee coverage of source code of Java programs. Different kinds of coverage, methods of abstract interpretation and state-space reduction are discussed. The basis of the proposed method is formal methods of model behavior analysis. 2016 Article Метод генерации тестовых данных по исходному коду Java программ / А.В. Колчин, С.В. Потиенко // Штучний інтелект. — 2016. — № 3. — С. 50-58. — Бібліогр.: 15 назв. — рос. 1561-5359 http://dspace.nbuv.gov.ua/handle/123456789/132069 004.415.53+004.832.23 ru Штучний інтелект Інститут проблем штучного інтелекту МОН України та НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Russian |
| topic |
Програмно-технічні засоби інтелектуальних систем Програмно-технічні засоби інтелектуальних систем |
| spellingShingle |
Програмно-технічні засоби інтелектуальних систем Програмно-технічні засоби інтелектуальних систем Колчин, А.В. Потиенко, С.В. Метод генерации тестовых данных по исходному коду Java программ Штучний інтелект |
| description |
Цель предлагаемого метода – повышение эффективности автоматической генерации и минимизации множества тестовых данных для обеспечения покрытия исходного кода Java программ. Рассматриваются различные виды покрытия, способы абстрактной интерпретации и редукции пространства поиска. В основу метода положены формальные методы анализа поведения модели. |
| format |
Article |
| author |
Колчин, А.В. Потиенко, С.В. |
| author_facet |
Колчин, А.В. Потиенко, С.В. |
| author_sort |
Колчин, А.В. |
| title |
Метод генерации тестовых данных по исходному коду Java программ |
| title_short |
Метод генерации тестовых данных по исходному коду Java программ |
| title_full |
Метод генерации тестовых данных по исходному коду Java программ |
| title_fullStr |
Метод генерации тестовых данных по исходному коду Java программ |
| title_full_unstemmed |
Метод генерации тестовых данных по исходному коду Java программ |
| title_sort |
метод генерации тестовых данных по исходному коду java программ |
| publisher |
Інститут проблем штучного інтелекту МОН України та НАН України |
| publishDate |
2016 |
| topic_facet |
Програмно-технічні засоби інтелектуальних систем |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/132069 |
| citation_txt |
Метод генерации тестовых данных по исходному коду Java программ / А.В. Колчин, С.В. Потиенко // Штучний інтелект. — 2016. — № 3. — С. 50-58. — Бібліогр.: 15 назв. — рос. |
| series |
Штучний інтелект |
| work_keys_str_mv |
AT kolčinav metodgeneraciitestovyhdannyhpoishodnomukodujavaprogramm AT potienkosv metodgeneraciitestovyhdannyhpoishodnomukodujavaprogramm |
| first_indexed |
2023-10-18T21:03:34Z |
| last_indexed |
2023-10-18T21:03:34Z |
| _version_ |
1796151816124104704 |