Software-Technologie: Stand der Kunst und Herausforderungen

Transkript

1 Software-Technologie: Stand der Kunst und Herausforderungen Univ.-Prof. Dipl.-Ing. Dr. Wolfgang Pree Fachbereich Informatik Universität Salzburg cs.uni-salzburg.at Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. To copy otherwise, or to republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee.

2 Kontext Das Phänomen Software Wie kann Software ingenieurmäßig entwickelt werden? Softwaretechnik Quo vadis? 2

3 Das Phänomen Software 3

4 Die Universalmaschine Computer macht Software allgegenwärtig Flugzeug-/Raketensteuerungen 4 ca. 70 Prozessoren im Auto

5 Qualität ist wesentlich schlechter als bei anderen Produkten Softwarefehler/-mängel mit drastischen Auswirkungen: Y2K, -Umstellung fehlerhafte Finanztransaktionen Abstürze (zb Ariane: $ 800 Mio.)... 5

6 Was ist besonders an Software? 6

7 Die Probleme bei der Herstellung von Software resultieren aus der Komplexität der zu realisierenden Produkte Spezifikation der Anforderungen Beherrschung der Komplexität Wiederverwendung/Halbfabrikate, Änderbarkeit und Erweiterbarkeit Automatisierung im Herstellungsprozeß Portabilität Dokumentation Produktergonomie (Mensch-Computer- Schnittstelle) Projektorganisation u. -kontrolle Qualitätssicherung und -bewertung Personenunabhängigkeit Kostenabschätzung Prototyping Programmiermodelle Entwurfsmuster Frameworks Psychologie (zb Piaget) 7

8 Beispiel: Problem der exakten Spezifikation 8

9 Eine exakte Spezifikation ist oft unpraktikabel geg.: n 3, L: N n N ges.: Ein Programm P, sodass inj a: N 3 N n, sodass 1 i 3 j e N n \ U { a k } 1 k j L(a i ) L(a J ) 9

10 ... im Vergleich zur nicht exakten verbalen Spezifikation Gegeben ist eine Liste mit mindestens drei positiven Zahlen. Gesucht ist ein Programm P, das die Indizes der drei größten Elemente der Liste liefert. 10

11 Meisterung der Komplexität 11

12 Bei klassischen Ingenieurdisziplinen gilt: Schlechte Qualität läßt sich kaum verbergen Tür zu einem Raum geht nicht gut auf unnötige Schnörksel fallen auf 5. Rad am Wagen Die Ressourcen sind beschränkt ingenieurmäßiges Herangehen bedeutet, unter den gegebenen Rahmenbedingungen zu optimieren 12

13 Bei Software hingegen ist schlechte Qualität nicht unmittelbar sichtbar schlechte Strukturierung Spaghetti -Programmcode: Radwechsel => Motor funktioniert nicht mehr replizierter Programmcode kaum Wiederverwendung das Rad wird immer neu erfunden 13

14 Ingenieurmäßiges Vorgehen scheint sich nicht auszuzahlen Hardware-Ressourcen werden nach Moore s Law potenter; der gedankenlose Umgang damit führt zu unnötiger Komplexität nicht mehr verstehbaren Artefakten OberonOS (ETH ZH) Zeilen Programmcode 4,1 cm 27,5 m Windows XP: 20, (!!) Zeilen Programmcode 14

15 Wie kann Software ingenieurmäßig entwickelt werden? 15

16 Exkurs: Was macht Software? Verarbeitung Eingabe Tastatur Maus CD Digitalkamera... Arbeitsspeicher schnell zugreifbare Daten + Programme Prozessor (CPU) Ausgabe Bildschirm Drucker Disk Lautsprecher Daten Steuersignale

17 Foto von digitaler Kamera bearbeiten Farben weg

18 weitere Beispiele ABS im Auto Eingabe: Umdrehungsgeschwindigkeiten (U) der Räder Verarbeitung: Prüfung, ob bei betätigter Bremse U=0 Ausgabe: entsprechende Steuerung der Bremskraft Banküberweisung Eingabe: Überweisungsdaten (Einzahler, Empfänger, Betrag) Verarbeitung: Gültigkeitsprüfungen Ausgabe: Buchungszeilen auf Konten 18

19 Programmiersprachenkonstrukte als Basis von Software-Architektur 19

