Embedded software system testing: automatic testing solution based on formal method
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.
Gespeichert in:
| Beteiligte Personen: | , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | Englisch |
| Veröffentlicht: |
Boca Raton
CRC Press
2023
|
| Ausgabe: | 1st. |
| Schlagwörter: | |
| Links: | https://learning.oreilly.com/library/view/-/9781000876987/?ar |
| Zusammenfassung: | 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. |
| Beschreibung: | 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>. - Includes bibliographical references. - Description based on CIP data; resource not viewed |
| Umfang: | 1 Online-Ressource (306 Seiten) illustrations (black and white) |
| ISBN: | 9781000876987 1000876985 |
Internformat
MARC
| LEADER | 00000nam a22000002 4500 | ||
|---|---|---|---|
| 001 | ZDB-30-ORH-104367695 | ||
| 003 | DE-627-1 | ||
| 005 | 20240701091157.0 | ||
| 007 | cr uuu---uuuuu | ||
| 008 | 240701s2023 xx |||||o 00| ||eng c | ||
| 020 | |a 9781000876987 |c ePub ebook |9 978-1-000-87698-7 | ||
| 020 | |a 1000876985 |9 1-000-87698-5 | ||
| 035 | |a (DE-627-1)104367695 | ||
| 035 | |a (DE-599)KEP104367695 | ||
| 035 | |a (ORHE)9781000876987 | ||
| 035 | |a (DE-627-1)104367695 | ||
| 040 | |a DE-627 |b ger |c DE-627 |e rda | ||
| 041 | |a eng | ||
| 082 | 0 | |a 004.21 |2 23 | |
| 100 | 1 | |a Yin, Yongfeng |d 1978- |e VerfasserIn |4 aut | |
| 240 | 1 | 0 | |a Qianrushi ruanjian xitong ceshi |
| 245 | 1 | 0 | |a Embedded software system testing |b automatic testing solution based on formal method |c Yongfeng Yin, Bo Jiang |
| 250 | |a 1st. | ||
| 264 | 1 | |a Boca Raton |b CRC Press |c 2023 | |
| 300 | |a 1 Online-Ressource (306 Seiten) |b illustrations (black and white) | ||
| 336 | |a Text |b txt |2 rdacontent | ||
| 337 | |a Computermedien |b c |2 rdamedia | ||
| 338 | |a Online-Ressource |b cr |2 rdacarrier | ||
| 500 | |a 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>. - Includes bibliographical references. - Description based on CIP data; resource not viewed | ||
| 520 | |a 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. | ||
| 650 | 0 | |a Embedded computer systems |x Testing | |
| 650 | 0 | |a Computer software |x Testing | |
| 650 | 4 | |a Computer software ; Testing | |
| 650 | 4 | |a Embedded computer systems ; Testing | |
| 700 | 1 | |a Jiang, Bo |d 1981- |e VerfasserIn |4 aut | |
| 776 | 1 | |z 9781032488189 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9781032488189 |
| 966 | 4 | 0 | |l DE-91 |p ZDB-30-ORH |q TUM_PDA_ORH |u https://learning.oreilly.com/library/view/-/9781000876987/?ar |m X:ORHE |x Aggregator |z lizenzpflichtig |3 Volltext |
| 912 | |a ZDB-30-ORH | ||
| 951 | |a BO | ||
| 912 | |a ZDB-30-ORH | ||
| 049 | |a DE-91 | ||
Datensatz im Suchindex
| DE-BY-TUM_katkey | ZDB-30-ORH-104367695 |
|---|---|
| _version_ | 1821494931237109760 |
| adam_text | |
| any_adam_object | |
| author | Yin, Yongfeng 1978- Jiang, Bo 1981- |
| author_facet | Yin, Yongfeng 1978- Jiang, Bo 1981- |
| author_role | aut aut |
| author_sort | Yin, Yongfeng 1978- |
| author_variant | y y yy b j bj |
| building | Verbundindex |
| bvnumber | localTUM |
| collection | ZDB-30-ORH |
| ctrlnum | (DE-627-1)104367695 (DE-599)KEP104367695 (ORHE)9781000876987 |
| dewey-full | 004.21 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.21 |
| dewey-search | 004.21 |
| dewey-sort | 14.21 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| edition | 1st. |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02349nam a22004452 4500</leader><controlfield tag="001">ZDB-30-ORH-104367695</controlfield><controlfield tag="003">DE-627-1</controlfield><controlfield tag="005">20240701091157.0</controlfield><controlfield tag="007">cr uuu---uuuuu</controlfield><controlfield tag="008">240701s2023 xx |||||o 00| ||eng c</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781000876987</subfield><subfield code="c">ePub ebook</subfield><subfield code="9">978-1-000-87698-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1000876985</subfield><subfield code="9">1-000-87698-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627-1)104367695</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)KEP104367695</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ORHE)9781000876987</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627-1)104367695</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-627</subfield><subfield code="b">ger</subfield><subfield code="c">DE-627</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.21</subfield><subfield code="2">23</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Yin, Yongfeng</subfield><subfield code="d">1978-</subfield><subfield code="e">VerfasserIn</subfield><subfield code="4">aut</subfield></datafield><datafield tag="240" ind1="1" ind2="0"><subfield code="a">Qianrushi ruanjian xitong ceshi</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Embedded software system testing</subfield><subfield code="b">automatic testing solution based on formal method</subfield><subfield code="c">Yongfeng Yin, Bo Jiang</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Boca Raton</subfield><subfield code="b">CRC Press</subfield><subfield code="c">2023</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (306 Seiten)</subfield><subfield code="b">illustrations (black and white)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">Text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">Computermedien</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">Online-Ressource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">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>. - Includes bibliographical references. - Description based on CIP data; resource not viewed</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">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.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Embedded computer systems</subfield><subfield code="x">Testing</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computer software</subfield><subfield code="x">Testing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software ; Testing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Embedded computer systems ; Testing</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Jiang, Bo</subfield><subfield code="d">1981-</subfield><subfield code="e">VerfasserIn</subfield><subfield code="4">aut</subfield></datafield><datafield tag="776" ind1="1" ind2=" "><subfield code="z">9781032488189</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9781032488189</subfield></datafield><datafield tag="966" ind1="4" ind2="0"><subfield code="l">DE-91</subfield><subfield code="p">ZDB-30-ORH</subfield><subfield code="q">TUM_PDA_ORH</subfield><subfield code="u">https://learning.oreilly.com/library/view/-/9781000876987/?ar</subfield><subfield code="m">X:ORHE</subfield><subfield code="x">Aggregator</subfield><subfield code="z">lizenzpflichtig</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-30-ORH</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">BO</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-30-ORH</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield></datafield></record></collection> |
| id | ZDB-30-ORH-104367695 |
| illustrated | Illustrated |
| indexdate | 2025-01-17T11:22:13Z |
| institution | BVB |
| isbn | 9781000876987 1000876985 |
| language | English |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM |
| owner_facet | DE-91 DE-BY-TUM |
| physical | 1 Online-Ressource (306 Seiten) illustrations (black and white) |
| psigel | ZDB-30-ORH TUM_PDA_ORH ZDB-30-ORH |
| publishDate | 2023 |
| publishDateSearch | 2023 |
| publishDateSort | 2023 |
| publisher | CRC Press |
| record_format | marc |
| spelling | Yin, Yongfeng 1978- VerfasserIn aut Qianrushi ruanjian xitong ceshi Embedded software system testing automatic testing solution based on formal method Yongfeng Yin, Bo Jiang 1st. Boca Raton CRC Press 2023 1 Online-Ressource (306 Seiten) illustrations (black and white) Text txt rdacontent Computermedien c rdamedia Online-Ressource cr rdacarrier 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>. - Includes bibliographical references. - Description based on CIP data; resource not viewed 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. Embedded computer systems Testing Computer software Testing Computer software ; Testing Embedded computer systems ; Testing Jiang, Bo 1981- VerfasserIn aut 9781032488189 Erscheint auch als Druck-Ausgabe 9781032488189 |
| spellingShingle | Yin, Yongfeng 1978- Jiang, Bo 1981- Embedded software system testing automatic testing solution based on formal method Embedded computer systems Testing Computer software Testing Computer software ; Testing Embedded computer systems ; Testing |
| title | Embedded software system testing automatic testing solution based on formal method |
| title_alt | Qianrushi ruanjian xitong ceshi |
| title_auth | Embedded software system testing automatic testing solution based on formal method |
| title_exact_search | Embedded software system testing automatic testing solution based on formal method |
| title_full | Embedded software system testing automatic testing solution based on formal method Yongfeng Yin, Bo Jiang |
| title_fullStr | Embedded software system testing automatic testing solution based on formal method Yongfeng Yin, Bo Jiang |
| title_full_unstemmed | Embedded software system testing automatic testing solution based on formal method Yongfeng Yin, Bo Jiang |
| title_short | Embedded software system testing |
| title_sort | embedded software system testing automatic testing solution based on formal method |
| title_sub | automatic testing solution based on formal method |
| topic | Embedded computer systems Testing Computer software Testing Computer software ; Testing Embedded computer systems ; Testing |
| topic_facet | Embedded computer systems Testing Computer software Testing Computer software ; Testing Embedded computer systems ; Testing |
| work_keys_str_mv | AT yinyongfeng qianrushiruanjianxitongceshi AT jiangbo qianrushiruanjianxitongceshi AT yinyongfeng embeddedsoftwaresystemtestingautomatictestingsolutionbasedonformalmethod AT jiangbo embeddedsoftwaresystemtestingautomatictestingsolutionbasedonformalmethod |