Szczegóły publikacji
Opis bibliograficzny
Mathematical and implementation challenges associated with testing of the dynamical systems / Paweł SKRUCH // W: System modeling and optimization : 25th IFIP TC 7 conference, CSMO 2011 : Berlin, Germany, September 12–16, 2011 : revised selected papers / eds. Dietmar Hömberg, Fredi Tröltzsch. — Heidelberg [etc.] : Springer, cop. 2013. — (IFIP Advances in Information and Communication Technology ; ISSN 1868-4238 ; 391). — ISBN: 978-3-642-36061-9. — S. 538–546. — Bibliogr. s. 546, Abstr.
Autor
Słowa kluczowe
Dane bibliometryczne
| ID BaDAP | 72920 |
|---|---|
| Data dodania do BaDAP | 2013-04-10 |
| Tekst źródłowy | URL |
| DOI | 10.1007/978-3-642-36062-6_54 |
| Rok publikacji | 2013 |
| Typ publikacji | materiały konferencyjne (aut.) |
| Otwarty dostęp |  |
| Konferencja | 25th IFIP TC 7 Conference on System Modeling and Optimization |
| Czasopismo/seria | IFIP Advances in Information and Communication Technology |
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. © 2013 IFIP International Federation for Information Processing.
