Embedded software system testing

• Verfasst von: Yin, Yongfeng [VerfasserIn]
• Verfasst von: 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
• ISBN: 1-000-87698-5
• Datenträger: Online-Ressource
• Sprache: eng
• Bibliogr. Hinweis: Erscheint auch als : Druck-Ausgabe
• Sach-SW: Computer software ; Testing
• Sach-SW: Embedded computer systems ; Testing
• K10plus-PPN: 1892762641
• K10plus-PPN:
  Universitätsbibliothek
• Lokale URL UB: Zum Volltext
• Lokale URL UB: Bibliothek der Medizinischen Fakultät Mannheim der Universität Heidelberg
• Bibliothek/Idn: UW / m4544463262
• Lokale URL Inst.: Zum Volltext

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.