20 von Einzelteilen zu Komponenten 50er Jahre Maschinen-/Assembler-Programme: auf bestimmten Prozessor zugeschnitten 60er/70er Jahre höhere Programmiersprachen (wie Pascal, C) Anweisungen können zu Funktionen/Prozeduren zusammengefasst werden Einzelteile, Schrauben, etc. 80er/90er Jahre Funktionen/Prozeduren werden zu Modulen zusammengefasst (Modula, Oberon, C++, Java, C#) Software-Komponenten 20

21 Beispiel: Komponente File-Handler einfache Schnittstelle File lesen File schreiben versteckte Implementierungsdetails: Zugriff auf Festplatte Aufsplitten des Inhalts eines Files etc.

22 Architektur-Patterns Software-Patterns 22

23 The Timeless Way of Building Christopher Alexander, Professor of Architecture, Univ. of California, Berkeley: 1979 erschienene Bücher: The Timeless Way of Building A Patttern Language (253 Patterns) Quality without a name 1991 von der Software-Community entdeckt 23

24 Beispiel: Windows Overlooking Life 24

25 Beispiele für Software Patterns 25

26 Wie können SW-Halbfertigfabrikate geschaffen werden? Beschrieben in Architektur-Handbüchern (1995): E. Gamma, R. Helm, R. Johnson, J. Vlissides: Design Patterns: Elements of Reusable Software W. Pree: Design Patterns for Object-Oriented Software Development 26

27 Was sind Halbfertigfabrikate? Küchenmaschine: durch Einstecken einer Komponente wird das vorhandene Halbfertigfabrikat zum fertigen Mixer oder Fleischwolf neue Automodelle gleichen meist im Kern (Chassis, Getriebe, Motorpalette) den Vorgängermodellen 27

28 SW-Beispiele Einwegsoftware: Hotelreservierungssystem Autovermietungssystem Schiverleihsystem Motorradverleihsystem etc. Halbfertigfabrikat: Reservierungssystem (Mietgegenstand) 28

29 Einwegsoftware Abhängigkeit zwischen den Komponenten ist im Programmquelltext: Hotelzimmer Kopplung mit einer anderen Komponente erfordert Änderungen: Auto 29

30 Pattern: Halbfertigfabrikate erfordern die Definition von Steckern Stecker Mietgegenstand Stecker-kompatible Komponenten 30

31 sogenannte dynamische Bindung von Aufrufen macht Änderungen im Source-Code obsolet m1() m1() m1() call m1 31

32 Stecker Mietgegenstand Definiert allgemeine, abstrakte Eigenschaften: istfrei(zeitraum) reserviere(zeitraum) berechnepreis(zeitraum) etc. 32

33 control 1 Control movebyvec(vec: 3DVector)... :FlightPattern segments 1..N FlightSegment h h h h h startpos: Position flyit() calcnextpos(actpos, speed, stepsize): Position calclength() calcreqtime(speed) isvalidpattern(...): bool setstartpos(pos: Position) getactuallength() getactualtime() navigation :Line :Circle :FlightPattern :Circle :Arc :Circle :FlightPattern :Circle FlightPattern Line Circle t t t t t parentpattern: FlightPattern flyit() calclength() calcreqtime(speed) isvalidpattern(...): bool setstartpos(pos: Position) addseg(...) removeseg(...) 1..N line: 3DVector calcnextpos(actpos, speed, stepsize): Position calclength() calcreqtime(speed) isvalidpattern(...): bool setline(l: Vector) for each sgmt in segments: sgmt.flyit()... // instance variables for // storing the plane and // circle-specific data calcnextpos(actpos, speed, stepsize): Position calclength() calcreqtime(speed) isvalidpattern(...): bool setdirection(...)... // methods for defining // the plane in which the // circle is located, and // the radius of the circle Arc arclength: float 33 Navigation W. Pree 1 calcnextpos(actpos, speed, stepsize): Position calclength() calcreqtime(speed) isvalidpattern(...): bool setlength(len: float)

34 Halbfertigfabrikat für Satellitensteuerungen in Kooperation mit der European Space Agency (ESA):

35 Automatische Generierung von Software aus Bauplänen (Modellen) 35

36 Compiler: DIE Erfolgsgeschichte der Softwaretechnik Programmtext (Pascal, C#, xuml) ausführbares (Maschinen-)Programm a+b als Maschinenprogramm: hole die Zahl vom Speicherplatz 100(a) in einen Puffer addiere dazu den Inhalt von Speicherplatz 101(b) speichere das Ergebnis in Zelle 102(a+b) für das Zeitverhalten von Embedded Systems noch ausständig für andere Anwendungsbereiche denkbar? 36

37 Beispiel: Helicopter Control System (I) Henzinger, Kirsch, Pree, Sanvido (UC Berkeley) Schaufelberger, Wirth (ETH Zürich) 37

38 Beispiel: Helicopter Control System (II) 38

39 Giotto als höhere Programmiersprache = Bauplan = Modell für Zeitaspekte Mode 1 Task S 400 Hz Task C 200 Hz Task A 1 khz Condition 1.2 Condition 2.1 Mode 2 Task S 400 Hz Task C 200 Hz Task A 1 khz Task A 1 khz Mode 3 Task S 400 Hz Task C 200 Hz Task A 2 khz Mode 4 Task C 100 Hz Task A 1 khz => spezif. HW-Plattform wird irrelevant 39

40 Generierung der Software + deren Verteilung auf Prozessoren erfolgt automatisch Sensor Driver Task d Actuator Input ports loaded. Task on CPU. Output ports read. Time t Time t Time t+d Time t+d 40

41 Softwaretechnik Quo vadis? 41

42 kostenintensive Wartung von Software, die Jahre alt ist ingenieurmäßige Herangehensweise wird sich zumindest in Teilbereichen etablieren, zb bei sicherheitskritischen Systemen 42

43 simple, mechanische Weltsicht schwer skalierbar Vorbild biologische Systeme Internet wuchs um den Faktor 100 Mio. 43

44 Softwaretechnik Quo vadis? 44

45 The End Vielen Dank für Ihre Aufmerksamkeit! 45