Mathematical and Implementation Challenges Associated with Testing of the Dynamical Systems - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

Mathematical and Implementation Challenges Associated with Testing of the Dynamical Systems

Résumé

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.
Fichier principal
Vignette du fichier
978-3-642-36062-6_54_Chapter.pdf (4 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01347582 , version 1 (21-07-2016)

Licence

Paternité

Identifiants

Citer

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⟩
32 Consultations
58 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More