Testing of Control Programs in Distant Education

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F08%3A03146455" target="_blank" >RIV/68407700:21230/08:03146455 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Testing of Control Programs in Distant Education
Original language description
The paper deals with automatic testing of programmable logical controller (PLC) programs in a distant education. Students control a physical model, which that has also its virtual counterpart. While one user is connected to the physical model, others debug programs with the aid of the virtual model. We discuss the structure of models, the organization of education, and the testing process of student's programs. Finally, we present a new theory of delta-graphs used for conversion programs into a timed abstraction of PLC suitable for testing, as the main contribution of this paper.
Czech name
Testování programů ve vzdálené výuce
Czech description
Článek se zabývá automatickým testování programů pro programovatelné automaty (PLC) ve vzdálené výuce. Studenti řídí fyzikální model, který má rovněž virtuální protějšek. Zatímco jeden student pracuje s fyzikálním modelem, ostatní mohou ladit své programu na jeho vitruální analogii. Diskutuje se struktura modelů, organizace výuky a testování studentských programů. Předkládá se ze nová teorie delta grafů používaných pro konverzi PLC s časovači jako hlavní přínos.

Project
<a href="/en/project/2C06010" target="_blank" >2C06010: Environment for the distant learning and on-line multimedia education</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year
2008
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)