Standort: ---
Exemplare:
---
| Online-Ressource |
Verfasst von: | Yin, Yongfeng [VerfasserIn]  |
| Jiang, Bo [VerfasserIn]  |
Titel: | Embedded software system testing |
Titelzusatz: | automatic testing solution based on formal method |
Werktitel: | Qianrushi ruanjian xitong ceshi |
Verf.angabe: | Yongfeng Yin, Bo Jiang |
Ausgabe: | 1st. |
Verlagsort: | Boca Raton |
Verlag: | CRC Press |
Jahr: | 2023 |
Umfang: | 1 online resource (306 pages) |
Illustrationen: | illustrations (black and white) |
Fussnoten: | Translated from the Chinese. - <P>1. Introduction 2. Embedded System and Software 3. Embedded Software Engineering and Quality Characteristics 4. Embedded Software System Testing Techniques Based on Formal Methods 5. Real-time Embedded Software Automation Test Description Technology 6. Testing Technology of Intelligent Terminal Application Software System 7. Real-time Embedded Software System Testing Environment Construction Technology 8. Case Study of Real-time Embedded Software System Testing</P>. - Includes bibliographical references. - Description based on CIP data; resource not viewed |
ISBN: | 978-1-000-87698-7 |
| 1-000-87698-5 |
Abstract: | This book introduces embedded software engineering and management methods, proposing the relevant testing theory and techniques that promise the final realization of automated testing of embedded systems. |
URL: | Aggregator: https://learning.oreilly.com/library/view/-/9781000876987/?ar |
Datenträger: | Online-Ressource |
Sprache: | eng |
Bibliogr. Hinweis: | Erscheint auch als : Druck-Ausgabe |
Sach-SW: | Computer software ; Testing |
| Embedded computer systems ; Testing |
K10plus-PPN: | 1892762641 |
|
|
| |
Lokale URL UB: | Zum Volltext |
|
|
| Bibliothek der Medizinischen Fakultät Mannheim der Universität Heidelberg |
| Bestellen/Vormerken für Benutzer des Klinikums Mannheim Eigene Kennung erforderlich |
Bibliothek/Idn: | UW / m4544463262 |
Lokale URL Inst.: | Zum Volltext |
978-1-000-87698-7,1-000-87698-5
Embedded software system testing / Yin, Yongfeng [VerfasserIn]; 2023 (Online-Ressource)
69228278