Verfügbarkeit: Testen, Analysieren und Verifizieren von Software

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:

Bibliographische Detailangaben
Weitere Verfasser:	Liggesmeyer, Peter 1963- (HerausgeberIn)
Format:	Buch
Sprache:	German English
Veröffentlicht:	Berlin [u.a.] Springer 1992
Schriftenreihe:	Informatik aktuell
Schlagworte:	Qualitätskontrolle Softwaretest Software Programmverifikation Konferenzschrift > 1991 > Benthe
Online-Zugang:	Inhaltsverzeichnis
Beschreibung:	VIII, 186 Seiten
ISBN:	3540558608 0387558608

Internformat

MARC


LEADER	00000nam a2200000 c 4500
001	BV005584545
003	DE-604
005	20200420
007	t
008	921006s1992 \|\|\|\| 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 SS 1991 \|0 (DE-625)143428: \|2 rvk
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 Qualitätskontrolle \|0 (DE-588)4047968-7 \|2 gnd \|9 rswk-swf
650	0	7	\|a Softwaretest \|0 (DE-588)4132652-0 \|2 gnd \|9 rswk-swf
650	0	7	\|a Software \|0 (DE-588)4055382-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Programmverifikation \|0 (DE-588)4135576-3 \|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
999			\|a oai:aleph.bib-bvb.de:BVB01-003497000

Datensatz im Suchindex

_version_	1804119796310081536
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	SS 1991 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>02304nam a2200517 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 \|\|\|\| 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">SS 1991</subfield><subfield code="0">(DE-625)143428:</subfield><subfield code="2">rvk</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">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">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">Software</subfield><subfield code="0">(DE-588)4055382-6</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="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="999" ind1=" " 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	2024-07-09T16:31:53Z
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 Qualitätskontrolle (DE-588)4047968-7 gnd rswk-swf Softwaretest (DE-588)4132652-0 gnd rswk-swf Software (DE-588)4055382-6 gnd rswk-swf Programmverifikation (DE-588)4135576-3 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 Qualitätskontrolle (DE-588)4047968-7 gnd Softwaretest (DE-588)4132652-0 gnd Software (DE-588)4055382-6 gnd Programmverifikation (DE-588)4135576-3 gnd
subject_GND	(DE-588)4047968-7 (DE-588)4132652-0 (DE-588)4055382-6 (DE-588)4135576-3 (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	Qualitätskontrolle (DE-588)4047968-7 gnd Softwaretest (DE-588)4132652-0 gnd Software (DE-588)4055382-6 gnd Programmverifikation (DE-588)4135576-3 gnd
topic_facet	Qualitätskontrolle Softwaretest Software Programmverifikation 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

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Inhaltsverzeichnis

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge