Towards Reconstruc/ng Architectural Models of So8ware Tools by Run/me Analysis

Size: px

Start display at page:

Download "Towards Reconstruc/ng Architectural Models of So8ware Tools by Run/me Analysis"

Dwight Thompson
8 years ago
Views:

1 Towards Reconstruc/ng Architectural Models of So8ware Tools by Run/me Analysis Ian Peake, Jan Olaf Blech, Lasith Fernando RMIT University Melbourne, Australia

2 Our Approach Tradi/onal Requirements Model Implementa/on This work Implementa/on Model Reengineered Implementa/on main focus

3 Our Approach Implementa/on interac/on at run/me Implementa/on instrumenta/on: Intel Pin Traces interpreta/on Model

4 Our Approach Defined usage scenario Implementa/on interac/on at run/me Implementa/on instrumenta/on: Intel Pin Traces interpreta/on Model

5 Intel Pin Tool In- situ just- in- /me compila/on / execu/on Dynamically add monitoring / profiling hooks Write, compile plug- in for hook inser/on Here, we monitor control flow: Method calls (Condi/onal) branches Trace File

6 Instrumenta/on: Hook Inser/on

7 Control Flow / Dependence Graph Dynamic call / branch structure is a graph Issues: Graph size gets very big Mapping graph nodes to components Diﬀerent languages and components Func/onality not obvious

8 Clustering [Andritsos05] Generic informa/on- theore/c approach: Agglomera/ve Informa/on Bo]leneck Applied to so8ware components: LIMBO Pairwise merge similar en//es, minimise informa/on loss Performs at least as well as other known algorithms wrt. human experts [Maqbool 2007] Supports weighted edges

9 Andritsos 2005 Merging u_1 and u_2 cost is 0 - they are iden/cal Merging f_1 and f_2 cost is small as they are close

10 Clustering Use LIMBO algorithm Weight edges by #unique caller sites Undirected interpreta/on of dependencies Different possible candidates

11 Clustering 5 Components ::QBtSyntax, ::QBtBrowser, ::QBtSeparator, ::NVT QBtBrowser, ::QBtSettings, ::QBtWorkspace, ::QBtConfig, ::QBtOperator, ::QBtNumeration, ::QVector<QBtRange>, ::QBtShared, ::QVector<QBtMarkerInfo>, ::QBtEvent, ::NVT QBtIndicator, ::DiffDialog, ::QVector<QBtDiffInfo>, ::QBtEventsController, ::QBtDiffProcess, ::NVT QBtWorkspace, ::BtStringTool, ::QBtDiffInfo, ::QBtIndicator, ::NVT QBtOperator ::NVT FindDialog, ::Ui_HelpWidget, ::NVT BatchDialog, ::Ui_FncDialog, ::NVT UpdateInfo, ::Ui_BatchDialog, ::Ui_SessionDialog, ::Ui_FindReplaceDialog, ::Ui_FBDialog, ::NVT HelpWidget, ::NVT FncDialog, ::Ui_POUInfoDialog, ::NVT FBDialog, ::NVT POUInfoDialog, ::NVT SessionManager, ::Ui_UpdateDialog 3 (0) 16 (16) 20 (7) ::HelpWidget, ::PrintPrepare, ::QList<int>, ::Prototype, ::TabWidget, ::ImportExport, ::FindDialog, ::PrefDialog, ::SessionManager, ::POUInfoDialog, ::PageCtrl, ::Ui_PrefDialog, ::MainWindow, ::BatchDialog, ::FncDialog, ::FileViewDialog, ::NVT FileViewDialog, ::QList<QUrl>, ::NVT MainWindow, ::Highlighter_Dec, ::FBCallConverter, ::Editor* QObject, ::NVT PageCtrl, ::AboutDialog, ::Ui_FileViewDialog, ::Editor, ::UpdateInfo, ::main, ::FBDialog, ::NVT PrefDialog, ::Highlighter_Ins, ::QtLocalPeer, ::PageData 10 (2) 24 (7) 326 (0) ::NVT Editor, ::QBtLineData, ::QBtConfigOthers, ::global constructors keyed to QBtOperator, ::global constructors keyed to qinitresources_plcedit(), ::QBtConfigDiffProcess, ::NVT QBtNumeration, ::_start, ::qinitresources_plcedit(), ::global constructors keyed to BtStringTool, ::QVector<QPoint>, ::NVT QBiConfigWidget, ::QVector<Highlighter_Dec, ::global constructors keyed to QBtConfig, ::QBtConfigTextViewer, ::NVT QBtSeparator, ::PathFileNameDialog, ::NVT QBtConfigDialog, ::QtLP_Private, ::QtSingleApplication, ::QBtRange, ::NVT QBtColorDemo, ::QBtSaveQuestion, :: libc_csu_init, ::QVector<Highlighter_Ins, ::global constructors keyed to QBtShared 6 (2) 36 (0) 42 (16) 787 (0) 109 (0) ::qcleanupresources_plcedit dest_class, ::QBtConfigDialog, ::NVT QBtConfigOthers, ::QMutexLocker, ::NVT AboutDialog, ::Ui_PathFileNameDialog, ::QBiConfigWidget, ::NVT PathFileNameDialog, ::NVT PageData, ::NVT DiffDialog, ::QBtColorDemo, ::Ui_AboutDialog, ::qcleanupresources_plcedit(), ::NVT QBtConfigTextViewer, ::NVT QBtConfigDiffProcess, ::NVT TabWidget, ::NVT QBtSaveQuestion 25 (0)

