Publication detail

CNC Motion Controller Testing Methods

ARM, J. MIŠÍK, Š. BRADÁČ, Z. STREIT, J.

Original Title

CNC Motion Controller Testing Methods

English Title

CNC Motion Controller Testing Methods

Type

conference paper

Language

en

Original Abstract

The 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.

English abstract

The 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.

Keywords

Automated testing, CNC motion controller, reliability, DUT, deterministic finite automata

Released

24.05.2018

Pages from

1

Pages to

6

Pages count

6

BibTex


@inproceedings{BUT148370,
  author="Jakub {Arm} and Štefan {Mišík} and Zdeněk {Bradáč} and Jakub {Streit}",
  title="CNC Motion Controller Testing Methods",
  annote="The 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.",
  booktitle="15th IFAC Conference on Programmable Devices and Embedded Systems - PDeS 2018",
  chapter="148370",
  howpublished="online",
  number="15",
  year="2018",
  month="may",
  pages="1--6",
  type="conference paper"
}