Detail publikačního výsledku

CNC Motion Controller Testing Methods

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

Originální název

CNC Motion Controller Testing Methods

Anglický název

CNC Motion Controller Testing Methods

Druh

Stať ve sborníku v databázi WoS či Scopus

Originální abstrakt

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.

Anglický abstrakt

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.

Klíčová slova

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

Klíčová slova v angličtině

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

Autoři

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

Rok RIV

2020

Vydáno

24.05.2018

Kniha

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

ISSN

2405-8963

Periodikum

IFAC-PapersOnLine

Svazek

2018

Číslo

15

Stát

Spojené království Velké Británie a Severního Irska

Strany od

249

Strany do

244

Strany počet

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"
}