Testen, Analysieren und Verifizieren von Software Arbeitskreis Testen, Analysieren und Verifizieren von Software der Fachgruppe Software-Engineering der GI, Proceedings der Treffen in Benthe und Bochum, Juni 1991 und Februar 1992
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | German English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
1992
|
| Schriftenreihe: | Informatik aktuell
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV005584545 | ||
| 003 | DE-604 | ||
| 005 | 20200420 | ||
| 007 | t| | ||
| 008 | 921006s1992 xx |||| 10||| ger d | ||
| 020 | |a 3540558608 |9 3-540-55860-8 | ||
| 020 | |a 0387558608 |9 0-387-55860-8 | ||
| 035 | |a (OCoLC)320327089 | ||
| 035 | |a (DE-599)BVBBV005584545 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger |a eng | |
| 049 | |a DE-384 |a DE-739 |a DE-91G |a DE-706 |a DE-634 |a DE-83 |a DE-188 | ||
| 080 | |a 681.3.06 | ||
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 084 | |a ST 233 |0 (DE-625)143620: |2 rvk | ||
| 084 | |a DAT 330f |2 stub | ||
| 084 | |a DAT 325f |2 stub | ||
| 245 | 1 | 0 | |a Testen, Analysieren und Verifizieren von Software |b Arbeitskreis Testen, Analysieren und Verifizieren von Software der Fachgruppe Software-Engineering der GI, Proceedings der Treffen in Benthe und Bochum, Juni 1991 und Februar 1992 |c P. Liggesmeyer ... (Herausgeber) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 1992 | |
| 300 | |a VIII, 186 Seiten | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Informatik aktuell | |
| 650 | 0 | 7 | |a Softwaretest |0 (DE-588)4132652-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmverifikation |0 (DE-588)4135576-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Qualitätskontrolle |0 (DE-588)4047968-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Software |0 (DE-588)4055382-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1991 |z Benthe |2 gnd-content | |
| 689 | 0 | 0 | |a Software |0 (DE-588)4055382-6 |D s |
| 689 | 0 | 1 | |a Qualitätskontrolle |0 (DE-588)4047968-7 |D s |
| 689 | 0 | |5 DE-188 | |
| 689 | 1 | 0 | |a Programmverifikation |0 (DE-588)4135576-3 |D s |
| 689 | 1 | |5 DE-188 | |
| 689 | 2 | 0 | |a Softwaretest |0 (DE-588)4132652-0 |D s |
| 689 | 2 | |5 DE-188 | |
| 700 | 1 | |a Liggesmeyer, Peter |d 1963- |0 (DE-588)112090362 |4 edt | |
| 710 | 2 | |a Gesellschaft für Informatik |b Arbeitskreis Testen, Analysieren und Verifizieren von Software |e Sonstige |0 (DE-588)2125750-4 |4 oth | |
| 856 | 4 | 2 | |m Digitalisierung TU Muenchen |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003497000&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-003497000 | |
Datensatz im Suchindex
| _version_ | 1822408403924811776 |
|---|---|
| adam_text |
INHALTSVERZEICHNIS
Überblick und Klassifikation
Peter Liggesmeyer
Testen, Analysieren und Verifizieren von Software - eine klassifizierende Übersicht der Verfahren_1
Jens Herrmann, Klaus Grimm
Klassifikation von Software-Testmethoden_26
Monika Mifflerburg
Zur Formalisierung von Testkonzepten_35
Werkzeuge
Harry M.
Sneed
The MicroTest
Integrated Test
Environment_45
Peter Schless
Methoden und Werkzeuge zur Automatisierung des Software-Tests_57
Ute Pelkmann
TESTSCOPE - ein Werkzeug für den Modul- und Integrationstest_70
Ralf Haselhorst
Der Software-Analyse-Baukasten - Ein Bericht aus der universitären Ausbildung_81
Prüfen umfangreicher Softwaresysteme
Andreas
ЅрШпег
Testmethoden und Testdatengewinnung für den btegrationstest modularer Softwaresysteme_91
Klaus Hauptmann
Abnahmetest großer Systeme - Methoden, Organisation und Werkzeuge^_102
Hans-Jürgen Löx
Testen in der Wartungsphase - Erfahrungen im Bereich des Regressionstests_111
Lutz Eichler
Testen paralleler Betriebssysteme,,_ . --------------------------------------119
Formale Ansätze zur Softwareprüfung
Hans-Jörg Kreowski
Ein Vorschlag zum Testen strukturierter algebraischer Spezifikationen_130
Hans-WemerPohl
Ein
stochastísches Fehlermodell
zur Kommunikation_143
Ralf Kneuper
Validation
und Verifikation von Software durch symbolische Ausführung;_155
Prüfen objektorientierter Softwaresysteme
Jan Overbeck
Test
Activities for
Object-Oriented Software Development_168
Peter Liggesmeyer, Andreas Dregger, Helmut Balzen
Ein experimentelles
Testsystem
für die Sprache HyperTalk_177 |
| any_adam_object | 1 |
| author2 | Liggesmeyer, Peter 1963- |
| author2_role | edt |
| author2_variant | p l pl |
| author_GND | (DE-588)112090362 |
| author_facet | Liggesmeyer, Peter 1963- |
| building | Verbundindex |
| bvnumber | BV005584545 |
| classification_rvk | ST 230 ST 233 |
| classification_tum | DAT 330f DAT 325f |
| ctrlnum | (OCoLC)320327089 (DE-599)BVBBV005584545 |
| discipline | Informatik |
| format | 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">BV005584545</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20200420</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">921006s1992 xx |||| 10||| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540558608</subfield><subfield code="9">3-540-55860-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387558608</subfield><subfield code="9">0-387-55860-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)320327089</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV005584545</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">ger</subfield><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="080" ind1=" " ind2=" "><subfield code="a">681.3.06</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 233</subfield><subfield code="0">(DE-625)143620:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 330f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 325f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Testen, Analysieren und Verifizieren von Software</subfield><subfield code="b">Arbeitskreis Testen, Analysieren und Verifizieren von Software der Fachgruppe Software-Engineering der GI, Proceedings der Treffen in Benthe und Bochum, Juni 1991 und Februar 1992</subfield><subfield code="c">P. Liggesmeyer ... (Herausgeber)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1992</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 186 Seiten</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="0" ind2=" "><subfield code="a">Informatik aktuell</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwaretest</subfield><subfield code="0">(DE-588)4132652-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Qualitätskontrolle</subfield><subfield code="0">(DE-588)4047968-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Software</subfield><subfield code="0">(DE-588)4055382-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1991</subfield><subfield code="z">Benthe</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Software</subfield><subfield code="0">(DE-588)4055382-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Qualitätskontrolle</subfield><subfield code="0">(DE-588)4047968-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-188</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-188</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Softwaretest</subfield><subfield code="0">(DE-588)4132652-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-188</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Liggesmeyer, Peter</subfield><subfield code="d">1963-</subfield><subfield code="0">(DE-588)112090362</subfield><subfield code="4">edt</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">Gesellschaft für Informatik</subfield><subfield code="b">Arbeitskreis Testen, Analysieren und Verifizieren von Software</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)2125750-4</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung TU Muenchen</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=003497000&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-003497000</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1991 Benthe gnd-content |
| genre_facet | Konferenzschrift 1991 Benthe |
| id | DE-604.BV005584545 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-27T13:21:28Z |
| institution | BVB |
| institution_GND | (DE-588)2125750-4 |
| isbn | 3540558608 0387558608 |
| language | German English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-003497000 |
| oclc_num | 320327089 |
| open_access_boolean | |
| owner | DE-384 DE-739 DE-91G DE-BY-TUM DE-706 DE-634 DE-83 DE-188 |
| owner_facet | DE-384 DE-739 DE-91G DE-BY-TUM DE-706 DE-634 DE-83 DE-188 |
| physical | VIII, 186 Seiten |
| publishDate | 1992 |
| publishDateSearch | 1992 |
| publishDateSort | 1992 |
| publisher | Springer |
| record_format | marc |
| series2 | Informatik aktuell |
| spelling | Testen, Analysieren und Verifizieren von Software Arbeitskreis Testen, Analysieren und Verifizieren von Software der Fachgruppe Software-Engineering der GI, Proceedings der Treffen in Benthe und Bochum, Juni 1991 und Februar 1992 P. Liggesmeyer ... (Herausgeber) Berlin [u.a.] Springer 1992 VIII, 186 Seiten txt rdacontent n rdamedia nc rdacarrier Informatik aktuell Softwaretest (DE-588)4132652-0 gnd rswk-swf Programmverifikation (DE-588)4135576-3 gnd rswk-swf Qualitätskontrolle (DE-588)4047968-7 gnd rswk-swf Software (DE-588)4055382-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1991 Benthe gnd-content Software (DE-588)4055382-6 s Qualitätskontrolle (DE-588)4047968-7 s DE-188 Programmverifikation (DE-588)4135576-3 s Softwaretest (DE-588)4132652-0 s Liggesmeyer, Peter 1963- (DE-588)112090362 edt Gesellschaft für Informatik Arbeitskreis Testen, Analysieren und Verifizieren von Software Sonstige (DE-588)2125750-4 oth Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003497000&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Testen, Analysieren und Verifizieren von Software Arbeitskreis Testen, Analysieren und Verifizieren von Software der Fachgruppe Software-Engineering der GI, Proceedings der Treffen in Benthe und Bochum, Juni 1991 und Februar 1992 Softwaretest (DE-588)4132652-0 gnd Programmverifikation (DE-588)4135576-3 gnd Qualitätskontrolle (DE-588)4047968-7 gnd Software (DE-588)4055382-6 gnd |
| subject_GND | (DE-588)4132652-0 (DE-588)4135576-3 (DE-588)4047968-7 (DE-588)4055382-6 (DE-588)1071861417 |
| title | Testen, Analysieren und Verifizieren von Software Arbeitskreis Testen, Analysieren und Verifizieren von Software der Fachgruppe Software-Engineering der GI, Proceedings der Treffen in Benthe und Bochum, Juni 1991 und Februar 1992 |
| title_auth | Testen, Analysieren und Verifizieren von Software Arbeitskreis Testen, Analysieren und Verifizieren von Software der Fachgruppe Software-Engineering der GI, Proceedings der Treffen in Benthe und Bochum, Juni 1991 und Februar 1992 |
| title_exact_search | Testen, Analysieren und Verifizieren von Software Arbeitskreis Testen, Analysieren und Verifizieren von Software der Fachgruppe Software-Engineering der GI, Proceedings der Treffen in Benthe und Bochum, Juni 1991 und Februar 1992 |
| title_full | Testen, Analysieren und Verifizieren von Software Arbeitskreis Testen, Analysieren und Verifizieren von Software der Fachgruppe Software-Engineering der GI, Proceedings der Treffen in Benthe und Bochum, Juni 1991 und Februar 1992 P. Liggesmeyer ... (Herausgeber) |
| title_fullStr | Testen, Analysieren und Verifizieren von Software Arbeitskreis Testen, Analysieren und Verifizieren von Software der Fachgruppe Software-Engineering der GI, Proceedings der Treffen in Benthe und Bochum, Juni 1991 und Februar 1992 P. Liggesmeyer ... (Herausgeber) |
| title_full_unstemmed | Testen, Analysieren und Verifizieren von Software Arbeitskreis Testen, Analysieren und Verifizieren von Software der Fachgruppe Software-Engineering der GI, Proceedings der Treffen in Benthe und Bochum, Juni 1991 und Februar 1992 P. Liggesmeyer ... (Herausgeber) |
| title_short | Testen, Analysieren und Verifizieren von Software |
| title_sort | testen analysieren und verifizieren von software arbeitskreis testen analysieren und verifizieren von software der fachgruppe software engineering der gi proceedings der treffen in benthe und bochum juni 1991 und februar 1992 |
| title_sub | Arbeitskreis Testen, Analysieren und Verifizieren von Software der Fachgruppe Software-Engineering der GI, Proceedings der Treffen in Benthe und Bochum, Juni 1991 und Februar 1992 |
| topic | Softwaretest (DE-588)4132652-0 gnd Programmverifikation (DE-588)4135576-3 gnd Qualitätskontrolle (DE-588)4047968-7 gnd Software (DE-588)4055382-6 gnd |
| topic_facet | Softwaretest Programmverifikation Qualitätskontrolle Software Konferenzschrift 1991 Benthe |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003497000&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT liggesmeyerpeter testenanalysierenundverifizierenvonsoftwarearbeitskreistestenanalysierenundverifizierenvonsoftwarederfachgruppesoftwareengineeringdergiproceedingsdertreffeninbentheundbochumjuni1991undfebruar1992 AT gesellschaftfurinformatikarbeitskreistestenanalysierenundverifizierenvonsoftware testenanalysierenundverifizierenvonsoftwarearbeitskreistestenanalysierenundverifizierenvonsoftwarederfachgruppesoftwareengineeringdergiproceedingsdertreffeninbentheundbochumjuni1991undfebruar1992 |