Skip to Main content Skip to Navigation
Conference papers

Mathematical and Implementation Challenges Associated with Testing of the Dynamical Systems

Abstract : The paper presents mathematical and implementation challenges associated with testing of embedded software systems with dynamic behavior. These challenges are related to notation of tests, calculation of test coverage, implementation of a test comparator, and automatic generation of test cases. Some author’s ideas and solutions are presented with the help of abstract models that describe behavior of the software systems. The models are represented using the state space (or input/state/output) notation. An application example is given to illustrate theoretical analysis and mathematical formulation.
Complete list of metadatas

Cited literature [12 references]  Display  Hide  Download

https://hal.inria.fr/hal-01347582
Contributor : Hal Ifip <>
Submitted on : Thursday, July 21, 2016 - 11:38:01 AM
Last modification on : Thursday, October 4, 2018 - 10:12:02 PM

File

978-3-642-36062-6_54_Chapter.p...
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Pawel Skruch. Mathematical and Implementation Challenges Associated with Testing of the Dynamical Systems. 25th System Modeling and Optimization (CSMO), Sep 2011, Berlin, Germany. pp.538-546, ⟨10.1007/978-3-642-36062-6_54⟩. ⟨hal-01347582⟩

Share

Metrics

Record views

103

Files downloads

159