Coverage metrics for continuous function charts

被引：4

作者：

Alyokhin, V ^{[1
]}

Elbel, B ^{[1
]}

Rothfelder, M ^{[1
]}

Pretschner, A ^{[1
]}

机构：

[1] ETH, Dept Informat, Zurich, Switzerland

来源：

15TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING, PROCEEDINGS | 2004年

关键词：

integration testing; model-based testing; mixed continuous-discrete and real-time systems; MC/DC; data flow testing; block diagrams;

D O I：

10.1109/ISSRE.2004.15

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

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 data flows at the level of composition of atomic computational units, and argue for their usefulness on the grounds of detected errors.

引用

页码：257 / 268

页数：12

共 22 条

[1]

[Anonymous], ELECT NOTES THEOR CO

[2]

Baresel A., 2003, P EUROCAST

[3] APPLICABILITY OF MODIFIED CONDITION DECISION COVERAGE TO SOFTWARE TESTING [J].