PT Unknown
AU Smyth, S
   Domrös, S
   von Hanxleden, R
TI A Case-Study on Manual Verification of State-based Source Code Generated by KIELER SCCharts
SE Bericht des Instituts für Informatik
PY 1992
VL 1905
PU Institut für Informatik
WP https://macau.uni-kiel.de/receive/macau_mods_00002034
LA en
SN 2192-6247
AB 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.
PI Kiel
ER