Model-based testing of automotive HMIs with consideration for product variability:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Abschlussarbeit Buch |
| Sprache: | English |
| Veröffentlicht: |
Göttingen
Cuvillier, E
2012
|
| Ausgabe: | 1. Aufl. |
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Volltext https://nbn-resolving.org/urn:nbn:de:bvb:19-145226 Inhaltsverzeichnis |
| Beschreibung: | III, 167 S. Ill., graph. Darst. |
| ISBN: | 9783954041497 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV040419918 | ||
| 003 | DE-604 | ||
| 005 | 20121031 | ||
| 007 | t | ||
| 008 | 120917s2012 gw ad|| m||| 00||| eng d | ||
| 015 | |a 12,N32 |2 dnb | ||
| 016 | 7 | |a 1024668215 |2 DE-101 | |
| 020 | |a 9783954041497 |c Kart. : EUR 30.60 (DE), EUR 31.50 (AT) |9 978-3-95404-149-7 | ||
| 024 | 3 | |a 9783954041497 | |
| 035 | |a (OCoLC)815895098 | ||
| 035 | |a (DE-599)DNB1024668215 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-NI | ||
| 049 | |a DE-12 |a DE-384 |a DE-473 |a DE-703 |a DE-1051 |a DE-824 |a DE-29 |a DE-91 |a DE-19 |a DE-1049 |a DE-92 |a DE-739 |a DE-898 |a DE-355 |a DE-706 |a DE-20 |a DE-1102 | ||
| 082 | 0 | |a 629.277028567 |2 22/ger | |
| 084 | |a 004 |2 sdnb | ||
| 100 | 1 | |a Duan, Linshu |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Model-based testing of automotive HMIs with consideration for product variability |c Linshu Duan |
| 250 | |a 1. Aufl. | ||
| 264 | 1 | |a Göttingen |b Cuvillier, E |c 2012 | |
| 300 | |a III, 167 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 502 | |a Zugl.: München, Univ., Diss., 2012 | ||
| 650 | 0 | 7 | |a Produktvariation |0 (DE-588)4175819-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Infotainment |0 (DE-588)4658795-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Modellbasiertes Testen |0 (DE-588)7732025-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mensch-Maschine-Schnittstelle |0 (DE-588)4720440-0 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Infotainment |0 (DE-588)4658795-0 |D s |
| 689 | 0 | 1 | |a Mensch-Maschine-Schnittstelle |0 (DE-588)4720440-0 |D s |
| 689 | 0 | 2 | |a Modellbasiertes Testen |0 (DE-588)7732025-6 |D s |
| 689 | 0 | 3 | |a Produktvariation |0 (DE-588)4175819-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |o urn:nbn:de:bvb:19-145226 |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=4093688&prov=M&dok_var=1&dok_ext=htm |x Verlag |z kostenfrei |3 Inhaltstext |
| 856 | 4 | 1 | |u http://edoc.ub.uni-muenchen.de/14522/ |x Verlag |z kostenfrei |3 Volltext |
| 856 | 4 | |u https://nbn-resolving.org/urn:nbn:de:bvb:19-145226 |x Resolving-System | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025272684&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 912 | |a ebook | ||
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-025272684 | |
Datensatz im Suchindex
| _version_ | 1807953697606467584 |
|---|---|
| adam_text |
IMAGE 1
CONTENTS
I. INTRODUCTION 1
1. P R O B L E M A N D SOLUTION S U M M A R Y ^
1.1. PROBLEM SUMMARY 7
1.2. SOLUTION SUMMARY 9
1.2.1. THE FRAMEWORK FOR MODEL-BASED HMI TESTING 9
1.2.2. INTEGRATING VARIABILITY INTO MODEL-BASED TESTING 10
1.3. ORGANIZATION OF THIS THESIS 11
2. F U N D A M E N T A L S 1 3
2.1. MODEL-BASED TESTING 13
2.1.1. VARIANTS OF MBT 14
2.1.2. TEST GENERATION 15
2.1.3. AUTOMATED TEST EXECUTIONS 17
2.1.4. CURRENT SITUATION OF MBT IN PRACTICE 17
2.1.5. UML STATECHART 18
2.2. AUTOMOTIVE HMIS 18
2.2.1. THE GRAPHICAL REPRESENTATION OF AN HMI 19
2.2.2. THE DYNAMICS OF A N HMI 20
2.2.3. DEVELOPMENT PROCESS OF A N HMI 21
2.2.4. VARIANTS OF HMI 22
2.2.5. CONCLUSION: AUTOMOTIVE HMI VS. STANDARD P C APPLICATIONS 22
3. R E L A T E D W O R K 2 3
3.1. MODEL-BASED GUI TESTING 24
3.2. MODEL-BASED TESTING OF GUIS WITH VARIABILITY 28
3.3. MODEL-BASED DEVELOPMENT OF GUIS WITH VARIABILITY 30
3.4. CONCLUSION 31
LI. FRAMEWORK FOR MODEL-BASED HMI TESTING 3 3
4. T H E FRAMEWORK FOR M O D E L - B A S E D HMI T E S T I N G 3 7
4.1. COMPONENTS OF THE HMI TESTING FRAMEWORK 37
4.1.1. RELATED WORK 40
4.2. ANALYSIS OF HMI ERROR TYPES 40
4.2.1. ERRORS OCCURRING IN PRACTICE 40
HTTP://D-NB.INFO/1024668215
IMAGE 2
CONTENTS
4.2.2. HMI ERRORS ADDRESSED IN THIS THESIS 44
4.3. CONCLUSIONS 47
5. T H E T E S T - O R I E N T E D H M I SPECIFICATION 4 9
5.1. GENERAL REQUIREMENTS 49
5.2. REQUIREMENTS FOR THE MENU BEHAVIOR MODEL 52
5.3. REQUIREMENTS FOR THE REPRESENTATION LAYER 59
5.3.1. SPECIFICATION OF SCREEN CONTENTS 60
5.3.2. SPECIFICATION OF POSSIBLE TRIGGERABLE EVENTS 62
5.3.3. META-MODEL OF THE REPRESENTATION LAYER 63
5.4. RELATED WORK 64
5.5. CONCLUSIONS 66
6. T E S T GENERATION 6 7
6.1. THE MENU BEHAVIOR SC 67
6.2. A TEST GENERATION ALGORITHM 68
6.3. GENERATED TESTS ! 71
6.3.1. BASED ON THE TRANSITION COVERAGE 71
6.3.2. BASED ON THE PATH COVERAGE 72
6.3.3. BASED ON THE STATE COVERAGE 73
6.4. RELATED WORK 74
6.5. CONCLUSIONS 75
III. INTEGRATING VARIABILITY INTO MODEL-BASED HMI TESTING 7 7
7. H M I SPECIFICATION W I T H VARIABILITY 8 1
7.1. FEATURE SPECIFICATION 82
7.1.1. EXTENDED FEATURE MODEL 82
7.1.2. RELATED WORK 84
7.2. MENU BEHAVIOR MODEL WITH VARIABILITY 85
7.2.1. HOW TO INCORPORATE FUNCTIONAL FEATURES INTO THE MENU BEHAVIOR SC
. . . 85 7.2.2. HOW TO INCORPORATE VARIANT FEATURES INTO THE MENU
BEHAVIOR SC 88
7.2.3. HOW TO INCORPORATE FUNCTIONAL FEATURE OPTIONS INTO THE MENU
BEHAVIOR SC 91 7.2.4. RELATED WORK 91
7.3. REPRESENTATION LAYER WITH VARIABILITY 93
7.3.1. VARIABILITY OF ABSTRACT SCREENS 93
7.3.2. VARIABILITY OF REPRESENTATION UNITS 95
7.3.3. EXTENDED META-MODEL FOR THE REPRESENTATION LAYER 96
7.4. RELATED WORK 98
7.5. CONCLUSIONS 99
8. T E S T GENERATION W I T H VARIABILITY 1 0 1
8.1. A TEST GENERATION METHOD 101
8.1.1. GENERATING TEST SEQUENCES 102
8.1.2. CONSTRUCTING TESTS FROM TEST SEQUENCES 115
8.1.3. AVOIDING REDUNDANT TESTS 119
II
IMAGE 3
CONTENTS
8.1.4. CONCLUSIONS 122
8.2. SOME OTHER COVERAGE CRITERIA 122
8.3. CONCLUSIONS 123
IV. EVALUATION AND CONCLUSIONS 1 2 5
9. EVALUATION 1 2 9
9.1. DATA SOURCE FOR THE EVALUATION 129
9.1.1. PROOF-OF-CONCEPT IMPLEMENTATION 129
9.1.2. AN HMI DEVELOPMENT MODEL FROM REAL LIFE 133
9.2. EVALUATION 138
9.2.1. DESIGN OF THE EVALUATION 138
9.2.2. EVALUATION BASED ON MATHEMATICAL PLAUSIBILITY ANALYSIS 140
9.2.3. GENERAL DISCUSSION 141
9.2.4. ESTIMATION WITH CONCRETE D A T A 143
9.3. CONCLUSIONS 145
10. CONCLUSION A N D F U T U R E W O R K 1 4 7
10.1. SUMMARY . . . . - 147
10.2. FUTURE WORK 149
10.3. FINAL WORDS 153
V . BIBLIOGRAPHY 1 5 5
BIBLIOGRAPHY 157
URLS 1 6 6
III |
| any_adam_object | 1 |
| author | Duan, Linshu |
| author_facet | Duan, Linshu |
| author_role | aut |
| author_sort | Duan, Linshu |
| author_variant | l d ld |
| building | Verbundindex |
| bvnumber | BV040419918 |
| collection | ebook |
| ctrlnum | (OCoLC)815895098 (DE-599)DNB1024668215 |
| dewey-full | 629.277028567 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 629 - Other branches of engineering |
| dewey-raw | 629.277028567 |
| dewey-search | 629.277028567 |
| dewey-sort | 3629.277028567 |
| dewey-tens | 620 - Engineering and allied operations |
| discipline | Informatik Verkehr / Transport |
| edition | 1. Aufl. |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV040419918</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20121031</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">120917s2012 gw ad|| m||| 00||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">12,N32</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1024668215</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783954041497</subfield><subfield code="c">Kart. : EUR 30.60 (DE), EUR 31.50 (AT)</subfield><subfield code="9">978-3-95404-149-7</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783954041497</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)815895098</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1024668215</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-NI</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-1051</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-1049</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-1102</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">629.277028567</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Duan, Linshu</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Model-based testing of automotive HMIs with consideration for product variability</subfield><subfield code="c">Linshu Duan</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. Aufl.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Göttingen</subfield><subfield code="b">Cuvillier, E</subfield><subfield code="c">2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">III, 167 S.</subfield><subfield code="b">Ill., graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">Zugl.: München, Univ., Diss., 2012</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Produktvariation</subfield><subfield code="0">(DE-588)4175819-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Infotainment</subfield><subfield code="0">(DE-588)4658795-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Modellbasiertes Testen</subfield><subfield code="0">(DE-588)7732025-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mensch-Maschine-Schnittstelle</subfield><subfield code="0">(DE-588)4720440-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Infotainment</subfield><subfield code="0">(DE-588)4658795-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Mensch-Maschine-Schnittstelle</subfield><subfield code="0">(DE-588)4720440-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Modellbasiertes Testen</subfield><subfield code="0">(DE-588)7732025-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Produktvariation</subfield><subfield code="0">(DE-588)4175819-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="o">urn:nbn:de:bvb:19-145226</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=4093688&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="x">Verlag</subfield><subfield code="z">kostenfrei</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="1"><subfield code="u">http://edoc.ub.uni-muenchen.de/14522/</subfield><subfield code="x">Verlag</subfield><subfield code="z">kostenfrei</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="u">https://nbn-resolving.org/urn:nbn:de:bvb:19-145226</subfield><subfield code="x">Resolving-System</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025272684&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ebook</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-025272684</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV040419918 |
| illustrated | Illustrated |
| indexdate | 2024-08-21T00:10:05Z |
| institution | BVB |
| isbn | 9783954041497 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-025272684 |
| oclc_num | 815895098 |
| open_access_boolean | 1 |
| owner | DE-12 DE-384 DE-473 DE-BY-UBG DE-703 DE-1051 DE-824 DE-29 DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-1049 DE-92 DE-739 DE-898 DE-BY-UBR DE-355 DE-BY-UBR DE-706 DE-20 DE-1102 |
| owner_facet | DE-12 DE-384 DE-473 DE-BY-UBG DE-703 DE-1051 DE-824 DE-29 DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-1049 DE-92 DE-739 DE-898 DE-BY-UBR DE-355 DE-BY-UBR DE-706 DE-20 DE-1102 |
| physical | III, 167 S. Ill., graph. Darst. |
| psigel | ebook |
| publishDate | 2012 |
| publishDateSearch | 2012 |
| publishDateSort | 2012 |
| publisher | Cuvillier, E |
| record_format | marc |
| spelling | Duan, Linshu Verfasser aut Model-based testing of automotive HMIs with consideration for product variability Linshu Duan 1. Aufl. Göttingen Cuvillier, E 2012 III, 167 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Zugl.: München, Univ., Diss., 2012 Produktvariation (DE-588)4175819-5 gnd rswk-swf Infotainment (DE-588)4658795-0 gnd rswk-swf Modellbasiertes Testen (DE-588)7732025-6 gnd rswk-swf Mensch-Maschine-Schnittstelle (DE-588)4720440-0 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Infotainment (DE-588)4658795-0 s Mensch-Maschine-Schnittstelle (DE-588)4720440-0 s Modellbasiertes Testen (DE-588)7732025-6 s Produktvariation (DE-588)4175819-5 s DE-604 Erscheint auch als Online-Ausgabe urn:nbn:de:bvb:19-145226 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=4093688&prov=M&dok_var=1&dok_ext=htm Verlag kostenfrei Inhaltstext http://edoc.ub.uni-muenchen.de/14522/ Verlag kostenfrei Volltext https://nbn-resolving.org/urn:nbn:de:bvb:19-145226 Resolving-System DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025272684&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Duan, Linshu Model-based testing of automotive HMIs with consideration for product variability Produktvariation (DE-588)4175819-5 gnd Infotainment (DE-588)4658795-0 gnd Modellbasiertes Testen (DE-588)7732025-6 gnd Mensch-Maschine-Schnittstelle (DE-588)4720440-0 gnd |
| subject_GND | (DE-588)4175819-5 (DE-588)4658795-0 (DE-588)7732025-6 (DE-588)4720440-0 (DE-588)4113937-9 |
| title | Model-based testing of automotive HMIs with consideration for product variability |
| title_auth | Model-based testing of automotive HMIs with consideration for product variability |
| title_exact_search | Model-based testing of automotive HMIs with consideration for product variability |
| title_full | Model-based testing of automotive HMIs with consideration for product variability Linshu Duan |
| title_fullStr | Model-based testing of automotive HMIs with consideration for product variability Linshu Duan |
| title_full_unstemmed | Model-based testing of automotive HMIs with consideration for product variability Linshu Duan |
| title_short | Model-based testing of automotive HMIs with consideration for product variability |
| title_sort | model based testing of automotive hmis with consideration for product variability |
| topic | Produktvariation (DE-588)4175819-5 gnd Infotainment (DE-588)4658795-0 gnd Modellbasiertes Testen (DE-588)7732025-6 gnd Mensch-Maschine-Schnittstelle (DE-588)4720440-0 gnd |
| topic_facet | Produktvariation Infotainment Modellbasiertes Testen Mensch-Maschine-Schnittstelle Hochschulschrift |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=4093688&prov=M&dok_var=1&dok_ext=htm http://edoc.ub.uni-muenchen.de/14522/ https://nbn-resolving.org/urn:nbn:de:bvb:19-145226 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025272684&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT duanlinshu modelbasedtestingofautomotivehmiswithconsiderationforproductvariability |