Метод генерации тестовых данных по исходному коду Java программ
Цель предлагаемого метода – повышение эффективности автоматической генерации и минимизации множества тестовых данных для обеспечения покрытия исходного кода Java программ. Рассматриваются различные виды покрытия, способы абстрактной интерпретации и редукции пространства поиска. В основу метода полож...
Saved in:
| Published in: | Штучний інтелект |
|---|---|
| Date: | 2016 |
| Main Authors: | , |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут проблем штучного інтелекту МОН України та НАН України
2016
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/132069 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Метод генерации тестовых данных по исходному коду Java программ / А.В. Колчин, С.В. Потиенко // Штучний інтелект. — 2016. — № 3. — С. 50-58. — Бібліогр.: 15 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-132069 |
|---|---|
| record_format |
dspace |
| spelling |
Колчин, А.В. Потиенко, С.В. 2018-04-10T16:01:06Z 2018-04-10T16:01:06Z 2016 Метод генерации тестовых данных по исходному коду Java программ / А.В. Колчин, С.В. Потиенко // Штучний інтелект. — 2016. — № 3. — С. 50-58. — Бібліогр.: 15 назв. — рос. 1561-5359 https://nasplib.isofts.kiev.ua/handle/123456789/132069 004.415.53+004.832.23 Цель предлагаемого метода – повышение эффективности автоматической генерации и минимизации множества тестовых данных для обеспечения покрытия исходного кода 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. ru Інститут проблем штучного інтелекту МОН України та НАН України Штучний інтелект Програмно-технічні засоби інтелектуальних систем Метод генерации тестовых данных по исходному коду Java программ A method of test data generation from source code of Java programs Article published earlier |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Метод генерации тестовых данных по исходному коду Java программ |
| spellingShingle |
Метод генерации тестовых данных по исходному коду Java программ Колчин, А.В. Потиенко, С.В. Програмно-технічні засоби інтелектуальних систем |
| title_short |
Метод генерации тестовых данных по исходному коду Java программ |
| title_full |
Метод генерации тестовых данных по исходному коду Java программ |
| title_fullStr |
Метод генерации тестовых данных по исходному коду Java программ |
| title_full_unstemmed |
Метод генерации тестовых данных по исходному коду Java программ |
| title_sort |
метод генерации тестовых данных по исходному коду java программ |
| author |
Колчин, А.В. Потиенко, С.В. |
| author_facet |
Колчин, А.В. Потиенко, С.В. |
| topic |
Програмно-технічні засоби інтелектуальних систем |
| topic_facet |
Програмно-технічні засоби інтелектуальних систем |
| publishDate |
2016 |
| language |
Russian |
| container_title |
Штучний інтелект |
| publisher |
Інститут проблем штучного інтелекту МОН України та НАН України |
| format |
Article |
| title_alt |
A method of test data generation from source code of Java programs |
| description |
Цель предлагаемого метода – повышение эффективности автоматической генерации и минимизации множества тестовых данных для обеспечения покрытия исходного кода 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.
|
| issn |
1561-5359 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/132069 |
| citation_txt |
Метод генерации тестовых данных по исходному коду Java программ / А.В. Колчин, С.В. Потиенко // Штучний інтелект. — 2016. — № 3. — С. 50-58. — Бібліогр.: 15 назв. — рос. |
| work_keys_str_mv |
AT kolčinav metodgeneraciitestovyhdannyhpoishodnomukodujavaprogramm AT potienkosv metodgeneraciitestovyhdannyhpoishodnomukodujavaprogramm AT kolčinav amethodoftestdatagenerationfromsourcecodeofjavaprograms AT potienkosv amethodoftestdatagenerationfromsourcecodeofjavaprograms |
| first_indexed |
2025-12-07T17:16:15Z |
| last_indexed |
2025-12-07T17:16:15Z |
| _version_ |
1850870622120312832 |