SCIENCE@home

Grammar-Based Testing a Process-Oriented Extension of the IEC 61131-3 Structured Text Language

S. Staroletov

Published 2022 in 2022 International Russian Automation Conference (RusAutoCon)

ABSTRACT

DSL is a convenient approach for describing language models, which targeted specific domains or subject areas. These languages are based on the original context-free grammars, besides parsing, validation, and code generation tools provided by DSL development platforms. A promising mechanism intended to convert some language into another is the so-called transpilers (or source-to-source compilers). Such a transformation can translate a language with more convenient syntactic constructions into a common language in which such constructions take up more space and perform some repetitive functions. At the same time, in order to build reliable automation systems, it is necessary to prove the correctness of the transformations or provide a good test harness. This paper focuses on testing such a transformation when adding process-related expressiveness to the Structured Text language of the 61131-3 standard. We extend the standardized language for industrial automation using programmable logic controller (PLC) devices with additional constructions, create tools for converting to the target language using the Xtext platform, and then check the correctness of such a conversion by generating (fuzzing) tests using modified grammar. Ultimately, we check that the resulting source code is accepted by an ST recognizer. In the article, we discuss the necessary information about the target language and about our solution, as well as all the problems encountered during testing and the results.

PUBLICATION RECORD

CITATION MAP

EXTRACTION MAP

CLAIMS

  • No claims are published for this paper.

CONCEPTS

  • No concepts are published for this paper.

REFERENCES

Showing 1-19 of 19 references · Page 1 of 1

CITED BY

Showing 1-4 of 4 citing papers · Page 1 of 1