PERHAPS A GIFT VOUCHER FOR MUM?: MOTHER'S DAY

Close Notification

Your cart does not contain any items

Embedded Software System Testing

Automatic Testing Solution Based on Formal Method

Yongfeng Yin Bo Jiang Bo Jiang

$164

Hardback

Not in-store but you can order this
How long will it take?

QTY:

English
CRC Press
06 September 2023
provides systematic solutions from formal test theory to automated test description methods, automated simulation test environment construction

verifies the effectiveness of the theories, technologies and methods

By:   , ,
Imprint:   CRC Press
Country of Publication:   United Kingdom
Dimensions:   Height: 234mm,  Width: 156mm, 
Weight:   771g
ISBN:   9781032488189
ISBN 10:   1032488182
Pages:   305
Publication Date:  
Audience:   College/higher education ,  Professional and scholarly ,  Primary ,  Undergraduate
Format:   Hardback
Publisher's Status:   Active
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

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.

See Also