Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://hdl.handle.net/11701/6012
Полная запись метаданных
Поле DC | Значение | Язык |
---|---|---|
dc.contributor.author | Martynenko, Boris K. | - |
dc.contributor.author | Мартыненко, Борис К. | - |
dc.date.accessioned | 2017-02-23T10:25:30Z | - |
dc.date.available | 2017-02-23T10:25:30Z | - |
dc.date.issued | 2016-06-06 | - |
dc.identifier.issn | 2071-2340 | - |
dc.identifier.uri | http://hdl.handle.net/11701/6012 | - |
dc.description | Научная статья | en_GB |
dc.description.abstract | A method of generation of tests of minimum length for the purpose of testing of syntax directed finite 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 finite processor that is built on the same graph. | en_GB |
dc.description.abstract | Описывается метод генерации тестов минимальной длины для синтаксически управляемых конечных процессоров, реализующих регулярные языки. Критерий выбора тестовых вариантов выражает заданную степень покрытия дуг графа, представляющего регулярное выражение, по которому строится процессор. Поскольку дуги графа помечены семантическими метками, то критерий выражает соответствующую степень взаимодействия между семантиками, и тест гаранти- рует выполнение этого критерия. Метод основан на алгоритме решения задачи Китайского почтальона на ориентированном графе, выводимом из регулярного выражения, определяющем конечно-автоматный язык, реализуемом процессором, который строится по тому же самому графу. | en_GB |
dc.language.iso | ru | en_GB |
dc.publisher | КОМПЬЮТЕРНЫЕИНСТРУМЕНТЫВОБРАЗОВАНИИ | en_GB |
dc.subject | Chinese Postman Problem, Directed graph, Finite processor, Linegraph, Regular expression, N.Wirth’s syntactic diagrams,Test of minimal length. | en_GB |
dc.subject | задача Китайского почтальона, ориентированный граф, регулярное выражение, рёберный граф, синтаксическая диаграмма Н.Вирта,тест минимальной длины. | en_GB |
dc.title | SYNTAX DIRECTED GENERATION OF TESTS FOR PROCESSORS OF REGULAR LANGUAGES | en_GB |
dc.title.alternative | Синтаксически управляемая генерация тестов для процессоров регулярных языков | en_GB |
dc.type | Article | en_GB |
Располагается в коллекциях: | Articles |
Файлы этого ресурса:
Файл | Описание | Размер | Формат | |
---|---|---|---|---|
2016 №5 СИНТАКСИЧЕСКИ УПРАВЛЯЕМАЯ ГЕНЕРАЦИЯ ТЕСТОВ ДЛЯ ПРОЦЕССОРОВ РЕГУЛЯРНЫХ ЯЗЫКОВ .pdf | 1,76 MB | Adobe PDF | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.