A systematic approach to the test of combined HW/SW systems

Authors:
Alexander Krupp;Wolfgang Müller
Affiliations:
Paderborn University, Paderborn, Germany;Paderborn University, Paderborn, Germany
Venue:
Proceedings of the Conference on Design, Automation and Test in Europe
Year:
2010

Citing 3
Cited 0

Coverage Metrics for Continuous Function Charts

ISSRE '04 Proceedings of the 15th International Symposium on Software Reliability Engineering
Robust test generation and coverage for hybrid systems

HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
Test coverage for continuous and hybrid systems

CAV'07 Proceedings of the 19th international conference on Computer aided verification

Quantified Score

Hi-index	0.00

Visualization

Abstract

Today we can identify a big gap between requirement specification and the generation of test environments. This article extends the Classification Tree Method for Embedded Systems (CTM/ES) to fill this gap by new concepts for the precise specification of stimuli for operational ranges of continuous control systems. It introduces novel means for continuous acceptance criteria definition and for functional coverage definition.