Navigation überspringen
Universitätsbibliothek Heidelberg
Standort: ---
Exemplare: ---
 Online-Ressource
Verfasst von:Yin, Yongfeng [VerfasserIn]   i
 Jiang, Bo [VerfasserIn]   i
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
 Klinikum MA Bestellen/Vormerken für Benutzer des Klinikums Mannheim
Eigene Kennung erforderlich
Bibliothek/Idn:UW / m4544463262
Lokale URL Inst.: Zum Volltext

Permanenter Link auf diesen Titel (bookmarkfähig):  https://katalog.ub.uni-heidelberg.de/titel/69228278   QR-Code
zum Seitenanfang