Software Architecture Discovery

Transkript

1 Wie können bestehende verteilte Systeme (IoT / Cloud) analysiert werden? 9. Mai 207

2 2 / 25

3 2 / 25

4 3 / 25 WPS - Workplace Solutions GmbH

5 4 / 25 Eigentlich läuft doch schon ne ganze Menge There s a way to do it better find it. Thomas A. Edison

6 5 / 25

7 Was ist die Basis? Arbeiten mit dem realen System 6 / 25

8 Wie verläuft eine generell? Was will ich wissen? Wie stelle ich die Ergebnisse dar? Wie kriege ich das raus? 7 / 25

9 Wie verläuft eine generell? Was will ich wissen? Wie stelle ich die Ergebnisse dar? Wie kriege ich das raus??human.class Pet.class / 25

10 Was will ich wissen? Bewertungskriterien Funktionalität Angemessenheit Richtigkeit Interoperabilität Ordnungsmäßigkeit Zuverlässigkeit Sicherheit Reife Fehlertoleranz Wiederherstellbarkeit Qualität Benutzbarkeit Effizienz Verständlichkeit Erlernbarkeit Bedienbarkeit Zeitverhalten Verbrauchsverhalten Änderbarkeit (Wartbarkeit) Analysierbarkeit Modifizierbarkeit Stabilität Prüfbarkeit Übertragbarkeit Anpassbarkeit Installierbarkeit Konformität Austauschbarkeit SE Vorlesung, Dai [ISO9] 8 / 25

11 Wie stelle ich die Ergebnisse dar? Darstellen von Metriken Psychologie Data Science... Modularität Mustertreue Geordnetheit Komplexität von architekturen, Stile und Strategien, Carola Lilienthal [Lil08] 9 / 25

12 Wie kriege ich das raus? Messungen/ Tooling Statische Quellcode Dynamische Hybride 0 / 25

13 Statische Tooling CodeCity Structure0 Sonargraph Lattix $root org.apache.tools ant.taskdefs ant UTIL launcher cvslib optional rmic compilers * condition loader attribute listener dispatch helper input filters property types util * org.apache.tools20 org.apache.tools2 org.apache.tools22 org.apache.tools23 l c 2 o 3 r 4 c 5 * 6 c 7 e 8 l % % % % % % % % % 3 0.8% % % 4 0.8% % 3 5 3% % % % % 0.9% 7 0.5% 4% 0.6% und weitere... Hintergrund Metasprachen Quellen: hello2morrow.com/ products/sonargraph, structure0.com, lattix.com / 25

14 Statische Code City Farbe: LoC Höhe: Methoden Fläche: Attribute CodeCity [WL08], Richard Wettel, / 25

15 Statische Sonargraph Sonargraph, hello2morrow 3 / 25

16 Statische Sonargraph p u b l i c class Human { p u b l i c Pet [ ] Pets ; } p u b l i c class Pet { p u b l i c Human getowner ( ) ; } Bogen links: Abhängigkeit runter Bogen rechts: Abhängigkeit hoch (Zyklus!) Sonargraph, hello2morrow 4 / 25

17 Dynamische Nachrichtenanalyse Idee: Decentralized in Distributed Systems, Technical Report, George Mason University [PMG6] Bilder: gotrace, Ivan Danyliuk 5 / 25

18 Dynamische Nachrichtenanalyse Idee: Decentralized in Distributed Systems, Technical Report, George Mason University [PMG6] Bilder: gotrace, Ivan Danyliuk 6 / 25

19 Dynamische Nachrichtenanalyse Idee: Decentralized in Distributed Systems, Technical Report, George Mason University [PMG6] Bilder: gotrace, Ivan Danyliuk 7 / 25

20 Dynamische Nachrichtenanalyse Idee: Decentralized in Distributed Systems, Technical Report, George Mason University [PMG6] Bilder: gotrace, Ivan Danyliuk 8 / 25

21 Hybride ( & ) Kieker Komponenten Operationen (Methodenaufrufe) Container (Server) Call Trees Sequenz Diagramme Kieker Framework [vhwh2], Uni Kiel, Uni Stuttgart 9 / 25

22 mit Frappé entwickelt für Linux Kernel foo.h i n t bar ( i n t ) ; foo.c # i n c l u d e " foo. h " i n t bar ( i n t i n p u t ) { r e t u r n i n p u t ; } main.c # i n c l u d e " foo. h " i n t main ( i n t argc, char argv ) { r e t u r n bar ( argc ) ; } Frappé [HBC5], Oracle 20 / 25

23 2 / 25 mit Joerg Analysis Platform Gedacht für Bug Suche in C/C++ Buffer Overflows Memory Mapping Bugs... Speichern und Suchen in joerg [YGAR4], Uni Göttingen

24 generell Engineering & Programmiersprachen SATURN, Denver, -4 Mai 207 SANER, Klagenfurt / Österreich, Februar 207 QCon, unter anderem: New York, Juni 207 London, 5-9 Mai 208 JAX, Mainz, 8-2 Mai 207 Qualität von architekturen von Carola Lilienthal 22. Mai 4:5 in BT / 25

25 Selten Pattern, häufig in Verbindung mit Programmiersprachen Viel Java/ C#, wenig C/ C++ Nur Programmiersprachen übergreifend Niesche zwischen großen Themen Grundprojekt in Betreuer: Prof. Thomas Lehmann 23 / 25

26 24 / 25

27 Vielen Dank für die Aufmerksamkeit!

28 26 / 25 Paper I Nathan Hawes, Ben Barham, and Cristina Cifuentes. FrappÉ: Querying the linux kernel dependency graph. In Proceedings of the GRADES 5, GRADES 5, pages 4: 4:6, New York, NY, USA, 205. ACM. ISO. enginnering product quality. ISO 926:99, International Organization for Standardization, 99.

29 27 / 25 Paper II Carola Lilienthal. Komplexität von architekturen, Stile und Strategien. PhD thesis, Universität Hamburg, Von-Melle-Park 3, 2046 Hamburg, Jason Porter, Daniel A. Menasce, and Hassan Gomaa. Decentralized software architecture discovery in distributed systems. Technical Report GMU-CS-TR , Department of Computer Science, George Mason University, 4400 University Drive MS 4A5, Fairfax, VA USA, 206.

30 28 / 25 Paper III André van Hoorn, Jan Waller, and Wilhelm Hasselbring. Kieker: A framework for application performance monitoring and dynamic software analysis. In Proceedings of the 3rd ACM/SPEC International Conference on Performance Engineering, ICPE 2, pages , New York, NY, USA, 202. ACM. Richard Wettel and Michele Lanza. Codecity: 3d visualization of large-scale software. In Companion of the 30th International Conference on Engineering, ICSE

31 29 / 25 Paper IV Companion 08, pages , New York, NY, USA, ACM. Fabian Yamaguchi, Nico Golde, Daniel Arp, and Konrad Rieck. Modeling and discovering vulnerabilities with code property graphs. In Proc. of IEEE Symposium on Security and Privacy (S&P), 204.