Dynamic Analysis (EVO 2008)
•
0 gostou•384 visualizações
I used this set of slides for a lecture I gave at the University of Bern.
Recomendados
Mais conteúdo relacionado
Mais procurados
Mais procurados (16)
Destaque
Semelhante a Dynamic Analysis (EVO 2008)
Semelhante a Dynamic Analysis (EVO 2008) (20)
Mais de Tudor Girba
Mais de Tudor Girba (20)
Último
Último (20)
Dynamic Analysis (EVO 2008)
- 5. Dynamic analysis is the analysis of the properties of a running program 9 Ball 199
- 6. Dynamic analysis is the analysis of the properties of a running program prope rties? W hat 9 Ball 199
- 7. main()
- 8. method()
- 14. e infor mation offers precis ic an alysis Dynam
- 15. ment instru and why H ow to t to c apture Wha odel Ho w to m cute What to exe
- 17. … public class BankAccount { private Money balance; public void deposit(Money amount) { System.out.println(“deposit“); this.balance += money; } }
- 18. import org.apache.log4j.Logger; … public class BankAccount { private Money balance; public void deposit(Money amount) { logger.info(“deposit“); this.balance += money; } }
- 20. Method Wrappers and Aspects intervene before and after each interesting method
- 21. Profilers probe the system
- 22. 3+4 pushConstant: 3 pushConstant: 4 popIntoTemp: 0 “put argument in temp 0” popIntoTemp: 1 “put receiver in temp 1” send: + “perform addition” returnTop
- 23. 3+4 … insertBefore: 'Transcript show: <meta: #receiver>' pushConstant: 3 pushConstant: 4 popIntoTemp: 0 quot;put argument in temp 0quot; popIntoTemp: 1 quot;put receiver in temp 1quot; pushLit: ##Transcript quot;start of inserted codequot; pushTemp: 1 quot;push receiver for printingquot; send: asString send: show: pop quot;end of inserted codequot; pushTemp: 1 quot;rebuild the stackquot; pushTemp: 0 send: + returnTop 8 Den ker 200
- 24. 3+4 Message (+) Receiver (3) Arguments (4) 00 7 Denke r etal 2
- 25. 3+4 … insertBefore: 'Transcript show: <meta: #receiver>' before Transcript show: <meta: #receiver> Message (+) Receiver (3) Arguments (4) 00 7 Denke r etal 2
- 27. How to instrument What to capture and why
- 29. Collecting Garbage is a Dynamic Analysis
- 30. The Control Flow is the most common focus
- 31. 8 Pauw etal 199 De
- 32. 8 Pauw etal 199 De
- 33. 8 Pauw etal 199 De
- 34. Trace Signals reveal similar execution traces eevy 2006 Kuhn, Gr
- 35. Inter Class Call Matrix shows how classes collaborate at runtime 3 Pauw etal 199 De
- 36. Communication Interaction shows how classes collaborate at runtime 4 casse etal 200 Du
- 37. How to instrument What to capture and why
- 38. How to instrument What to capture and why How to model
- 40. sender 0..1 * Activation
- 41. Class sender 1 0..1 * * Activation * 1 Method
- 42. A feature is an observable unit of behavior of a system triggered by the user arth e tal 2003 Eisenb
- 44. Feature 1 Feature 2 ... Feature n
- 45. Class sender 1 0..1 * * Activation * 1 Method
- 46. Class sender 1 0..1 * * Activation * 1 Method * Feature
- 47. 5 ilde, Sc ully 199 W
- 48. 5 ilde, Sc ully 199 W
- 49. 5 ilde, Sc ully 199 W
- 50. Software Reconnaissance identifies where features are implemented 5 ilde, Sc ully 199 W
- 51. er 2004 n , Demey Zaidma
- 52. Feature Views show how features cover classes e tal 2006 addFolder addPage Greevy
- 53. addFolder addPage
- 54. Team Collaboration shows how authors develop features e tal 2007 Greevy
- 55. How to instrument What to capture and why How to model
- 56. How to instrument What to capture and why How to model activations metho d more than e runt ime is Th
- 59. return
- 60. return field-read
- 61. return field-write field-read
- 62. return field-write field-read return
- 63. return field-write field-read field-read return parameter allocation
- 64. Object Flow captures object aliases 9 Lienh ard 200
- 65. Object Flow captures object aliases 9 Lienh ard 200
- 66. Class sender 1 0..1 * * Activation * 1 Method * Feature
- 67. * 1 Instance Class sender 1 0..1 * * Activation * 1 Method * Feature
- 68. subject 1 Instance * Class sender 1 * 0..1 * * 0..1 Activation * 1 Alias receiver Method parent * creator Feature
- 69. subject 1 1 Instance * Class sender 1 * 0..1 * * 0..1 Activation * 1 Alias receiver Method parent * creator * Feature Attribute ArgumentAlias ReturnAlias TempAlias FieldAlias
- 70. Object Flow shows how objects move e tal 2007 L ienhard
- 71. Object Dependencies reveal features dependencies Open Join Channel Connect Send Message e tal 2007 L ienhard
- 73. ontains stack c ause e execution bug’s c ases th on about the of the c formati In 50% ly no in ess ential 5 Liblit etal 200
- 74. Back in time debuggers remember more than the current stack 08 Fierz 20
- 75. How to instrument What to capture and why How to model activations metho d more than e runt ime is Th
- 76. How to instrument What to capture and why How to model What to execute activations metho d more than e runt ime is Th
- 77. Tudor Gîrba www.tudorgirba.com creativecommons.org/licenses/by/3.0/