Publication result 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

Paper in proceedings (conference paper)

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

Key words in English

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

Authors

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

RIV year

2020

Released

24.05.2018

Book

15th IFAC Conference on Programmable Devices and Embedded Systems - PDeS 2018

ISBN

2405-8963

Periodical

IFAC-PapersOnLine

Volume

2018

Number

15

State

United Kingdom of Great Britain and Northern Ireland

Pages from

249

Pages to

244

Pages count

6

URL

https://www.sciencedirect.com/science/article/pii/S2405896318309078

BibTex

@inproceedings{BUT148370,
  author="Jakub {Arm} and Štefan {Mišík} and Zdeněk {Bradáč} and Jakub {Streit}",
  title="CNC Motion Controller Testing Methods",
  booktitle="15th IFAC Conference on Programmable Devices and Embedded Systems - PDeS 2018",
  year="2018",
  journal="IFAC-PapersOnLine",
  volume="2018",
  number="15",
  pages="249--244",
  doi="10.1016/j.ifacol.2018.07.161",
  issn="2405-8971",
  url="https://www.sciencedirect.com/science/article/pii/S2405896318309078"
}