Title :
Coverage metrics for Continuous Function Charts
Author :
Alyokhin, Vadim ; Elbel, Benedikte ; Rothfelder, Martin ; Pretschner, Alexander
Author_Institution :
Inst. fur Inf., Technische Univ. Munchen, Germany
Abstract :
Continuous Function Charts are a diagrammatical language for the specification of mixed discrete-continuous embedded systems, similar to the languages of Matlab/Simulink, and often used in the domain of transportation systems. Both control and data flows are explicitly specified when atomic units of computation are composed. The obvious way to assess the quality of integration test suites is to compute known coverage metrics for the generated code. This production code does not exhibit those structures that would make it amenable to "relevant" coverage measurements. We define a translation scheme that results in structures relevant for such measurements, apply coverage criteria for both control and dataflows at the level of composition of atomic computational units, and argue for their usefulness on the grounds of detected errors.
Keywords :
data flow analysis; embedded systems; flowcharting; formal specification; parallel languages; program testing; software metrics; Continuous Function Chart; block diagrams; control flow; coverage metrics; data flow testing; diagrammatical language; embedded system; formal specification; integration testing; model-based testing; real-time system; Atomic measurements; Automatic control; Certification; Data flow computing; Mathematical model; Power system modeling; Production; Rail transportation; System testing; Timing; Integration testing; MC/DC; block diagrams; data flow testing; mixed continuous-discrete and real-time systems; model-based testing;
Conference_Titel :
Software Reliability Engineering, 2004. ISSRE 2004. 15th International Symposium on
Print_ISBN :
0-7695-2215-7
DOI :
10.1109/ISSRE.2004.15