Метод генерации тестовых данных по исходному коду Java программ
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Метод генерации тестовых данных по исходному коду Java программ
|
|
| Creator |
Колчин, А.В.
Потиенко, С.В. |
|
| Subject |
Програмно-технічні засоби інтелектуальних систем
|
|
| 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. |
|
| Date |
2018-04-10T16:01:06Z
2018-04-10T16:01:06Z 2016 |
|
| Type |
Article
|
|
| Identifier |
Метод генерации тестовых данных по исходному коду Java программ / А.В. Колчин, С.В. Потиенко // Штучний інтелект. — 2016. — № 3. — С. 50-58. — Бібліогр.: 15 назв. — рос.
1561-5359 http://dspace.nbuv.gov.ua/handle/123456789/132069 004.415.53+004.832.23 |
|
| Language |
ru
|
|
| Relation |
Штучний інтелект
|
|
| Publisher |
Інститут проблем штучного інтелекту МОН України та НАН України
|
|