29
Performanz- und Lasttests Formale Methoden Fakultät für Wirtschaftswissenschaften Janina Berge E-Mail: [email protected] Stephan Massmann E-Mail: [email protected] Wismar, den 25.11.2012

Performanz- und Lasttests Formale Methoden Fakultät für Wirtschaftswissenschaften Janina Berge E-Mail: [email protected] Stephan Massmann E-Mail:

Embed Size (px)

Citation preview

Page 1: Performanz- und Lasttests Formale Methoden Fakultät für Wirtschaftswissenschaften Janina Berge E-Mail: j.berge@stud.hs-wismar.de Stephan Massmann E-Mail:

Performanz- undLasttestsFormale Methoden

Fakultät für Wirtschaftswissenschaften

Janina BergeE-Mail: [email protected]

Stephan MassmannE-Mail: [email protected]

Wismar, den 25.11.2012

Page 2: Performanz- und Lasttests Formale Methoden Fakultät für Wirtschaftswissenschaften Janina Berge E-Mail: j.berge@stud.hs-wismar.de Stephan Massmann E-Mail:

Performanz- und Lasttests

Page 3: Performanz- und Lasttests Formale Methoden Fakultät für Wirtschaftswissenschaften Janina Berge E-Mail: j.berge@stud.hs-wismar.de Stephan Massmann E-Mail:

Motivation

Performanz- und Lasttests

Beispiel Online-Shop

Beispiel Aldra Fenster und Türen GmbH

Fazit

Page 4: Performanz- und Lasttests Formale Methoden Fakultät für Wirtschaftswissenschaften Janina Berge E-Mail: j.berge@stud.hs-wismar.de Stephan Massmann E-Mail:

“Computer sind phantastisch:

In wenigen Minuten können sie einen so großen Fehler produzieren, den Menschen nur in vielen Monaten machen können“

Page 5: Performanz- und Lasttests Formale Methoden Fakultät für Wirtschaftswissenschaften Janina Berge E-Mail: j.berge@stud.hs-wismar.de Stephan Massmann E-Mail:
Page 6: Performanz- und Lasttests Formale Methoden Fakultät für Wirtschaftswissenschaften Janina Berge E-Mail: j.berge@stud.hs-wismar.de Stephan Massmann E-Mail:

• 5.500.000.000 € Entwicklungskosten• 10 Jahre Entwicklungszeit• 17 LOC

Page 7: Performanz- und Lasttests Formale Methoden Fakultät für Wirtschaftswissenschaften Janina Berge E-Mail: j.berge@stud.hs-wismar.de Stephan Massmann E-Mail:

Softwarelebenszyklus

Page 8: Performanz- und Lasttests Formale Methoden Fakultät für Wirtschaftswissenschaften Janina Berge E-Mail: j.berge@stud.hs-wismar.de Stephan Massmann E-Mail:

Planung und Steuerung

Analyse und Design

Realisierung und Durchführung

Auswertung und Bericht

Abschluss

Grundlegender Testprozess

Page 9: Performanz- und Lasttests Formale Methoden Fakultät für Wirtschaftswissenschaften Janina Berge E-Mail: j.berge@stud.hs-wismar.de Stephan Massmann E-Mail:

Loading… please wait

Page 10: Performanz- und Lasttests Formale Methoden Fakultät für Wirtschaftswissenschaften Janina Berge E-Mail: j.berge@stud.hs-wismar.de Stephan Massmann E-Mail:
Page 11: Performanz- und Lasttests Formale Methoden Fakultät für Wirtschaftswissenschaften Janina Berge E-Mail: j.berge@stud.hs-wismar.de Stephan Massmann E-Mail:

Performanz- und Lasttests (1)

• Last-, Performanz-, Stress- und Benchmark-Tests– Unterscheidung funktionale und nicht-funktionale Anforderungen

– Software-Testmanagement

– Testfälle Testläufe Testszenarien

– Performance… „allgemeiner Ausdruck für die Leistung eines Systems, welches Hardware, Software oder auch nur ein einzelner Algorithmus sein kann.“

– Performanztest = Messung der Verarbeitungsgeschwindigkeit bzw. Antwortszeit für bestimmte Anwendungsfälle

– Lasttest = Messung des Systemverhalten in Abhängigkeit steigender Last

– Lasttest Stresstest

Motivation Performanz- und Lasttests Fallbeispiel I Fallbeispiel II Fazit

11

Page 12: Performanz- und Lasttests Formale Methoden Fakultät für Wirtschaftswissenschaften Janina Berge E-Mail: j.berge@stud.hs-wismar.de Stephan Massmann E-Mail:

Performanz- und Lasttests (2)

• Last-, Performanz-, Stress- und Benchmark-Tests– Primäres Ziel von Softwaretests: Messen der Qualität des

