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:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | German |
| Veröffentlicht: |
Berlin, Heidelberg
Springer Berlin Heidelberg
1992
|
| Schriftenreihe: | Informatik aktuell
|
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | Rechenanlagen kommen inzwischen in nahezu allen Bereichen des täglichen Lebens zum Einsatz. Die Abhängigkeiten vom zuverlässigen Betrieb der Anlagen haben im entsprechenden Umfang zugenommen. Ganze Industriezweige sind ohne Rechnerunterstützung nicht mehr arbeitsfähig. Vor diesem Hintergrund gewinnt neben anderen Qualitätssicherungsmaßnahmen die Test- und Prüfphase bei der Entwicklung von Softwaresystemen zunehmend an Bedeutung. Angeregt durch den Besuch von Tagungen in England und den USA, die sich ausschließlich mit dem Test von Softwaresystemen beschäftigten, habe ich die Organisation eines Arbeitstreffens übernommen, an dem Testinteressierte aus Deutschland teilnahmen. In anderen Ländern gibt es bereits Gruppen, die mehrmals im Jahr zusammenkommen und Probleme des Softwaretests bearbeiten. Auf einem ersten Treffen von Testinteressierten im Juni 1991 ist beschlossen worden, regelmäßige Treffen zu organisieren und den Arbeitskreis Testen, Analysieren und Verifizieren von Software in der Fachgruppe Software-Engineering in der Gesellschaft für Informatik zu gründen. Der vorliegende Band enthält ausgewählte Beiträge vom ersten und zweiten Treffen des Arbeitskreises und gibt so einen guten Überblick über die gegenwärtigen Aktivitäten zum Thema Testen von Programmen im deutschsprachigen Raum. Im Arbeitskreis sind derzeit 50 Personen aktiv tätig, wobei etwa zwei Drittel aus der Industrie und ein Drittel von Forschungsinstituten und Universitäten kommen. Dieses Verhältnis zeigt auch die zunehmende Bedeutung der Softwareprüfung in der industriellen Entwicklung. Neben dem Testen von Softwaresystemen gehört auch deren Analyse zu den Qualitätssicherungsmaßnahmen. Sie ist sogar oft unabdingbare Voraussetzung, um überhaupt einen Test durchführen zu können |
| Beschreibung: | 1 Online-Ressource (VIII, 186 S.) |
| ISBN: | 9783642777479 9783540558606 |
| ISSN: | 1431-472X |
| DOI: | 10.1007/978-3-642-77747-9 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV042433198 | ||
| 003 | DE-604 | ||
| 005 | 20160119 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150320s1992 |||| o||u| ||||||ger d | ||
| 020 | |a 9783642777479 |c Online |9 978-3-642-77747-9 | ||
| 020 | |a 9783540558606 |c Print |9 978-3-540-55860-6 | ||
| 024 | 7 | |a 10.1007/978-3-642-77747-9 |2 doi | |
| 035 | |a (OCoLC)907326867 | ||
| 035 | |a (DE-599)BVBBV042433198 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-91 |a DE-634 |a DE-92 |a DE-573 |a DE-706 |a DE-860 |a DE-1046 |a DE-Aug4 | ||
| 082 | 0 | |a 005.1 |2 23 | |
| 084 | |a TEC 000 |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 100 | 1 | |a Liggesmeyer, Peter |d 1963- |e Verfasser |0 (DE-588)112090362 |4 aut | |
| 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 herausgegeben von Peter Liggesmeyer, Harry M. Sneed, Andreas Spillner |
| 264 | 1 | |a Berlin, Heidelberg |b Springer Berlin Heidelberg |c 1992 | |
| 300 | |a 1 Online-Ressource (VIII, 186 S.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Informatik aktuell |x 1431-472X | |
| 500 | |a Rechenanlagen kommen inzwischen in nahezu allen Bereichen des täglichen Lebens zum Einsatz. Die Abhängigkeiten vom zuverlässigen Betrieb der Anlagen haben im entsprechenden Umfang zugenommen. Ganze Industriezweige sind ohne Rechnerunterstützung nicht mehr arbeitsfähig. Vor diesem Hintergrund gewinnt neben anderen Qualitätssicherungsmaßnahmen die Test- und Prüfphase bei der Entwicklung von Softwaresystemen zunehmend an Bedeutung. Angeregt durch den Besuch von Tagungen in England und den USA, die sich ausschließlich mit dem Test von Softwaresystemen beschäftigten, habe ich die Organisation eines Arbeitstreffens übernommen, an dem Testinteressierte aus Deutschland teilnahmen. In anderen Ländern gibt es bereits Gruppen, die mehrmals im Jahr zusammenkommen und Probleme des Softwaretests bearbeiten. Auf einem ersten Treffen von Testinteressierten im Juni 1991 ist beschlossen worden, regelmäßige Treffen zu organisieren und den Arbeitskreis Testen, Analysieren und Verifizieren von Software in der Fachgruppe Software-Engineering in der Gesellschaft für Informatik zu gründen. Der vorliegende Band enthält ausgewählte Beiträge vom ersten und zweiten Treffen des Arbeitskreises und gibt so einen guten Überblick über die gegenwärtigen Aktivitäten zum Thema Testen von Programmen im deutschsprachigen Raum. Im Arbeitskreis sind derzeit 50 Personen aktiv tätig, wobei etwa zwei Drittel aus der Industrie und ein Drittel von Forschungsinstituten und Universitäten kommen. Dieses Verhältnis zeigt auch die zunehmende Bedeutung der Softwareprüfung in der industriellen Entwicklung. Neben dem Testen von Softwaresystemen gehört auch deren Analyse zu den Qualitätssicherungsmaßnahmen. Sie ist sogar oft unabdingbare Voraussetzung, um überhaupt einen Test durchführen zu können | ||
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Software Engineering/Programming and Operating Systems | |
| 650 | 4 | |a Informatik | |
| 650 | 0 | 7 | |a Programmverifikation |0 (DE-588)4135576-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwaretest |0 (DE-588)4132652-0 |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 | |8 1\p |0 (DE-588)1071861417 |a Konferenzschrift |y 1991 |z Benthe |2 gnd-content | |
| 655 | 7 | |8 2\p |0 (DE-588)1071861417 |a Konferenzschrift |y 1992 |z Bochum |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 | |8 3\p |5 DE-604 | |
| 689 | 1 | 0 | |a Softwaretest |0 (DE-588)4132652-0 |D s |
| 689 | 1 | |8 4\p |5 DE-604 | |
| 689 | 2 | 0 | |a Programmverifikation |0 (DE-588)4135576-3 |D s |
| 689 | 2 | |8 5\p |5 DE-604 | |
| 700 | 1 | |a Sneed, Harry M. |d 1940- |e Sonstige |0 (DE-588)108357929 |4 oth | |
| 700 | 1 | |a Spillner, Andreas |d 1951- |e Sonstige |0 (DE-588)128605766 |4 oth | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-642-77747-9 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-STI |a ZDB-2-BAD | ||
| 940 | 1 | |q ZDB-2-STI_Archive | |
| 940 | 1 | |q ZDB-2-STI_1990/1999 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027868528 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 3\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 4\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 5\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804153118309482496 |
|---|---|
| any_adam_object | |
| author | Liggesmeyer, Peter 1963- |
| author_GND | (DE-588)112090362 (DE-588)108357929 (DE-588)128605766 |
| author_facet | Liggesmeyer, Peter 1963- |
| author_role | aut |
| author_sort | Liggesmeyer, Peter 1963- |
| author_variant | p l pl |
| building | Verbundindex |
| bvnumber | BV042433198 |
| classification_tum | TEC 000 DAT 000 |
| collection | ZDB-2-STI ZDB-2-BAD |
| ctrlnum | (OCoLC)907326867 (DE-599)BVBBV042433198 |
| dewey-full | 005.1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1 |
| dewey-search | 005.1 |
| dewey-sort | 15.1 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Technik Technik Informatik |
| doi_str_mv | 10.1007/978-3-642-77747-9 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04850nmm a2200685zc 4500</leader><controlfield tag="001">BV042433198</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20160119 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150320s1992 |||| o||u| ||||||ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642777479</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-642-77747-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540558606</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-540-55860-6</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-77747-9</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)907326867</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042433198</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-Aug4</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">TEC 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Liggesmeyer, Peter</subfield><subfield code="d">1963-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)112090362</subfield><subfield code="4">aut</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">herausgegeben von Peter Liggesmeyer, Harry M. Sneed, Andreas Spillner</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin, Heidelberg</subfield><subfield code="b">Springer Berlin Heidelberg</subfield><subfield code="c">1992</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (VIII, 186 S.)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Informatik aktuell</subfield><subfield code="x">1431-472X</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Rechenanlagen kommen inzwischen in nahezu allen Bereichen des täglichen Lebens zum Einsatz. Die Abhängigkeiten vom zuverlässigen Betrieb der Anlagen haben im entsprechenden Umfang zugenommen. Ganze Industriezweige sind ohne Rechnerunterstützung nicht mehr arbeitsfähig. Vor diesem Hintergrund gewinnt neben anderen Qualitätssicherungsmaßnahmen die Test- und Prüfphase bei der Entwicklung von Softwaresystemen zunehmend an Bedeutung. Angeregt durch den Besuch von Tagungen in England und den USA, die sich ausschließlich mit dem Test von Softwaresystemen beschäftigten, habe ich die Organisation eines Arbeitstreffens übernommen, an dem Testinteressierte aus Deutschland teilnahmen. In anderen Ländern gibt es bereits Gruppen, die mehrmals im Jahr zusammenkommen und Probleme des Softwaretests bearbeiten. Auf einem ersten Treffen von Testinteressierten im Juni 1991 ist beschlossen worden, regelmäßige Treffen zu organisieren und den Arbeitskreis Testen, Analysieren und Verifizieren von Software in der Fachgruppe Software-Engineering in der Gesellschaft für Informatik zu gründen. Der vorliegende Band enthält ausgewählte Beiträge vom ersten und zweiten Treffen des Arbeitskreises und gibt so einen guten Überblick über die gegenwärtigen Aktivitäten zum Thema Testen von Programmen im deutschsprachigen Raum. Im Arbeitskreis sind derzeit 50 Personen aktiv tätig, wobei etwa zwei Drittel aus der Industrie und ein Drittel von Forschungsinstituten und Universitäten kommen. Dieses Verhältnis zeigt auch die zunehmende Bedeutung der Softwareprüfung in der industriellen Entwicklung. Neben dem Testen von Softwaresystemen gehört auch deren Analyse zu den Qualitätssicherungsmaßnahmen. Sie ist sogar oft unabdingbare Voraussetzung, um überhaupt einen Test durchführen zu können</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering/Programming and Operating Systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</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">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">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="8">1\p</subfield><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="655" ind1=" " ind2="7"><subfield code="8">2\p</subfield><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1992</subfield><subfield code="z">Bochum</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="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" 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="1" ind2=" "><subfield code="8">4\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" 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="2" ind2=" "><subfield code="8">5\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Sneed, Harry M.</subfield><subfield code="d">1940-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)108357929</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Spillner, Andreas</subfield><subfield code="d">1951-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)128605766</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-77747-9</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-STI</subfield><subfield code="a">ZDB-2-BAD</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-STI_Archive</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-STI_1990/1999</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027868528</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">4\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">5\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| genre | 1\p (DE-588)1071861417 Konferenzschrift 1991 Benthe gnd-content 2\p (DE-588)1071861417 Konferenzschrift 1992 Bochum gnd-content |
| genre_facet | Konferenzschrift 1991 Benthe Konferenzschrift 1992 Bochum |
| id | DE-604.BV042433198 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:21:31Z |
| institution | BVB |
| isbn | 9783642777479 9783540558606 |
| issn | 1431-472X |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027868528 |
| oclc_num | 907326867 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-634 DE-92 DE-573 DE-706 DE-860 DE-1046 DE-Aug4 |
| owner_facet | DE-91 DE-BY-TUM DE-634 DE-92 DE-573 DE-706 DE-860 DE-1046 DE-Aug4 |
| physical | 1 Online-Ressource (VIII, 186 S.) |
| psigel | ZDB-2-STI ZDB-2-BAD ZDB-2-STI_Archive ZDB-2-STI_1990/1999 |
| publishDate | 1992 |
| publishDateSearch | 1992 |
| publishDateSort | 1992 |
| publisher | Springer Berlin Heidelberg |
| record_format | marc |
| series2 | Informatik aktuell |
| spelling | Liggesmeyer, Peter 1963- Verfasser (DE-588)112090362 aut 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 herausgegeben von Peter Liggesmeyer, Harry M. Sneed, Andreas Spillner Berlin, Heidelberg Springer Berlin Heidelberg 1992 1 Online-Ressource (VIII, 186 S.) txt rdacontent c rdamedia cr rdacarrier Informatik aktuell 1431-472X Rechenanlagen kommen inzwischen in nahezu allen Bereichen des täglichen Lebens zum Einsatz. Die Abhängigkeiten vom zuverlässigen Betrieb der Anlagen haben im entsprechenden Umfang zugenommen. Ganze Industriezweige sind ohne Rechnerunterstützung nicht mehr arbeitsfähig. Vor diesem Hintergrund gewinnt neben anderen Qualitätssicherungsmaßnahmen die Test- und Prüfphase bei der Entwicklung von Softwaresystemen zunehmend an Bedeutung. Angeregt durch den Besuch von Tagungen in England und den USA, die sich ausschließlich mit dem Test von Softwaresystemen beschäftigten, habe ich die Organisation eines Arbeitstreffens übernommen, an dem Testinteressierte aus Deutschland teilnahmen. In anderen Ländern gibt es bereits Gruppen, die mehrmals im Jahr zusammenkommen und Probleme des Softwaretests bearbeiten. Auf einem ersten Treffen von Testinteressierten im Juni 1991 ist beschlossen worden, regelmäßige Treffen zu organisieren und den Arbeitskreis Testen, Analysieren und Verifizieren von Software in der Fachgruppe Software-Engineering in der Gesellschaft für Informatik zu gründen. Der vorliegende Band enthält ausgewählte Beiträge vom ersten und zweiten Treffen des Arbeitskreises und gibt so einen guten Überblick über die gegenwärtigen Aktivitäten zum Thema Testen von Programmen im deutschsprachigen Raum. Im Arbeitskreis sind derzeit 50 Personen aktiv tätig, wobei etwa zwei Drittel aus der Industrie und ein Drittel von Forschungsinstituten und Universitäten kommen. Dieses Verhältnis zeigt auch die zunehmende Bedeutung der Softwareprüfung in der industriellen Entwicklung. Neben dem Testen von Softwaresystemen gehört auch deren Analyse zu den Qualitätssicherungsmaßnahmen. Sie ist sogar oft unabdingbare Voraussetzung, um überhaupt einen Test durchführen zu können Computer science Software engineering Computer Science Software Engineering/Programming and Operating Systems Informatik Programmverifikation (DE-588)4135576-3 gnd rswk-swf Softwaretest (DE-588)4132652-0 gnd rswk-swf Qualitätskontrolle (DE-588)4047968-7 gnd rswk-swf Software (DE-588)4055382-6 gnd rswk-swf 1\p (DE-588)1071861417 Konferenzschrift 1991 Benthe gnd-content 2\p (DE-588)1071861417 Konferenzschrift 1992 Bochum gnd-content Software (DE-588)4055382-6 s Qualitätskontrolle (DE-588)4047968-7 s 3\p DE-604 Softwaretest (DE-588)4132652-0 s 4\p DE-604 Programmverifikation (DE-588)4135576-3 s 5\p DE-604 Sneed, Harry M. 1940- Sonstige (DE-588)108357929 oth Spillner, Andreas 1951- Sonstige (DE-588)128605766 oth https://doi.org/10.1007/978-3-642-77747-9 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 3\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 4\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 5\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Liggesmeyer, Peter 1963- 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 Computer science Software engineering Computer Science Software Engineering/Programming and Operating Systems Informatik Programmverifikation (DE-588)4135576-3 gnd Softwaretest (DE-588)4132652-0 gnd Qualitätskontrolle (DE-588)4047968-7 gnd Software (DE-588)4055382-6 gnd |
| subject_GND | (DE-588)4135576-3 (DE-588)4132652-0 (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 herausgegeben von Peter Liggesmeyer, Harry M. Sneed, Andreas Spillner |
| 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 herausgegeben von Peter Liggesmeyer, Harry M. Sneed, Andreas Spillner |
| 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 herausgegeben von Peter Liggesmeyer, Harry M. Sneed, Andreas Spillner |
| 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 | Computer science Software engineering Computer Science Software Engineering/Programming and Operating Systems Informatik Programmverifikation (DE-588)4135576-3 gnd Softwaretest (DE-588)4132652-0 gnd Qualitätskontrolle (DE-588)4047968-7 gnd Software (DE-588)4055382-6 gnd |
| topic_facet | Computer science Software engineering Computer Science Software Engineering/Programming and Operating Systems Informatik Programmverifikation Softwaretest Qualitätskontrolle Software Konferenzschrift 1991 Benthe Konferenzschrift 1992 Bochum |
| url | https://doi.org/10.1007/978-3-642-77747-9 |
| work_keys_str_mv | AT liggesmeyerpeter testenanalysierenundverifizierenvonsoftwarearbeitskreistestenanalysierenundverifizierenvonsoftwarederfachgruppesoftwareengineeringdergiproceedingsdertreffeninbentheundbochumjuni1991undfebruar1992 AT sneedharrym testenanalysierenundverifizierenvonsoftwarearbeitskreistestenanalysierenundverifizierenvonsoftwarederfachgruppesoftwareengineeringdergiproceedingsdertreffeninbentheundbochumjuni1991undfebruar1992 AT spillnerandreas testenanalysierenundverifizierenvonsoftwarearbeitskreistestenanalysierenundverifizierenvonsoftwarederfachgruppesoftwareengineeringdergiproceedingsdertreffeninbentheundbochumjuni1991undfebruar1992 |