文章基本信息

标题：Structural Concolic Testing for Sequential Function Chart
本地全文：下载
作者：Hendrik Simon ; Lucas Triefenbach ; Stefan Kowalewski 等
期刊名称：IFAC PapersOnLine
印刷版ISSN：2405-8963
出版年度：2018
卷号：51
期号：7
页码：422-427
DOI：10.1016/j.ifacol.2018.06.335
语种：English
出版社：Elsevier
摘要：AbstractGraphical programming languages allow for well structured software and support comprehensibility and maintainability of the code. As for industrial applications,Sequential Function Chart(SFC) is a popular graphical language and was introduced by the IEC-61131-3 standard. Although providing powerful structuring elements that programmers can use to write better software, those elements are largely dropped when translating the software to a representation required for the application of formal methods. Even in widely used development-tools like CODESYS, SFCs are internally translated to the textual languageStructured Text, coming from the same standard. This approach preserves the semantics needed for simulation, but can introduce significant overhead that impedes the application of formal methods, e.g.Concolic Testing, which is the focus of this work. To this end, we propose a novel Concolic Testing approach that utilises the structure of SFC in order to overcome the obstacles that keep traditional techniques from achieving high test-coverage in a reasonable amount of time. We compare our results to two approaches that work on a textual representation of the program.
关键词：KeywordsAutomatic TestingProgrammable logic controllersFormal methodsGraphical programming languages