文章基本信息

标题：CNC Motion Controller Testing Methods
本地全文：下载
作者：J. Arm ; Z. Bradac ; S. Misik 等
期刊名称：IFAC PapersOnLine
印刷版ISSN：2405-8963
出版年度：2018
卷号：51
期号：6
页码：244-249
DOI：10.1016/j.ifacol.2018.07.161
语种：English
出版社：Elsevier
摘要：AbstractThe testing of embedded devices is very complex and none of the existed tools covers all possible aspects. The aim of this article is to bring an overview of various methods for the purpose of CNC motion controller testing. From our point of view, the testing complexity is enhanced by using the formal testing method that is also described. Moreover, a testing test-bench based on the formal testing is presented. This test-bench uses Digilent Explorer signal analyser, PC with Python, and the tested device as DUT. The proposed test-bench can generate a test according to a defined formal specification in form of deterministic finite automata converted from an informal requirement, and performs it on a real device. The testing analysis runs then offline using the measured data. This work results in creating of the one testing scenario based on G01 G-code for the created CNC motion controller. This formalization should help to verify the right function and also the reliability of the created device.
关键词：KeywordsAutomated testingCNC motion controllerreliabilityDUTdeterministic finite automata