Softwaresystems

– Ziel von Performanztests: Ermittlung der Antwortzeit, Leistungsfähigkeit und Stabilität verschiedener Funktionen der Applikation (bzw. System)

– Ziel von Lasttests: Ermittlung von Performanz-Kennzahlen für Kapazitätsplanung

– Analyse folgender Komponenten:• Anwendung, Betriebssystem, Applikationsserver, Datenbank sowie Netzwerk

Motivation Performanz- und Lasttests Fallbeispiel I Fallbeispiel II Fazit

12

Page 13: Performanz- und Lasttests Formale Methoden Fakultät für Wirtschaftswissenschaften Janina Berge E-Mail: j.berge@stud.hs-wismar.de Stephan Massmann E-Mail:

Performanz- und Lasttests (3)

• Last-, Performanz-, Stress- und Benchmark-Tests– Vorgehen:

• (1) Assessment - Auslastungsbeurteilung

• (2) Measurement - Benchmarking

• (3) Interpretation - Analyse

• (4) Optimierung – Prognose

– Identifikation und Beseitigung des Kollaps-Punkts

– Benchmarktest = Vergleichstest

Motivation Performanz- und Lasttests Fallbeispiel I Fallbeispiel II Fazit

13

Page 14: Performanz- und Lasttests Formale Methoden Fakultät für Wirtschaftswissenschaften Janina Berge E-Mail: j.berge@stud.hs-wismar.de Stephan Massmann E-Mail:

Performanz- und Lasttests (4)

• Einordnung ins V-Modell– Rechter Ast des V-Modell für die Integrations- und Testarbeiten

– Komponententest, Integrationstest, Systemtest und Abnahmetest

– Performanz- und Lasttest Systemtest

– Primäres Ziel des Systemtests: Verifikation des Systems gegen die Systemanforderungen

– Weiteres Ziele: System für Abnahme bereit?

Motivation Performanz- und Lasttests Fallbeispiel I Fallbeispiel II Fazit

14

Page 15: Performanz- und Lasttests Formale Methoden Fakultät für Wirtschaftswissenschaften Janina Berge E-Mail: j.berge@stud.hs-wismar.de Stephan Massmann E-Mail:

Fallbeispiel I: Online-Shop

Page 16: Performanz- und Lasttests Formale Methoden Fakultät für Wirtschaftswissenschaften Janina Berge E-Mail: j.berge@stud.hs-wismar.de Stephan Massmann E-Mail:
Page 17: Performanz- und Lasttests Formale Methoden Fakultät für Wirtschaftswissenschaften Janina Berge E-Mail: j.berge@stud.hs-wismar.de Stephan Massmann E-Mail:

Planung und Steuerung

Analyse und Design

Realisierung und Durchführung

Auswertung und Bericht

Abschluss

Risiko

Testobjekt

Tool

Page 18: Performanz- und Lasttests Formale Methoden Fakultät für Wirtschaftswissenschaften Janina Berge E-Mail: j.berge@stud.hs-wismar.de Stephan Massmann E-Mail:

Planung und Steuerung

Analyse und Design

Realisierung und Durchführung

Auswertung und Bericht

Abschluss

Testbarkeit

Logische Fälle

Testszenario

Page 19: Performanz- und Lasttests Formale Methoden Fakultät für Wirtschaftswissenschaften Janina Berge E-Mail: j.berge@stud.hs-wismar.de Stephan Massmann E-Mail:

Planung und Steuerung

Analyse und Design

Realisierung und Durchführung

Auswertung und Bericht

Abschluss

Durchführung

Konkreter Fall

Kriterium Ausprägung

Anzahl der virtuellen Nutzer 2

Maximale Anzahl paralleler Nutzer 10

Minimale Anzahl paralleler Nutzer 1

Gesamttestdauer 3 Minuten

Lastverteilung Wechsel zwischen Voll- und Niederlastintervall

Dauer Volllastintervall 30 Sekunden

Dauer Niederlastintervall 30 Sekunden

Page 20: Performanz- und Lasttests Formale Methoden Fakultät für Wirtschaftswissenschaften Janina Berge E-Mail: j.berge@stud.hs-wismar.de Stephan Massmann E-Mail:

Planung und Steuerung

Analyse und Design

Realisierung und Durchführung

Auswertung und Bericht

Abschluss

Page 21: Performanz- und Lasttests Formale Methoden Fakultät für Wirtschaftswissenschaften Janina Berge E-Mail: j.berge@stud.hs-wismar.de Stephan Massmann E-Mail:

Planung und Steuerung

Analyse und Design

Realisierung und Durchführung

Auswertung und Bericht

Abschluss

- Reine Antwortzeit zu ungenau

- Tests zu kurz- Hardware nicht

repräsentativ- …