12 Clustering 10 Components ::NVT QBtColorDemo, ::QBtConfigOthers, ::QBtConfigTextViewer, ::NVT Editor, ::NVT QBtConfigDialog, ::QBtConfigDiffProcess, ::NVT QBiConfigWidget 16 (0) 2 (0) ::QBtSyntax, ::QBtBrowser, ::QBtSeparator, ::NVT QBtBrowser, ::QBtSettings, ::QBtWorkspace, ::QBtConfig, ::QBtOperator, ::QBtNumeration, ::QVector<QBtRange>, ::QBtShared, ::QVector<QBtMarkerInfo>, ::QBtEvent, ::NVT QBtIndicator, ::DiffDialog, ::QVector<QBtDiffInfo>, ::QBtEventsController, ::QBtDiffProcess, ::NVT QBtWorkspace, ::BtStringTool, ::QBtDiffInfo, ::QBtIndicator, ::NVT QBtOperator 40 (12) 2 (0) 10 (2) 6 (4) ::FBCallConverter, ::Editor* QObject, ::PrefDialog, ::PrintPrepare, ::BatchDialog, ::QList<int>, ::NVT FileViewDialog, ::Ui_FileViewDialog, ::Prototype, ::POUInfoDialog, ::NVT PageCtrl, ::TabWidget, ::ImportExport, ::Editor, ::PageCtrl, ::Highlighter_Ins, ::MainWindow, ::Highlighter_Dec, ::PageData 1 (0) 12 (2) 60 (34) ::QBtConfigDialog, ::NVT QBtConfigOthers, ::qcleanupresources_plcedit dest_class, ::QBiConfigWidget, ::NVT DiffDialog, ::QBtColorDemo, ::QMutexLocker, ::NVT QBtConfigTextViewer, ::NVT QBtConfigDiffProcess ::NVT QBtNumeration, ::QVector<Highlighter_Dec, ::qinitresources_plcedit(), ::NVT QBtSeparator, ::global constructors keyed to qinitresources_plcedit(), ::QBtRange, ::QVector<QPoint>, ::QVector<Highlighter_Ins 4 (4) ::HelpWidget, ::AboutDialog, ::SessionManager, ::FileViewDialog, ::QtLocalPeer, ::UpdateInfo, ::FncDialog, ::FindDialog, ::FBDialog, ::NVT PrefDialog, ::QList<QUrl>, ::NVT MainWindow, ::Ui_PrefDialog, ::main 4 (0) 1 (0) 1 (0) 27 (0) 8 (8) 4 (4) 2 (2) 326 (0) 586 (0) ::Ui_BatchDialog, ::NVT BatchDialog, ::NVT UpdateInfo, ::Ui_FBDialog, ::Ui_POUInfoDialog, ::NVT FBDialog, ::NVT POUInfoDialog, ::Ui_UpdateDialog 12 (3) ::qcleanupresources_plcedit(), ::NVT AboutDialog, ::Ui_PathFileNameDialog, ::NVT PathFileNameDialog, ::NVT PageData, ::NVT QBtSaveQuestion, ::NVT TabWidget, ::Ui_AboutDialog 20 (0) 14 (0) ::NVT FindDialog, ::Ui_HelpWidget, ::Ui_FncDialog, ::Ui_FindReplaceDialog, ::NVT SessionManager, ::Ui_SessionDialog, ::NVT HelpWidget, ::NVT FncDialog 201 (0) 4 (2) 19 (0) 17 (0) ::_start, ::global constructors keyed to QBtConfig, ::QBtSaveQuestion, ::global constructors keyed to BtStringTool, :: libc_csu_init, ::global constructors keyed to QBtOperator, ::PathFileNameDialog, ::QtLP_Private, ::QtSingleApplication, ::QBtLineData, ::global constructors keyed to QBtShared 5 (0) 68 (0)

13 Mapping Graph Components to System Components Interac/on analysis Name analysis Domain specific knowledge Use case specific knowledge (run/me) Source and target code storage Compilers Analyzers and simulators Editors License management Domain specific knowledge Source and target code storage Compilers Analyzers and simulators Editors License management Use case knowledge no compiler invoked

14 Mapping Graph Components to System Components Interac/on analysis Name analysis Domain specific knowledge Use case specific knowledge (run/me) Source and target code storage Compilers Analyzers and simulators Editors License management Use case knowledge analyze invoked method names and order chose component clustering no compiler invoked

15 Experiments (Overview) Applica/on to PLC / industrial automa/on development tools Open- source (in the paper) Industrial partner (in the project) Basis for migra/on to so8ware product lines: mul/ple independent tools for similar products - > so8ware product line

16 Conclusion & Future Work Run/me analysis / detec/on of so8ware components Abstract / Model level Different degrees of abstrac/on through clustering Interpreta/on involves manual steps Development of so8ware product line for different PLC tools (industrial partner) Inves/ga/on of different approaches

17 Thank you very much for your a0en1on!

Data Center Evolu.on and the Cloud. Paul A. Strassmann George Mason University November 5, 2008, 7:20 to 10:00 PM

Data Center Evolu.on and the Cloud Paul A. Strassmann George Mason University November 5, 2008, 7:20 to 10:00 PM 1 Hardware Evolu.on 2 Where is hardware going? x86 con(nues to move upstream Massive compute