Метод генерации тестовых данных по исходному коду Java программ

dc.contributor.author	Колчин, А.В.
dc.contributor.author	Потиенко, С.В.
dc.date.accessioned	2018-04-10T16:01:06Z
dc.date.available	2018-04-10T16:01:06Z
dc.date.issued	2016
dc.identifier.citation	Метод генерации тестовых данных по исходному коду Java программ / А.В. Колчин, С.В. Потиенко // Штучний інтелект. — 2016. — № 3. — С. 50-58. — Бібліогр.: 15 назв. — рос.	uk_UA
dc.identifier.issn	1561-5359
dc.identifier.uri	http://dspace.nbuv.gov.ua/handle/123456789/132069
dc.description.abstract	Цель предлагаемого метода – повышение эффективности автоматической генерации и минимизации множества тестовых данных для обеспечения покрытия исходного кода Java программ. Рассматриваются различные виды покрытия, способы абстрактной интерпретации и редукции пространства поиска. В основу метода положены формальные методы анализа поведения модели.	uk_UA
dc.description.abstract	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.	uk_UA
dc.language.iso	ru	uk_UA
dc.publisher	Інститут проблем штучного інтелекту МОН України та НАН України	uk_UA
dc.relation.ispartof	Штучний інтелект
dc.subject	Програмно-технічні засоби інтелектуальних систем	uk_UA
dc.title	Метод генерации тестовых данных по исходному коду Java программ	uk_UA
dc.title.alternative	A method of test data generation from source code of Java programs	uk_UA
dc.type	Article	uk_UA
dc.status	published earlier	uk_UA
dc.identifier.udc	004.415.53+004.832.23