Embedded software system testing : automatic testing solution based on formal method /: automatic testing solution based on formal method. (2023)

• Record Type: Book
• Uniform Title: Qianrushi ruanjian xitong ceshi.
• Further Information: Note: Yongfeng Yin, Bo Jiang.
• Authors: Yin, Yongfeng, 1978-; Jiang, Bo, 1981-
• Contents: 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
• Edition: 1st
• Publisher Details: Boca Raton : CRC Press
• Publication Date: 2023
• Extent: 1 online resource (306 pages), illustrations (black and white)
• Subjects: 004.21; Embedded computer systems -- Testing; Computer software -- Testing
• Languages: English
• ISBNs: 9781000876987
• Notes: Note: Includes bibliographical references.; Note: Description based on CIP data; resource not viewed.
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.