title: SYNTAX DIRECTED GENERATION OF TESTS FOR PROCESSORS OF REGULAR LANGUAGES
metadata.name: dc.contributor.author
metadata.value: Martynenko, Boris K.
metadata.lang: -
metadata.name: dc.contributor.author
metadata.value: Мартыненко, Борис К.
metadata.lang: -
metadata.name: dc.date.accessioned
metadata.value: 2017-02-23T10:25:30Z
metadata.lang: -
metadata.name: dc.date.available
metadata.value: 2017-02-23T10:25:30Z
metadata.lang: -
metadata.name: dc.date.issued
metadata.value: 2016-06-06
metadata.lang: -
metadata.name: dc.identifier.issn
metadata.value: 2071-2340
metadata.lang: -
metadata.name: dc.identifier.uri
metadata.value: http://hdl.handle.net/11701/6012
metadata.lang: -
metadata.name: dc.description
metadata.value: Научная статья
metadata.lang: en_GB
metadata.name: dc.description.abstract
metadata.value: A method of generation of tests of minimum length for the purpose of testing of syntax directed ﬁnite processors recognizing regular languages is described. A criterion of the test cases selection is introduced that represents the requested level of coverage for the acres of the graph that corresponds to the regular expression for which the processor has been constructed. Since the graph acres are labeled with semantic labels, the criterion conforms to  the degree of interaction between these semantics, so such a test must be built that the criterion conditions are met.The method is based on the algorithm of the solution of the Chinese Postman Problem on a directed graph that is built on regular expression. The regular expression defines the language accepted by the ﬁnite processor that  is built on the same graph.
metadata.lang: en_GB
metadata.name: dc.description.abstract
metadata.value: Описывается метод генерации тестов минимальной длины для синтаксически
  управляемых конечных процессоров, реализующих регулярные языки. Критерий
  выбора тестовых вариантов выражает заданную степень покрытия дуг графа,
  представляющего регулярное выражение, по которому строится процессор.
  Поскольку дуги графа помечены семантическими метками, то критерий выражает
  соответствующую степень взаимодействия между семантиками, и тест гаранти-
  рует выполнение этого критерия. Метод основан на алгоритме решения задачи
  Китайского почтальона на ориентированном графе, выводимом из регулярного
  выражения, определяющем конечно-автоматный язык, реализуемом процессором, который строится по тому же самому графу.
metadata.lang: en_GB
metadata.name: dc.language.iso
metadata.value: ru
metadata.lang: en_GB
metadata.name: dc.publisher
metadata.value: КОМПЬЮТЕРНЫЕИНСТРУМЕНТЫВОБРАЗОВАНИИ
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: Chinese Postman Problem, Directed graph, Finite processor, Linegraph, Regular expression, N.Wirth’s syntactic diagrams,Test of minimal length.
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: задача Китайского почтальона, ориентированный граф, регулярное выражение, рёберный граф, синтаксическая диаграмма Н.Вирта,тест минимальной длины.
metadata.lang: en_GB
metadata.name: dc.title
metadata.value: SYNTAX DIRECTED GENERATION OF TESTS FOR PROCESSORS OF REGULAR LANGUAGES
metadata.lang: en_GB
metadata.name: dc.title.alternative
metadata.value: Синтаксически управляемая генерация тестов для процессоров регулярных языков
metadata.lang: en_GB
metadata.name: dc.type
metadata.value: Article
metadata.lang: en_GB
resources.filename: 2016 №5 СИНТАКСИЧЕСКИ УПРАВЛЯЕМАЯ ГЕНЕРАЦИЯ ТЕСТОВ  ДЛЯ ПРОЦЕССОРОВ РЕГУЛЯРНЫХ ЯЗЫКОВ .pdf
resources.url: https://dspace.spbu.ru/bitstream/11701/6012/1/2016%20%e2%84%965%20%d0%a1%d0%98%d0%9d%d0%a2%d0%90%d0%9a%d0%a1%d0%98%d0%a7%d0%95%d0%a1%d0%9a%d0%98%20%d0%a3%d0%9f%d0%a0%d0%90%d0%92%d0%9b%d0%af%d0%95%d0%9c%d0%90%d0%af%20%d0%93%d0%95%d0%9d%d0%95%d0%a0%d0%90%d0%a6%d0%98%d0%af%20%d0%a2%d0%95%d0%a1%d0%a2%d0%9e%d0%92%20%20%d0%94%d0%9b%d0%af%20%d0%9f%d0%a0%d0%9e%d0%a6%d0%95%d0%a1%d0%a1%d0%9e%d0%a0%d0%9e%d0%92%20%d0%a0%d0%95%d0%93%d0%a3%d0%9b%d0%af%d0%a0%d0%9d%d0%ab%d0%a5%20%d0%af%d0%97%d0%ab%d0%9a%d0%9e%d0%92%20.pdf
resources.format: Adobe PDF
resources.size: 1,76 MB