Page 22: Performanz- und Lasttests Formale Methoden Fakultät für Wirtschaftswissenschaften Janina Berge E-Mail: j.berge@stud.hs-wismar.de Stephan Massmann E-Mail:

Fallbeispiel II (1) 22

• Aldra Fenster und Türen GmbH– Unterstützung durch Infor: Herr Kuhlmann– Baan ERP 5.0c, SUN-System, Oracle 10g, Testumgebung– Dienstleister in Niederlande (Performanztests und

Benchmarking)– Ermittlung von Leistungsfaktoren für verschiedene

Produktvarianten– Nutzung des Tools Loadrunner– Bestimmung der Leistungsgrenze– Ableitung eines Sizing-Grades

Motivation Performanz- und Lasttests Fallbeispiel I Fallbeispiel II Fazit

Page 23: Performanz- und Lasttests Formale Methoden Fakultät für Wirtschaftswissenschaften Janina Berge E-Mail: j.berge@stud.hs-wismar.de Stephan Massmann E-Mail:

Fallbeispiel II (2)

• Aldra Fenster und Türen GmbH– Fragebogen für Kundenanforderungen– Herr Kuhlmann: Bereich Datenbank, Netzwerk,

Storage/Hardware, Betriebssystem und Applikation– 1. Blick: Hardware und Betriebssystem– 2. Blick: Datenbank– 3. Blick: Applikation

Motivation Performanz- und Lasttests Fallbeispiel I Fazit

23

Fallbeispiel II

Page 24: Performanz- und Lasttests Formale Methoden Fakultät für Wirtschaftswissenschaften Janina Berge E-Mail: j.berge@stud.hs-wismar.de Stephan Massmann E-Mail:

Fazit

– Performanz- und Lasttest unerlässlich zur Bestimmung bzw. Messung von Softwarequalität

– Enger Zusammenhang Performanz- und Lasttest– Nachteile:

• Definieren von nicht-funktionalen Anforderungen,• Hoher Kostenfaktor für Testumgebung

– Vorteile:• Aufdecken und Beheben von Fehlern• Sicherheit in das Produkt

– Sinnvoll bei der Bewertung von ERP-System, Datenbanken sowie Web-Applikationen

Motivation Performanz- und Lasttests Fallbeispiel I Fallbeispiel II Fazit

24

Page 25: Performanz- und Lasttests Formale Methoden Fakultät für Wirtschaftswissenschaften Janina Berge E-Mail: j.berge@stud.hs-wismar.de Stephan Massmann E-Mail:

Motivation Performanz- und Lasttests Fallbeispiel I Fallbeispiel II Fazit

25

Vielen Dank für Ihre Aufmerksamkeit!

Page 26: Performanz- und Lasttests Formale Methoden Fakultät für Wirtschaftswissenschaften Janina Berge E-Mail: j.berge@stud.hs-wismar.de Stephan Massmann E-Mail:

Bildnachweise 26

http://www.sxc.hu/photo/1397111

http://it-material.de/2009/07/anwendungen-in-der-automobilindustrie/

http://www.sxc.hu/photo/1117048

http://de.wikipedia.org/wiki/Ariane_5

http://www.dayer.de/bilder/galeriepics/ladebalken.gif

http://www.google.de

Page 27: Performanz- und Lasttests Formale Methoden Fakultät für Wirtschaftswissenschaften Janina Berge E-Mail: j.berge@stud.hs-wismar.de Stephan Massmann E-Mail:

Bildnachweise 27

http://www.facebook.com

http://www.amazon.de

https://twitter.com

http://www.monitor.at/ausgaben/news_08_1/digital_info_growth1~fs.jpg

http://t2.ftcdn.net/jpg/00/37/10/77/400_F_37107712_iPtmtb3qxOQbphrlCo17BDpnA5nIdwbB.jpg

http://www.sxc.hu/photo/1198393

Page 28: Performanz- und Lasttests Formale Methoden Fakultät für Wirtschaftswissenschaften Janina Berge E-Mail: j.berge@stud.hs-wismar.de Stephan Massmann E-Mail:

Bildnachweise 28

http://www.ultimateskillschallenge.com/Content/images/ShoppingCart.png

http://www.sxc.hu/photo/708615

http://blog.extrasugarextrasalt.com/wp-content/uploads/2011/04/computer-hate.jpg

http://upload.wikimedia.org/wikipedia/en/a/a6/Logo_NeoLoad_Transparent.png

http://www.sxc.hu/photo/1078432

http://www.sxc.hu/photo/533025

Page 29: Performanz- und Lasttests Formale Methoden Fakultät für Wirtschaftswissenschaften Janina Berge E-Mail: j.berge@stud.hs-wismar.de Stephan Massmann E-Mail:

Bildnachweise 29

http://www.sxc.hu/photo/1030728