Synopsis
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.
The quality and reliability of embedded systems have become a great concern, faced with the rising demands for the complexity and scale of system hardware and software. The authors propose and expound on the testing theory and techniques of embedded software systems and relevant environment construction technologies, providing effective solutions for the automated testing of embedded systems. Through analyzing typical testing examples of the complex embedded software systems, the authors verify the effectiveness of the theories, technologies and methods proposed in the book.
In combining the fundamental theory and technology and practical solutions, this book will appeal to researchers and students studying computer science, software engineering, and embedded systems, as well as professionals and practitioners engaged in the development, verification, and maintenance of embedded systems in the military and civilian fields.
"synopsis" may belong to another edition of this title.
About the Author
Yongfeng Yin is a professor and Vice President at the School of Software, Beihang University, China, and from 2015 to 2016 he was a visiting scholar at Colorado State University, USA. His research interests include critical software, software reliability, and embedded software testing.
Bo Jiang is an associate professor at the School of Computer Science and Engineering, Beihang University, China. His research interests include software testing, blockchain security, and operating system.
"About this title" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Embedded Software System Testing: Automatic Testing...
Stock Image
Embedded Software System Testing : Automatic Testing Solution Based on Formal Method
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 50235989-n
Stock Image
EMBEDDED SOFTWARE SYSTEM TESTING AUTOMATIC TESTING SOLUTION BASED ON FORMAL METHOD (PB 2025)
Seller: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEOCT25-311248
Stock Image
Embedded Software System Testing: Automatic Testing Solution Based on Formal Method
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pages cm. Seller Inventory # 26397677877
Stock Image
Embedded Software System Testing: Automatic Testing Solution Based on Formal Method
Seller: ALLBOOKS1, Direk, SA, Australia
Seller rating 5 out of 5 stars
Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address. Seller Inventory # SHAK311248
Stock Image
Embedded Software System Testing: Automatic Testing Solution Based on Formal Method
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. pages cm. Seller Inventory # 18397677887
Stock Image
Embedded Software System Testing
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 4 out of 5 stars
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000. Seller Inventory # GB-9781032488196
Buy New
£ 54.03
£ 5.02 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Embedded Software System Testing : Automatic Testing Solution Based on Formal Method
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 50235989
Stock Image
Embedded Software System Testing : Automatic Testing Solution Based on Formal Method
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 50235989-n
Buy New
£ 49.95
£ 15 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Embedded Software System Testing: Automatic Testing Solution Based on Formal Method
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. pages cm. Seller Inventory # 398699242
Buy New
£ 59.68
£ 6.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 4 available
Stock Image
Embedded Software System Testing (Paperback)
Published by
Taylor & Francis Ltd, London, 2025
ISBN 10: 1032488190
ISBN 13: 9781032488196
New
Paperback
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: new. Paperback. 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.The quality and reliability of embedded systems have become a great concern, faced with the rising demands for the complexity and scale of system hardware and software. The authors propose and expound on the testing theory and techniques of embedded software systems and relevant environment construction technologies, providing effective solutions for the automated testing of embedded systems. Through analyzing typical testing examples of the complex embedded software systems, the authors verify the effectiveness of the theories, technologies and methods proposed in the book.In combining the fundamental theory and technology and practical solutions, this book will appeal to researchers and students studying computer science, software engineering, and embedded systems, as well as professionals and practitioners engaged in the development, verification, and maintenance of embedded systems in the military and civilian fields. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9781032488196