• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Nyheter
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Pocketböcker
  • Spel & pussel

Upp till 20% på populära nyheter →

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Populära bokserier
    • Barnbokskaraktärer
    • Populära författare

    Mina sidor

      Hjälp

      • Kundservice
      • Vanliga frågor och svar
      • Frakt och leverans
      • Retur vid ångerrätt
      • Reklamera vara
      • Betalning
      • Köpvillkor
      • Allmänna villkor
      • Information om webbplatsens tillgänglighet

      Om Bokus

      • Om oss
      • Pressrum
      • För studenter
      • För företag
      • För bibliotek och offentlig verksamhet
      • För leverantörer
      • Hållbarhet

      Populärt

      • Aktuella erbjudanden
      • Presentkort
      • Studentlitteratur
      • Nya böcker
      • Topplistor
      • Signerade böcker
      • Engelska böcker

      Inspiration

      • Boktips
      • BookTok
      • Populära bokserier
      • Barnbokskaraktärer
      • Populära författare
      Logotyp för Bokus
      Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
      bokus @ CookiesIntegritetspolicyKöpvillkor
      Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
      1. Data och IT
      2. Programmeringsböcker
      3. Programvaruutveckling

      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

      AvPeter Liggesmeyer,Harry M. Sneed

      Häftad, Tyska, 1992

      Del i serien Informatik aktuell

      590 kr

      Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

      Beskrivning

      Rechenanlagen kommen inzwischen in nahezu allen Bereichen des tiiglichen Lebens zum Einsatz. Die Abhiingigkeiten vom zuverliissigen Betrieb der Anlagen haben im entsprechenden Umfang zugenommen. Ganze Industriezweige sind ohne Rechnerunterstiitzung nicht mehr arbeitsfllhig. Vor diesem Hintergrund gewinnt neben anderen QualitlitssicherungsmaBnahmen die Test- und Priifphase bei der Entwicklung von Softwaresystemen zunehmend an Bedeutung. Angeregt durch den Besuch von Tagungen in England und den USA, die sich ausschlieBlich mit dem Test von Softwaresystemen besch!iftigten, habe ich die Organisation eines Arbeitstreffens iibemommen, an dem Testinteressierte aus Deutschland teilnahmen. In anderen Liindem gibt es bereits Gruppen, die mehrmals im Jahr zusanunenkommen und Probleme des Softwaretests bearbeiten. Auf einem ersten Treffen von Testinteressierten im Juni 1991 ist beschlossen worden, regelmiiBige Treffen zu organisieren und den Arbeitskreis Testen, Analysieren und Verijizieren von Software in der Fachgruppe Software-Engineering in der Gesellschaft fi.ir Informatik zu grunden.Der vorliegende Band enthiilt ausge- wiihlte Beitriige vom ersten und zweiten Treffen des Arbeitskreises und gibt so einen guten Uberblick iiber die gegenwiirtigen Aktivitliten zum Thema Testen von Progranunen im deutschsprachigen Raum. 1m Arbeitskreis sind derzeit 50 Personen aktiv tiitig, wobei etwa zwei Drittel aus der Industrie und ein Drittel von Forschungsinstituten und Universitiiten kommen. Dieses Verhiiltnis zeigt auch die zunehmende Bedeutung der Softwarepriifung in der industriellen Entwicklung. Neben dem Testen von Softwaresystemen geh1lrt auch deren Analyse zu den QualitiitssicherungsmaBnah- men. Sie ist sogar oft unabdingbare Voraussetzung, urn iiberhaupt einen Test durchfiihren zu k1lnnen.

      Produktinformation

      • Utgivningsdatum:1992-09-10
      • Mått:155 x 235 x 11 mm
      • Vikt:306 g
      • Format:Häftad
      • Språk:Tyska
      • Serie:Informatik aktuell
      • Antal sidor:186
      • Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
      • ISBN:9783540558606

      Utforska kategorier

      • Programvaruutveckling inom Data och IT

      Innehållsförteckning

      • Überblick und Klassifikation.- Testen, Analysieren und Verifizieren von Software — eine klassifizierende Übersicht der Verfahren.- Klassifikation von Software-Testmethoden.- Zur Formalisierung von Testkonzepten.- Werkzeuge.- The MicroTest Integrated Test Environment.- Methoden und Werkzeuge zur Automatisierung des Software-Tests.- TESTSCOPE — ein Werkzeug für den Modul- und Integrationstest.- Der Software-Analyse-Baukasten — Ein Bericht aus der universitären Ausbildung.- Prüfen umfangreicher Softwaresysteme.- Testmethoden und Testdatengewinnung für den Integrationstest modularer Softwaresysteme.- Abnahmetest großer Systeme — Methoden, Organisation und Werkzeuge.- Testen in der Wartungsphase — Erfahrungen im Bereich des Regressionstests.- Testen paralleler Betriebssysteme.- Formale Ansätze zur Softwareprüfung.- Ein Vorschlag zum Testen strukturierter algebraischer Spezifikationen.- Ein stochastisches Fehlermodell zur Kommunikation.- Validation und Verifikation von Software durch symbolische Ausführung.- Prüfen objektorientierter Softwaresysteme.- Test Activities for Object-Oriented Software Development.- Ein experimentelles Testsystem für die Sprache HyperTalk.
      Hoppa över listan

      Du kanske också är intresserad av

      Andreas Spillner, Harry M. Sneed, Peter Liggesmeyer - Testen, Analysieren und Verifizieren von Software, E-bok

      Testen, Analysieren und Verifizieren von Software

      Andreas Spillner, Harry M. Sneed, Peter Liggesmeyer

      E-bok
      2013

      591 kr

      Christopher Tolkien - Book of Lost Tales 1, Häftad
      Del 1

      Book of Lost Tales 1

      Christopher Tolkien

      Häftad, 1992

      143 kr

      Josef Pieper - In Defence of Philosophy, Häftad

      In Defence of Philosophy

      Josef Pieper

      Häftad, 1992

      217 kr

      Peter Bloom - Berlioz Studies, Inbunden

      Berlioz Studies

      Peter Bloom

      Inbunden, 1992

      1 710 kr

      J.G. Taylor - Neural Network Applications, Häftad

      Neural Network Applications

      J.G. Taylor

      Häftad, 1992

      574 kr

      Paul Spenley - World Class Performance Through Total Quality:: A Practical Guide to Implementation, Inbunden

      World Class Performance Through Total Quality:: A Practical Guide to Implementation

      Paul Spenley

      Inbunden, 1992

      888 kr

      Weimin Xue - Rings with Morita Duality, Häftad
      Del 1523

      Rings with Morita Duality

      Weimin Xue

      Häftad, 1992

      278 kr

      R. L. Stirrat - Power and Religiosity in a Post-Colonial Setting, Inbunden
      Del 87

      Power and Religiosity in a Post-Colonial Setting

      R. L. Stirrat

      Inbunden, 1992

      1 593 kr

      Mihoko Suzuki - Metamorphoses of Helen, Häftad

      Metamorphoses of Helen

      Mihoko Suzuki

      Häftad, 1992

      614 kr

      Alan R. H. Baker, Gideon Biger - Ideology and Landscape in Historical Perspective, Inbunden
      Del 18

      Ideology and Landscape in Historical Perspective

      Alan R. H. Baker, Gideon Biger

      Inbunden, 1992

      1 933 kr