Testování programů ve vzdálené výuce

Kód výsledku v 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>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Testing of Control Programs in Distant Education

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

Testing of Control Programs in Distant Education

Popis výsledku anglicky

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.

Druh

D - Stať ve sborníku

CEP obor

JC - Počítačový hardware a software

OECD FORD obor

—

Projekt

<a href="/cs/project/2C06010" target="_blank" >2C06010: Prostředí pro distanční vzdělávání a on-line multimediální výuku</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2008

Kód důvěrnosti údajů

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

Název statě ve sborníku

Preprints of the 17th IFAC World Congress

ISBN

978-3-902661-00-5

ISSN

—

e-ISSN

—

Počet stran výsledku

6

Strana od-do

—

Název nakladatele

IFAC

Místo vydání

Seoul

Místo konání akce

Seoul

Datum konání akce

6. 7. 2008

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—