1 option
Embedded software system testing : automatic testing solution based on formal method / Yongfeng Yin, Bo Jiang.
- Format:
- Book
- Author/Creator:
- Yin, Yongfeng, 1978- author.
- Jiang, Bo, 1981- author.
- Standardized Title:
- Qianrushi ruanjian xitong ceshi. English
- Language:
- English
- Subjects (All):
- Embedded computer systems--Testing.
- Embedded computer systems.
- Computer software--Testing.
- Computer software.
- Physical Description:
- 1 online resource (306 pages) : illustrations (black and white)
- Edition:
- 1st.
- Place of Publication:
- Boca Raton : CRC Press, 2023.
- Summary:
- 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.
- Notes:
- OCLC-licensed vendor bibliographic record.
- 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>
- ISBN:
- 1-000-87698-5
- OCLC:
- 1400107484
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.