Automatisierte Testfallerzeugung auf Grundlage einer zustandsbasierten Funktionsbeschreibung für Kraftfahrzeugsteuergeräte:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Abschlussarbeit Buch |
| Sprache: | German |
| Veröffentlicht: |
Renningen
Expert-Verl.
2009
|
| Schriftenreihe: | Schriftenreihe des Instituts für Verbrennungsmotoren und Kraftfahrwesen der Universität Stuttgart
41 |
| Schlagworte: | |
| Online-Zugang: | Ausführliche Beschreibung Inhaltsverzeichnis |
| Beschreibung: | 190 S. Ill., graph. Darst. |
| ISBN: | 9783816929352 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV024629319 | ||
| 003 | DE-604 | ||
| 005 | 20100420 | ||
| 007 | t | ||
| 008 | 090924s2009 gw ad|| m||| 00||| ger d | ||
| 015 | |a 09,N09,0676 |2 dnb | ||
| 015 | |a 09,A33,1145 |2 dnb | ||
| 016 | 7 | |a 992519543 |2 DE-101 | |
| 020 | |a 9783816929352 |9 978-3-8169-2935-2 | ||
| 035 | |a (OCoLC)429665051 | ||
| 035 | |a (DE-599)DNB992519543 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c XA-DE-BW | ||
| 049 | |a DE-83 |a DE-29T |a DE-91 |a DE-898 | ||
| 082 | 0 | |a 629.20284 |2 22/ger | |
| 084 | |a ZO 4250 |0 (DE-625)157719: |2 rvk | ||
| 084 | |a 620 |2 sdnb | ||
| 100 | 1 | |a Brost, Michael |d 1974- |e Verfasser |0 (DE-588)139053786 |4 aut | |
| 245 | 1 | 0 | |a Automatisierte Testfallerzeugung auf Grundlage einer zustandsbasierten Funktionsbeschreibung für Kraftfahrzeugsteuergeräte |c Michael Brost |
| 264 | 1 | |a Renningen |b Expert-Verl. |c 2009 | |
| 300 | |a 190 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Schriftenreihe des Instituts für Verbrennungsmotoren und Kraftfahrwesen der Universität Stuttgart |v 41 | |
| 502 | |a Zugl.: Stuttgart, Univ., Diss., 2008 | ||
| 650 | 4 | |a Kraftfahrzeugelektronik - Steuerungstechnik - Prüfprogramm - Softwarespezifikation - UML | |
| 650 | 0 | 7 | |a UML |0 (DE-588)4469781-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwarespezifikation |0 (DE-588)4056186-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Kraftfahrzeugelektronik |0 (DE-588)4191569-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Steuerungstechnik |0 (DE-588)4116615-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Prüfprogramm |0 (DE-588)4268583-7 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Kraftfahrzeugelektronik |0 (DE-588)4191569-0 |D s |
| 689 | 0 | 1 | |a Steuerungstechnik |0 (DE-588)4116615-2 |D s |
| 689 | 0 | 2 | |a Prüfprogramm |0 (DE-588)4268583-7 |D s |
| 689 | 0 | 3 | |a Softwarespezifikation |0 (DE-588)4056186-0 |D s |
| 689 | 0 | 4 | |a UML |0 (DE-588)4469781-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 830 | 0 | |a Schriftenreihe des Instituts für Verbrennungsmotoren und Kraftfahrwesen der Universität Stuttgart |v 41 |w (DE-604)BV011324639 |9 41 | |
| 856 | 4 | 2 | |q text/html |u http://www.expertverlag.de/php/i.php?i=978381692935 |3 Ausführliche Beschreibung |
| 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=018600935&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-018600935 | ||
Datensatz im Suchindex
| _version_ | 1804140652554878976 |
|---|---|
| adam_text | INHALTSVERZEICHNIS DANKSAGUNG 3 ZUSAMMENFASSUNG 4 ABSTRACT 6 ABKUERZUNGEN
11 1. EINLEITUNG 16 1.1. AUFGABENSTELLUNG 18 1.2. BEITRAG DIESER ARBEIT
20 1.2.1. METHODIK 20 1.2.2. PRAKTISCHE EINSETZBARKEIT 21 1.3. TAXONOMIE
UND TERMINOLOGIE 22 1.3.1. PROZESSMODELL 23 1.3.2. BEGRIFFE 25 1.4.
GLIEDERUNG 36 2. STAND DER TECHNIK 38 2.1. KRAFTFAHRZEUGELEKTRONIK 38
2.1.1. STEUERGERAETE 38 2.1.2. VERNETZUNG 40 2.1.3. LOGISCHE
SYSTEMARCHITEKTUR 42 2.1.4. KAROSSERIESYSTEME 45 2.2. TEST VON
KRAFTFAHRZEUGELEKTRONIK 47 2.2.1. HETEROGENE ENTWICKLUNGSUMGEBUNG 47
2.2.2. AUTOMATISIERTE TESTDURCHFUEHRUNG 48 2.2.3. TESTSPEZIFIKATION 50
2.3. UNIFIED MODELING LANGUAGE 50 2.3.1. ELEMENTE DER UML 51 2.3.2. DIE
UML UND EINGEBETTETE SYSTEME 52 2.3.3. MODELLAUSTAUSCH MIT UML 53
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/992519543 DIGITALISIERT
DURCH 9 2.3.4. EIGNUNG DER UML FUER DEN TEST 54 2.4. ZUSTANDSBASIERTE
SPEZIFIKATIONEN UND TESTERZEUGUNG 54 2.4.1. GRUENDE FUER EINE FORMALE
SPEZIFIKATION 55 2.4.2. LINEAR-TIME TEMPORAL LOGIC 56 2.4.3.
COMPUTATIONAL TREE LOGIC 56 2.4.4. SPEZIFIKATIONSSPRACHE Z 58 2.4.5.
PETRINETZE 58 2.4.6. SDL 59 2.4.7. AUTOFOCUS 60 2.4.8. UML
ZUSTANDSAUTOMATEN 60 3. FUNKTIONALE SPEZIFIKATION 62 3.1. AKTUELLER
STAND DER SPEZIFIKATION 63 3.2. UML-ZUSTANDSAUTOMATEN 63 3.2.1.
ZUSTANDSINVARIANTEN 66 3.2.2. ZUSTANDSHIERARCHIE 67 3.2.3.
NEBENLAEUFIGKEITEN 68 3.2.4. PROTOKOLLAUTOMATEN 69 3.3.
DOMAENENSPEZIFISCHE INTERPRETATION 70 3.4. MODELLIERUNG MIT UML
PROTOKOLLAUTOMATEN 73 3.5. MODELLIERUNG MIT SYMBOLEN 79 3.6. ZEITKONZEPT
83 3.6.1. DOMAENENSPEZIFISCHES ZEITKONZEPT 84 3.6.2.
FUNKTIONSSPEZIFISCHES ZEITKONZEPT 85 3.6.3. TESTSPEZIFISCHES ZEITKONZEPT
86 3.7. SYSTEMKLASSIFIZIERUNG 89 3.8. SYSTEMSICHTEN 90 3.9.
SYSTEMVARIANTEN 92 3.10. SYSTEMGRENZEN 93 3.10.1. IMPLIZITE
SPEZIFIKATION 95 3.10.2. EXPLIZITE SPEZIFIKATION 96 4. AUTOMATISIERTE
TESTFALLERZEUGUNG 100 4.1. STRUKTURELLE UMFORMUNG 101 4.1.1. AUFLOESEN
UML-SPEZIFISCHER ELEMENTE 103 4.1.2. NEBENLAEUFIGKEITEN UND HIERARCHIE
106 4.2. PFADBILDUNG IN AUTOMATEN 117 10 4.2.1. SUCHSTRATEGIEN IN
GERICHTETEN GRAPHEN 118 4.2.2. ALLE ZUSTAENDE 119 4.2.3. ALLE UEBERGAENGE
122 4.2.4. N+-STRATEGIE 127 4.2.5. ALLE PFADE 130 4.2.6. STRATEGIE FUER
DIE PFADBILDUNG 133 4.3. HERLEITUNG VON EIN- UND AUSGABEVEKTOREN 134
4.3.1. MEHRFACHBEDINGUNGSUEBERDECKUNG 135 4.3.2. LOGIKMINIMIERUNG 136 5.
ANWENDUNG IN DER PRAXIS 144 5.1. TESTOBJEKTE 144 5.2. GESAMTPROZESS DER
TESTFALLERZEUGUNG 145 5.3. DER TESTSEQUENZAUTOMAT TESAM 146 5.4. DIE
ALLGEMEINE PARAMETRIERSCHNITTSTELLE ALPAS 148 5.5. DAS TESTSYSTEM PATE
149 5.5.1. PRINZIPIELLE FUNKTIONSWEISE 151 5.5.2. HARDWAREAUFBAU 152
5.5.3. SOFTWAREAUFBAU 153 5.6. TESTFALLERZEUGUNG FUER EIN TUERSTEUERGERAET
154 6. ZUSAMMENFASSUNG UND AUSBLICK 159 LITERATURVERZEICHNIS 162 A.
ANHANG 171 A.L. ENTWICKLUNGEN VERSCHIEDENER ALGORITHMEN 171 A.2. FORMALE
DARSTELLUNG BEISPIELAUTOMAT 183 A.3. UEBERBLICK UEBER DYNAMISCHE
TESTVERFAHREN 186 A.4. OBERFLAECHE TESAM 187 A.5. BEISPIELFUNKTIONEN ALS
PROTOKOLLAUTOMATEN 188
|
| any_adam_object | 1 |
| author | Brost, Michael 1974- |
| author_GND | (DE-588)139053786 |
| author_facet | Brost, Michael 1974- |
| author_role | aut |
| author_sort | Brost, Michael 1974- |
| author_variant | m b mb |
| building | Verbundindex |
| bvnumber | BV024629319 |
| classification_rvk | ZO 4250 |
| ctrlnum | (OCoLC)429665051 (DE-599)DNB992519543 |
| dewey-full | 629.20284 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 629 - Other branches of engineering |
| dewey-raw | 629.20284 |
| dewey-search | 629.20284 |
| dewey-sort | 3629.20284 |
| dewey-tens | 620 - Engineering and allied operations |
| discipline | Maschinenbau / Maschinenwesen Verkehr / Transport |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02550nam a2200553 cb4500</leader><controlfield tag="001">BV024629319</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20100420 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">090924s2009 gw ad|| m||| 00||| ger d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">09,N09,0676</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">09,A33,1145</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">992519543</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783816929352</subfield><subfield code="9">978-3-8169-2935-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)429665051</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB992519543</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BW</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-83</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-898</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">629.20284</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ZO 4250</subfield><subfield code="0">(DE-625)157719:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">620</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Brost, Michael</subfield><subfield code="d">1974-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)139053786</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Automatisierte Testfallerzeugung auf Grundlage einer zustandsbasierten Funktionsbeschreibung für Kraftfahrzeugsteuergeräte</subfield><subfield code="c">Michael Brost</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Renningen</subfield><subfield code="b">Expert-Verl.</subfield><subfield code="c">2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">190 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="490" ind1="1" ind2=" "><subfield code="a">Schriftenreihe des Instituts für Verbrennungsmotoren und Kraftfahrwesen der Universität Stuttgart</subfield><subfield code="v">41</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">Zugl.: Stuttgart, Univ., Diss., 2008</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Kraftfahrzeugelektronik - Steuerungstechnik - Prüfprogramm - Softwarespezifikation - UML</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">UML</subfield><subfield code="0">(DE-588)4469781-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwarespezifikation</subfield><subfield code="0">(DE-588)4056186-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Kraftfahrzeugelektronik</subfield><subfield code="0">(DE-588)4191569-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Steuerungstechnik</subfield><subfield code="0">(DE-588)4116615-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Prüfprogramm</subfield><subfield code="0">(DE-588)4268583-7</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">Kraftfahrzeugelektronik</subfield><subfield code="0">(DE-588)4191569-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Steuerungstechnik</subfield><subfield code="0">(DE-588)4116615-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Prüfprogramm</subfield><subfield code="0">(DE-588)4268583-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Softwarespezifikation</subfield><subfield code="0">(DE-588)4056186-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">UML</subfield><subfield code="0">(DE-588)4469781-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Schriftenreihe des Instituts für Verbrennungsmotoren und Kraftfahrwesen der Universität Stuttgart</subfield><subfield code="v">41</subfield><subfield code="w">(DE-604)BV011324639</subfield><subfield code="9">41</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="q">text/html</subfield><subfield code="u">http://www.expertverlag.de/php/i.php?i=978381692935</subfield><subfield code="3">Ausführliche Beschreibung</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=018600935&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-018600935</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV024629319 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T22:03:23Z |
| institution | BVB |
| isbn | 9783816929352 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-018600935 |
| oclc_num | 429665051 |
| open_access_boolean | |
| owner | DE-83 DE-29T DE-91 DE-BY-TUM DE-898 DE-BY-UBR |
| owner_facet | DE-83 DE-29T DE-91 DE-BY-TUM DE-898 DE-BY-UBR |
| physical | 190 S. Ill., graph. Darst. |
| publishDate | 2009 |
| publishDateSearch | 2009 |
| publishDateSort | 2009 |
| publisher | Expert-Verl. |
| record_format | marc |
| series | Schriftenreihe des Instituts für Verbrennungsmotoren und Kraftfahrwesen der Universität Stuttgart |
| series2 | Schriftenreihe des Instituts für Verbrennungsmotoren und Kraftfahrwesen der Universität Stuttgart |
| spelling | Brost, Michael 1974- Verfasser (DE-588)139053786 aut Automatisierte Testfallerzeugung auf Grundlage einer zustandsbasierten Funktionsbeschreibung für Kraftfahrzeugsteuergeräte Michael Brost Renningen Expert-Verl. 2009 190 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Schriftenreihe des Instituts für Verbrennungsmotoren und Kraftfahrwesen der Universität Stuttgart 41 Zugl.: Stuttgart, Univ., Diss., 2008 Kraftfahrzeugelektronik - Steuerungstechnik - Prüfprogramm - Softwarespezifikation - UML UML (DE-588)4469781-8 gnd rswk-swf Softwarespezifikation (DE-588)4056186-0 gnd rswk-swf Kraftfahrzeugelektronik (DE-588)4191569-0 gnd rswk-swf Steuerungstechnik (DE-588)4116615-2 gnd rswk-swf Prüfprogramm (DE-588)4268583-7 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Kraftfahrzeugelektronik (DE-588)4191569-0 s Steuerungstechnik (DE-588)4116615-2 s Prüfprogramm (DE-588)4268583-7 s Softwarespezifikation (DE-588)4056186-0 s UML (DE-588)4469781-8 s DE-604 Schriftenreihe des Instituts für Verbrennungsmotoren und Kraftfahrwesen der Universität Stuttgart 41 (DE-604)BV011324639 41 text/html http://www.expertverlag.de/php/i.php?i=978381692935 Ausführliche Beschreibung DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018600935&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Brost, Michael 1974- Automatisierte Testfallerzeugung auf Grundlage einer zustandsbasierten Funktionsbeschreibung für Kraftfahrzeugsteuergeräte Schriftenreihe des Instituts für Verbrennungsmotoren und Kraftfahrwesen der Universität Stuttgart Kraftfahrzeugelektronik - Steuerungstechnik - Prüfprogramm - Softwarespezifikation - UML UML (DE-588)4469781-8 gnd Softwarespezifikation (DE-588)4056186-0 gnd Kraftfahrzeugelektronik (DE-588)4191569-0 gnd Steuerungstechnik (DE-588)4116615-2 gnd Prüfprogramm (DE-588)4268583-7 gnd |
| subject_GND | (DE-588)4469781-8 (DE-588)4056186-0 (DE-588)4191569-0 (DE-588)4116615-2 (DE-588)4268583-7 (DE-588)4113937-9 |
| title | Automatisierte Testfallerzeugung auf Grundlage einer zustandsbasierten Funktionsbeschreibung für Kraftfahrzeugsteuergeräte |
| title_auth | Automatisierte Testfallerzeugung auf Grundlage einer zustandsbasierten Funktionsbeschreibung für Kraftfahrzeugsteuergeräte |
| title_exact_search | Automatisierte Testfallerzeugung auf Grundlage einer zustandsbasierten Funktionsbeschreibung für Kraftfahrzeugsteuergeräte |
| title_full | Automatisierte Testfallerzeugung auf Grundlage einer zustandsbasierten Funktionsbeschreibung für Kraftfahrzeugsteuergeräte Michael Brost |
| title_fullStr | Automatisierte Testfallerzeugung auf Grundlage einer zustandsbasierten Funktionsbeschreibung für Kraftfahrzeugsteuergeräte Michael Brost |
| title_full_unstemmed | Automatisierte Testfallerzeugung auf Grundlage einer zustandsbasierten Funktionsbeschreibung für Kraftfahrzeugsteuergeräte Michael Brost |
| title_short | Automatisierte Testfallerzeugung auf Grundlage einer zustandsbasierten Funktionsbeschreibung für Kraftfahrzeugsteuergeräte |
| title_sort | automatisierte testfallerzeugung auf grundlage einer zustandsbasierten funktionsbeschreibung fur kraftfahrzeugsteuergerate |
| topic | Kraftfahrzeugelektronik - Steuerungstechnik - Prüfprogramm - Softwarespezifikation - UML UML (DE-588)4469781-8 gnd Softwarespezifikation (DE-588)4056186-0 gnd Kraftfahrzeugelektronik (DE-588)4191569-0 gnd Steuerungstechnik (DE-588)4116615-2 gnd Prüfprogramm (DE-588)4268583-7 gnd |
| topic_facet | Kraftfahrzeugelektronik - Steuerungstechnik - Prüfprogramm - Softwarespezifikation - UML UML Softwarespezifikation Kraftfahrzeugelektronik Steuerungstechnik Prüfprogramm Hochschulschrift |
| url | http://www.expertverlag.de/php/i.php?i=978381692935 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018600935&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV011324639 |
| work_keys_str_mv | AT brostmichael automatisiertetestfallerzeugungaufgrundlageeinerzustandsbasiertenfunktionsbeschreibungfurkraftfahrzeugsteuergerate |