Testmethoden für sequentielle und nebenläufige Software-Systeme:
Gespeichert in:
1. Verfasser: | |
---|---|
Format: | Elektronisch E-Book |
Sprache: | German |
Veröffentlicht: |
Wiesbaden
Vieweg+Teubner Verlag
1997
|
Schriftenreihe: | Leitfäden der Informatik
|
Schlagworte: | |
Online-Zugang: | Volltext |
Beschreibung: | Für die Erstellung großer Software-Systeme sind trotz verbesserter Konstruktionsmethoden für die Software-Entwicklung analytische Maßnahmen zur Überprüfung der Korrektheit der Software unverzichtbar. In der Praxis wird die Korrektheit von Software meist mittels Testen sichergestellt. Der Inhalt des Buches gliedert sich in vier Teile. Im ersten Teil erfolgt eine Einführung anhand von Beispielprogrammen und eine Beschreibung der Probleme und Grundlagen des Testens. Im zweiten Teil werden spezifikationsorientierte Testmethoden ausführlich vorgestellt. Der dritte Teil behandelt (für kleine Programme oder Moduln) in umfassender Weise Testmethoden, die sich an der Implementierung orientieren. Im vierten Teil werden Methoden für die statische Analyse von Programmen, für den (Integrations-)Test großer Programmsysteme, für die Testgütemessung und die Fehlerlokalisierung präsentiert. Die Darstellung der besonderen Probleme und Methoden beim Testen nebenläufiger Systeme unterscheidet dieses Buch von anderen Büchern über das Softwaretesten. Im abschließenden Kapitel werden Hinweise zur Auswahl und Kombination von Testmethoden gegeben. Das Buch stellt nicht nur eine Sammlung von Methoden dar, die anhand von Beispielen illustriert werden. Vielmehr werden auch die dahinterliegenden Prinzipien und Konzepte erläutert. Für die einzelnen Methoden werden Vor- und Nachteile bezüglich Aufwand und Leistung angegeben und mit den anderen Methoden verglichen |
Beschreibung: | 1 Online-Ressource (512 S.) |
ISBN: | 9783663015000 9783519022749 |
ISSN: | 1615-5432 |
DOI: | 10.1007/978-3-663-01500-0 |
Internformat
MARC
LEADER | 00000nmm a2200000zc 4500 | ||
---|---|---|---|
001 | BV042437850 | ||
003 | DE-604 | ||
005 | 00000000000000.0 | ||
007 | cr|uuu---uuuuu | ||
008 | 150320s1997 |||| o||u| ||||||ger d | ||
020 | |a 9783663015000 |c Online |9 978-3-663-01500-0 | ||
020 | |a 9783519022749 |c Print |9 978-3-519-02274-9 | ||
024 | 7 | |a 10.1007/978-3-663-01500-0 |2 doi | |
035 | |a (OCoLC)864061784 | ||
035 | |a (DE-599)BVBBV042437850 | ||
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 620 |2 23 | |
084 | |a TEC 000 |2 stub | ||
084 | |a DAT 000 |2 stub | ||
100 | 1 | |a Riedemann, Eike Hagen |e Verfasser |4 aut | |
245 | 1 | 0 | |a Testmethoden für sequentielle und nebenläufige Software-Systeme |c von Eike Hagen Riedemann |
264 | 1 | |a Wiesbaden |b Vieweg+Teubner Verlag |c 1997 | |
300 | |a 1 Online-Ressource (512 S.) | ||
336 | |b txt |2 rdacontent | ||
337 | |b c |2 rdamedia | ||
338 | |b cr |2 rdacarrier | ||
490 | 0 | |a Leitfäden der Informatik |x 1615-5432 | |
500 | |a Für die Erstellung großer Software-Systeme sind trotz verbesserter Konstruktionsmethoden für die Software-Entwicklung analytische Maßnahmen zur Überprüfung der Korrektheit der Software unverzichtbar. In der Praxis wird die Korrektheit von Software meist mittels Testen sichergestellt. Der Inhalt des Buches gliedert sich in vier Teile. Im ersten Teil erfolgt eine Einführung anhand von Beispielprogrammen und eine Beschreibung der Probleme und Grundlagen des Testens. Im zweiten Teil werden spezifikationsorientierte Testmethoden ausführlich vorgestellt. Der dritte Teil behandelt (für kleine Programme oder Moduln) in umfassender Weise Testmethoden, die sich an der Implementierung orientieren. Im vierten Teil werden Methoden für die statische Analyse von Programmen, für den (Integrations-)Test großer Programmsysteme, für die Testgütemessung und die Fehlerlokalisierung präsentiert. Die Darstellung der besonderen Probleme und Methoden beim Testen nebenläufiger Systeme unterscheidet dieses Buch von anderen Büchern über das Softwaretesten. Im abschließenden Kapitel werden Hinweise zur Auswahl und Kombination von Testmethoden gegeben. Das Buch stellt nicht nur eine Sammlung von Methoden dar, die anhand von Beispielen illustriert werden. Vielmehr werden auch die dahinterliegenden Prinzipien und Konzepte erläutert. Für die einzelnen Methoden werden Vor- und Nachteile bezüglich Aufwand und Leistung angegeben und mit den anderen Methoden verglichen | ||
650 | 4 | |a Engineering | |
650 | 4 | |a Engineering, general | |
650 | 4 | |a Ingenieurwissenschaften | |
650 | 0 | 7 | |a Qualitätssicherung |0 (DE-588)4126457-5 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Implementation |0 (DE-588)4026661-8 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Datenfluss |0 (DE-588)4191571-9 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Software |0 (DE-588)4055382-6 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Qualitätsmanagement |0 (DE-588)4219057-5 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Softwaretest |0 (DE-588)4132652-0 |2 gnd |9 rswk-swf |
689 | 0 | 0 | |a Softwaretest |0 (DE-588)4132652-0 |D s |
689 | 0 | 1 | |a Qualitätsmanagement |0 (DE-588)4219057-5 |D s |
689 | 0 | 2 | |a Datenfluss |0 (DE-588)4191571-9 |D s |
689 | 0 | 3 | |a Implementation |0 (DE-588)4026661-8 |D s |
689 | 0 | |8 1\p |5 DE-604 | |
689 | 1 | 0 | |a Software |0 (DE-588)4055382-6 |D s |
689 | 1 | 1 | |a Qualitätssicherung |0 (DE-588)4126457-5 |D s |
689 | 1 | |8 2\p |5 DE-604 | |
856 | 4 | 0 | |u https://doi.org/10.1007/978-3-663-01500-0 |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-027873180 | ||
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 |
Datensatz im Suchindex
_version_ | 1804153127177289728 |
---|---|
any_adam_object | |
author | Riedemann, Eike Hagen |
author_facet | Riedemann, Eike Hagen |
author_role | aut |
author_sort | Riedemann, Eike Hagen |
author_variant | e h r eh ehr |
building | Verbundindex |
bvnumber | BV042437850 |
classification_tum | TEC 000 DAT 000 |
collection | ZDB-2-STI ZDB-2-BAD |
ctrlnum | (OCoLC)864061784 (DE-599)BVBBV042437850 |
dewey-full | 620 |
dewey-hundreds | 600 - Technology (Applied sciences) |
dewey-ones | 620 - Engineering and allied operations |
dewey-raw | 620 |
dewey-search | 620 |
dewey-sort | 3620 |
dewey-tens | 620 - Engineering and allied operations |
discipline | Technik Technik Informatik |
doi_str_mv | 10.1007/978-3-663-01500-0 |
format | Electronic eBook |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03802nmm a2200613zc 4500</leader><controlfield tag="001">BV042437850</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150320s1997 |||| o||u| ||||||ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783663015000</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-663-01500-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783519022749</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-519-02274-9</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-663-01500-0</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)864061784</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042437850</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">620</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">Riedemann, Eike Hagen</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Testmethoden für sequentielle und nebenläufige Software-Systeme</subfield><subfield code="c">von Eike Hagen Riedemann</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Wiesbaden</subfield><subfield code="b">Vieweg+Teubner Verlag</subfield><subfield code="c">1997</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (512 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">Leitfäden der Informatik</subfield><subfield code="x">1615-5432</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Für die Erstellung großer Software-Systeme sind trotz verbesserter Konstruktionsmethoden für die Software-Entwicklung analytische Maßnahmen zur Überprüfung der Korrektheit der Software unverzichtbar. In der Praxis wird die Korrektheit von Software meist mittels Testen sichergestellt. Der Inhalt des Buches gliedert sich in vier Teile. Im ersten Teil erfolgt eine Einführung anhand von Beispielprogrammen und eine Beschreibung der Probleme und Grundlagen des Testens. Im zweiten Teil werden spezifikationsorientierte Testmethoden ausführlich vorgestellt. Der dritte Teil behandelt (für kleine Programme oder Moduln) in umfassender Weise Testmethoden, die sich an der Implementierung orientieren. Im vierten Teil werden Methoden für die statische Analyse von Programmen, für den (Integrations-)Test großer Programmsysteme, für die Testgütemessung und die Fehlerlokalisierung präsentiert. Die Darstellung der besonderen Probleme und Methoden beim Testen nebenläufiger Systeme unterscheidet dieses Buch von anderen Büchern über das Softwaretesten. Im abschließenden Kapitel werden Hinweise zur Auswahl und Kombination von Testmethoden gegeben. Das Buch stellt nicht nur eine Sammlung von Methoden dar, die anhand von Beispielen illustriert werden. Vielmehr werden auch die dahinterliegenden Prinzipien und Konzepte erläutert. Für die einzelnen Methoden werden Vor- und Nachteile bezüglich Aufwand und Leistung angegeben und mit den anderen Methoden verglichen</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Engineering, general</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Ingenieurwissenschaften</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Qualitätssicherung</subfield><subfield code="0">(DE-588)4126457-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Implementation</subfield><subfield code="0">(DE-588)4026661-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Datenfluss</subfield><subfield code="0">(DE-588)4191571-9</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">Qualitätsmanagement</subfield><subfield code="0">(DE-588)4219057-5</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="689" ind1="0" 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="0" ind2="1"><subfield code="a">Qualitätsmanagement</subfield><subfield code="0">(DE-588)4219057-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Datenfluss</subfield><subfield code="0">(DE-588)4191571-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Implementation</subfield><subfield code="0">(DE-588)4026661-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" 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="1" ind2="1"><subfield code="a">Qualitätssicherung</subfield><subfield code="0">(DE-588)4126457-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-663-01500-0</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-027873180</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></record></collection> |
id | DE-604.BV042437850 |
illustrated | Not Illustrated |
indexdate | 2024-07-10T01:21:40Z |
institution | BVB |
isbn | 9783663015000 9783519022749 |
issn | 1615-5432 |
language | German |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027873180 |
oclc_num | 864061784 |
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 (512 S.) |
psigel | ZDB-2-STI ZDB-2-BAD ZDB-2-STI_Archive ZDB-2-STI_1990/1999 |
publishDate | 1997 |
publishDateSearch | 1997 |
publishDateSort | 1997 |
publisher | Vieweg+Teubner Verlag |
record_format | marc |
series2 | Leitfäden der Informatik |
spelling | Riedemann, Eike Hagen Verfasser aut Testmethoden für sequentielle und nebenläufige Software-Systeme von Eike Hagen Riedemann Wiesbaden Vieweg+Teubner Verlag 1997 1 Online-Ressource (512 S.) txt rdacontent c rdamedia cr rdacarrier Leitfäden der Informatik 1615-5432 Für die Erstellung großer Software-Systeme sind trotz verbesserter Konstruktionsmethoden für die Software-Entwicklung analytische Maßnahmen zur Überprüfung der Korrektheit der Software unverzichtbar. In der Praxis wird die Korrektheit von Software meist mittels Testen sichergestellt. Der Inhalt des Buches gliedert sich in vier Teile. Im ersten Teil erfolgt eine Einführung anhand von Beispielprogrammen und eine Beschreibung der Probleme und Grundlagen des Testens. Im zweiten Teil werden spezifikationsorientierte Testmethoden ausführlich vorgestellt. Der dritte Teil behandelt (für kleine Programme oder Moduln) in umfassender Weise Testmethoden, die sich an der Implementierung orientieren. Im vierten Teil werden Methoden für die statische Analyse von Programmen, für den (Integrations-)Test großer Programmsysteme, für die Testgütemessung und die Fehlerlokalisierung präsentiert. Die Darstellung der besonderen Probleme und Methoden beim Testen nebenläufiger Systeme unterscheidet dieses Buch von anderen Büchern über das Softwaretesten. Im abschließenden Kapitel werden Hinweise zur Auswahl und Kombination von Testmethoden gegeben. Das Buch stellt nicht nur eine Sammlung von Methoden dar, die anhand von Beispielen illustriert werden. Vielmehr werden auch die dahinterliegenden Prinzipien und Konzepte erläutert. Für die einzelnen Methoden werden Vor- und Nachteile bezüglich Aufwand und Leistung angegeben und mit den anderen Methoden verglichen Engineering Engineering, general Ingenieurwissenschaften Qualitätssicherung (DE-588)4126457-5 gnd rswk-swf Implementation (DE-588)4026661-8 gnd rswk-swf Datenfluss (DE-588)4191571-9 gnd rswk-swf Software (DE-588)4055382-6 gnd rswk-swf Qualitätsmanagement (DE-588)4219057-5 gnd rswk-swf Softwaretest (DE-588)4132652-0 gnd rswk-swf Softwaretest (DE-588)4132652-0 s Qualitätsmanagement (DE-588)4219057-5 s Datenfluss (DE-588)4191571-9 s Implementation (DE-588)4026661-8 s 1\p DE-604 Software (DE-588)4055382-6 s Qualitätssicherung (DE-588)4126457-5 s 2\p DE-604 https://doi.org/10.1007/978-3-663-01500-0 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 |
spellingShingle | Riedemann, Eike Hagen Testmethoden für sequentielle und nebenläufige Software-Systeme Engineering Engineering, general Ingenieurwissenschaften Qualitätssicherung (DE-588)4126457-5 gnd Implementation (DE-588)4026661-8 gnd Datenfluss (DE-588)4191571-9 gnd Software (DE-588)4055382-6 gnd Qualitätsmanagement (DE-588)4219057-5 gnd Softwaretest (DE-588)4132652-0 gnd |
subject_GND | (DE-588)4126457-5 (DE-588)4026661-8 (DE-588)4191571-9 (DE-588)4055382-6 (DE-588)4219057-5 (DE-588)4132652-0 |
title | Testmethoden für sequentielle und nebenläufige Software-Systeme |
title_auth | Testmethoden für sequentielle und nebenläufige Software-Systeme |
title_exact_search | Testmethoden für sequentielle und nebenläufige Software-Systeme |
title_full | Testmethoden für sequentielle und nebenläufige Software-Systeme von Eike Hagen Riedemann |
title_fullStr | Testmethoden für sequentielle und nebenläufige Software-Systeme von Eike Hagen Riedemann |
title_full_unstemmed | Testmethoden für sequentielle und nebenläufige Software-Systeme von Eike Hagen Riedemann |
title_short | Testmethoden für sequentielle und nebenläufige Software-Systeme |
title_sort | testmethoden fur sequentielle und nebenlaufige software systeme |
topic | Engineering Engineering, general Ingenieurwissenschaften Qualitätssicherung (DE-588)4126457-5 gnd Implementation (DE-588)4026661-8 gnd Datenfluss (DE-588)4191571-9 gnd Software (DE-588)4055382-6 gnd Qualitätsmanagement (DE-588)4219057-5 gnd Softwaretest (DE-588)4132652-0 gnd |
topic_facet | Engineering Engineering, general Ingenieurwissenschaften Qualitätssicherung Implementation Datenfluss Software Qualitätsmanagement Softwaretest |
url | https://doi.org/10.1007/978-3-663-01500-0 |
work_keys_str_mv | AT riedemanneikehagen testmethodenfursequentielleundnebenlaufigesoftwaresysteme |