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.
Type de document :
Communication dans un congrès
Dietmar Hömberg; Fredi Tröltzsch. 25th System Modeling and Optimization (CSMO), Sep 2011, Berlin, Germany. Springer, IFIP Advances in Information and Communication Technology, AICT-391, pp.538-546, 2013, System Modeling and Optimization. 〈10.1007/978-3-642-36062-6_54〉
Liste complète des métadonnées

Littérature citée [12 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01347582
Contributeur : Hal Ifip <>
Soumis le : jeudi 21 juillet 2016 - 11:38:01
Dernière modification le : jeudi 21 juillet 2016 - 11:48:05

Fichier

978-3-642-36062-6_54_Chapter.p...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Pawel Skruch. Mathematical and Implementation Challenges Associated with Testing of the Dynamical Systems. Dietmar Hömberg; Fredi Tröltzsch. 25th System Modeling and Optimization (CSMO), Sep 2011, Berlin, Germany. Springer, IFIP Advances in Information and Communication Technology, AICT-391, pp.538-546, 2013, System Modeling and Optimization. 〈10.1007/978-3-642-36062-6_54〉. 〈hal-01347582〉

Partager

Métriques

Consultations de la notice

55

Téléchargements de fichiers

17