MARC details
| 000 -LEADER |
|---|
| fixed length control field |
02890nam a22003497a 4500 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OSt |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20240213063749.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
240213b |||||||| |||| 00| 0 eng d |
| 010 ## - LIBRARY OF CONGRESS CONTROL NUMBER |
|---|
| LC control number |
2022059392 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9781032488189 |
| Qualifying information |
(hardback) |
| 040 ## - CATALOGING SOURCE |
|---|
| Transcribing agency |
DMLIS |
| 050 ## - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
TK7895.E42 Y5413 2024 |
| 082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
004.21/YIN |
| 100 ## - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Yin, Yongfeng, |
| Relator term |
author. |
| 245 ## - TITLE STATEMENT |
|---|
| Title |
Embedded Software System Testing : |
| Remainder of title |
Automatic Testing Solution Based on Formal Method / |
| Statement of responsibility, etc. |
Yongfeng Yin, Bo Jiang ; [translated by Qingran Su, Ruinan Qiu, Yang Guo, Yi Song, Rui Yin]. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. |
|---|
| Place of publication, distribution, etc. |
Boca Raton : |
| Name of publisher, distributor, etc. |
CRC Press, |
| Date of publication, distribution, etc. |
2024. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
xxiv, 305p. : |
| Other physical details |
ill. ; |
| Dimensions |
24cm. |
| 500 ## - GENERAL NOTE |
|---|
| General note |
"English Version by permission of Beijing Huazhang Graphics & Information Co. Ltd. (China Machine Press)" |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc. note |
Includes bibliographical references. |
| 505 ## - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Embedded system and software -- Embedded software engineering and quality characteristics -- Embedded software system testing techniques based on formal methods -- Real-time embedded software automation test description technology -- Testing technology of intelligent terminal application software system -- Real-time embedded software system testing environment construction technology -- Case study of real-time embedded software system testing. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
"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 title 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"-- |
| Expansion of summary note |
Provided by publisher. |
| 546 ## - LANGUAGE NOTE |
|---|
| Language note |
In English, translated from the Chinese. |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Embedded computer systems |
| General subdivision |
Testing. |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Computer software |
| General subdivision |
Testing. |
| 700 ## - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Jiang, Bo, |
| Relator term |
author. |
| 700 ## - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Su, Qingran, |
| Relator term |
translator. |
| 700 ## - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Qiu, Ruinan, |
| Relator term |
translator. |
| 700 ## - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Guo, Yang, |
| Relator term |
translator. |
| 700 ## - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Song, Yi, |
| Relator term |
translator. |
| 700 ## - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Yin, Rui, |
| Relator term |
translator. |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Source of classification or shelving scheme |
Library of Congress Classification |
| Koha item type |
Reference Collections (Book) |
| Suppress in OPAC |
No |
