Генерация тестовых сценариев на основе формальной модели

dc.contributor.author	Летичевский, А.А.
dc.contributor.author	Колчин, А.В.
dc.date.accessioned	2010-12-27T17:04:01Z
dc.date.available	2010-12-27T17:04:01Z
dc.date.issued	2010
dc.identifier.citation	Генерация тестовых сценариев на основе формальной модели/ А.А. Летичевский, А.В. Колчин// Пробл. програмув. — 2010. — № 2-3. — С. 209-215. — Бібліогр.: 40 назв. — рос.	uk_UA
dc.identifier.issn	1727-4907
dc.identifier.uri	http://dspace.nbuv.gov.ua/handle/123456789/14692
dc.description.abstract	Описан метод направленного поиска для автоматического построения тестовых сценариев в процессе верификации. Основная цель – достижение семантического соответствия между полученными тестовыми сценариями и функциональными спецификациями к системе. Метод использует определяемые пользователем в виде регулярных выражений цели тестирования и ограничения обхода поведения модели.	uk_UA
dc.description.abstract	A guided search method for automatic test scenario building during verification described. The main goal is to achieve semantic correspondence between obtained test scenarios and functional specifications of a system. The method uses user-defined regular expressions as test purposes and for model behavior traversal bounding.	uk_UA
dc.language.iso	ru	uk_UA
dc.publisher	Інститут програмних систем НАН України	uk_UA
dc.subject	Методи та засоби програмної інженерії	uk_UA
dc.title	Генерация тестовых сценариев на основе формальной модели	uk_UA
dc.title.alternative	Test scenarios generation based on formal model	uk_UA
dc.type	Article	uk_UA
dc.status	published earlier	uk_UA
dc.identifier.udc	519.686.2