loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
15th International Symposium on Software Reliability Engineering (ISSRE'04)
Coverage Metrics for Continuous Function Charts
Saint-Malo, Bretagne, France
November 02-November 05
ISBN: 0-7695-2215-7
Vadim Alyokhin, TU M?nchen, Germany
Benedikte Elbel, Siemens AG, M?nchen, Germany
Martin Rothfelder, Siemens AG, M?nchen, Germany
Alexander Pretschner, ETH Z?rich, Switzerland
Continuous Function Charts are a diagrammatical language for the specification of mixed discretecontinuous 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 data flows at the level of composition of atomic computational units, and argue for their usefulness on the grounds of detected errors.
Index Terms:
Integration testing, model-based testing, mixed continuous-discrete and real-time systems, MC/DC, data flow testing, block diagrams
Citation:
Vadim Alyokhin, Benedikte Elbel, Martin Rothfelder, Alexander Pretschner, "Coverage Metrics for Continuous Function Charts," issre, pp.257-268, 15th International Symposium on Software Reliability Engineering (ISSRE'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.