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

dc.contributor.author	Волков, В.А.
dc.contributor.author	Колчин, А.В.
dc.contributor.author	Летичевский, А.А.
dc.contributor.author	Потиенко, С.В.
dc.date.accessioned	2018-06-04T19:13:11Z
dc.date.available	2018-06-04T19:13:11Z
dc.date.issued	2017
dc.identifier.citation	Обзор систематических методов автоматической генерации тестовых данных по исходному коду программ / В.А. Волков, А.В. Колчин, А.А. Летичевский, С.В. Потиенко // Штучний інтелект. — 2017. — № 2. — С. 71-84. — Бібліогр.: 47 назв. — рос.	uk_UA
dc.identifier.issn	1561-5359
dc.identifier.uri	http://dspace.nbuv.gov.ua/handle/123456789/133665
dc.description.abstract	Обзор включает описание распространенных типов покрытия и современных методов генерации тестов из кода императивных программ. Особое внимание уделено методам, в основу которых положена техника символьного выполнения. Обсуждаются преимущества различных подходов и недостатки автоматического порождения тестов в целом.	uk_UA
dc.description.abstract	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.	uk_UA
dc.language.iso	ru	uk_UA
dc.publisher	Інститут проблем штучного інтелекту МОН України та НАН України	uk_UA
dc.relation.ispartof	Штучний інтелект
dc.subject	Програмно-технічні засоби інтелектуальних систем	uk_UA
dc.title	Обзор систематических методов автоматической генерации тестовых данных по исходному коду программ	uk_UA
dc.title.alternative	A survey of systematic methods for code-based test data generation	uk_UA
dc.type	Article	uk_UA
dc.status	published earlier	uk_UA
dc.identifier.udc	004.415.53+004.416.2