A Case-Study on Manual Verification of State-based Source Code Generated by KIELER SCCharts

Beteiligte Person(en) / Institution(en)Autor :
DatumErschienen :
  • Dezember 2019
Seitenbereich15 S.

Statecharts-like languages, such as SCCharts, are commonly used to develop stateoriented reactive and critical systems. Code is often generated by automatic code generators, which employ different strategies.
This paper presents the results of a second user study on manual user verification of different source codes, which were generated using a netlist-based, a priority-based, and a state-based code generation approach compiling SCCharts models to C. The evaluation shows that manual verification can be time-consuming and is error prone if the user has no clear mapping between states and transition of the original model and the generated code. The participants performed better if the generated code followed a state pattern that preserves original model structures and names.
ReferenzTR_1905
Statische URLhttps://www.uni-kiel.de/journals/receive/jportal_jparticle_00000363
 
vorgesehene URN:NBNurn:nbn:de:gbv:8:1-zs-00000363-a9