Advanced topics in signal processing
Advanced topics in signal processing
ARTS '97 Proceedings of the 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software: Transformation-Based Reactive Systems Development
HYTECH: A Model Checker for Hybrid Systems
CAV '97 Proceedings of the 9th International Conference on Computer Aided Verification
Continuous TTCN-3: testing of embedded control systems
Proceedings of the 2006 international workshop on Software engineering for automotive systems
Experience report: the reactis validation tool
ICFP '07 Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
Testing hybrid control systems with TTCN-3: an overview on continuous TTCN-3
International Journal on Software Tools for Technology Transfer (STTT) - Special Section on Advances in Test Automation - the Evolution of TTCN-3
Model-based safety analysis of simulink models using SCADE design verifier
SAFECOMP'05 Proceedings of the 24th international conference on Computer Safety, Reliability, and Security
Bottom-up reuse for multi-level testing
Journal of Systems and Software
Systematic management of simulation state for multi-branch simulations in simulink
Proceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative M&S Symposium
Hi-index | 0.00 |
Test evaluation and test assessment is a time consuming and resource intensive process. More than ever this holds for testing complex systems that emanate continuous or hybrid behavior. In this article we introduce an approach that eases the specification of black box tests for hybrid or continuous systems by means of signal properties applied for evaluation. A signal property allows the characterization of individual signal shapes. It is determined by the examination of the signal's value at time, the application of pre-processing functions (like first or higher order derivatives), and the analysis and detection of sequences of values that form certain shapes of a signal (e.g. local minima and maxima). Moreover we allow the combination of properties by logical connectives.The solution provided in this paper is based on terms and concepts defined for Continuous TTCN-3 (CTTCN-3) [12, 11], an extension of the standardized test specification language TTCN-3 [4]. Thus, we treat signals as streams and integrate the notion of signal properties with the notion of stream templates like they are already defined in CTTCN-3. Moreover, we provide a formal foundation for CTTCN-3 streams, for a selected set of signal properties and for their integration in CTTCN-3.