Detecting Difference between the Execution Trace Extracted from Two Versions of a Program

Transcription

1 JHotDraw Detecting Difference between the Execution Trace Extracted from Two Versions of a Program Yoshiro Ito, 1 Yui Watanabe, 1 Takashi Ishio 1 and Katsuro Inoue 1 It is necessary to confirm whether the change of behavior of a program is intended when developers modify souce code for debugging. To check the difference of the behavior of the program, they execute the modified program under the same operating condition. However, it is necessary to compare a huge amount of method call events in execution traces when they can not directly observe their behavior. This paper proposes a method to detect and visualize the difference by comparing tree structures between the two execution traces that are obtained by executing the two versions of a program under the same operating condition. We conducted a case study for a drawing editor JHot- Draw. As a result, we confirm that the visualized difference of the execution traces corresponding to the source code difference. 1. 3) 19) 2 2 java Amida 20) Amida JHotDraw 9) Graduate School of Information Science and Technology, Osaka University 1 c 2010 Information Processing Society of Japan

2 1:A 2:B 3:C a() b() c() <init>() 4:D d() <init>() 5:D d() Amida ) 4),18),20) Unified Modeling Language(UML) 17) Amida Amida 20) Amida Java 2 Amida Amida c 2010 Information Processing Society of Japan

3 2 3) 12),14),15) 1 2 7) 3. 2 Java Amida Java 3.1 Amida Amida ID <init> 3.2 M 1 M 2 M 1 M 2 M 2 M 1 1 M 1 M 2 M 1 M 2 M 1 M 2 M 3 M 2 M 3 M 2 M T a T b r a r b 2 3 c 2010 Information Processing Society of Japan

4 r a r b r a r b r a i r b i r a r b 2 r a r b r a r b r a r b ID ID ID ID T 1 T 2 1 T T 1 T T 1 T Amida 20) i i c 2010 Information Processing Society of Japan

5 T 1 T Java JHotDraw 9) (1) (2) (3) (4) Alt F4 (Microsoft Windows Alt+F4 ) (5) java javax sun Amida (byte) ,789 5,713, ,127 4,974, main 21 AWT-EventQueue 55,651 Thread-3 2 pool-1-thread main 21 AWT-EventQueue 48,989 Thread-3 2 pool-1-thread c 2010 Information Processing Society of Japan

6 2 4 4 main Thread-3 pool-1-thread-1 3 AWT-EventQueue 300 org.jhotdraw.draw.abstracttool org.jhotdraw.draw.defaultdrawingeditor org.jhotdraw.draw.defaultdrawingview 3 AbstractTool AbstractTool create- ActionMap null 7.3 createactionmap createactionmap DefaultDrawingEditor DefaultDrawingEditor DefaultDrawingEditor setdefaultattribute createinputmap createactionmap createactionmap DeleteAction create- ActionMap DefaultDrawingView DefaultDrawingView DefaultDrawingEditor 3 IncreaseHandleDetailLevelAction IncreaseHandleDetailLevelAction DrawingEditor 7.3 DrawingEditorProxy DefaultDrawingEditor c 2010 Information Processing Society of Japan

7 Hoffman 8) 2 2 X Y X Z Z Y X Y 1 Kuhn 10) GUI Smit 16) GUI 1 Smit 2 1) FMES 2) 2 n 2 e O(ne + e 2 ) e FMES SimpleTreePattern- MatchingArgorithm 11) Knuth-Morris-Pratt Reiss 13) 10 Diep 7 c 2010 Information Processing Society of Japan

8 5) 6) 6. Amida B : ) P.Bille. A survey on tree edit distance and related problems. Theoretical Computer Science, Vol. 337, pp , June ) S. S. Chawathe, A. Rajaraman, H. Garcia-Molina, and J. Widom. Change detection in hierarchically structured information. In Proceedings of the ACM SIGMOD International Conference on Management of Data, pp , ) H.Cleve and A.Zeller. Locating causes of program failures. In Proceedings of the 27th International Conference on Software Engineering, pp , ) J.K. Czyz and B.Jayaraman. Declarative and visual debugging in eclipse. Eclipse Technology Exchange, ) M.Diep, S.Elbaum, and M.Dwyer. Reducing irrelevant trace variations. In Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering, pp , ) M. Diep, S. Elbaum, and M. Dwyer. Trace normalization. In Proceedings of the th International Symposium on Software Reliability Engineering, pp , ) M.Hamill and K.Goseva-Popstojanova. Common trends in software fault and failure data. IEEE Transactions on Software Engineering, Vol.35, No.4, pp , ) K. J. Hoffman, P. Eugster, and S. Jagannathan. Semantics-aware trace analysis. In Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, pp , ) JHotDraw. 10) A. Kuhn and O. Greevy. Exploiting the analogy between traces and signal processing. In Proceedings of the 22nd IEEE International Conference on Software Maintenance, pp , ) H.T. Lu and W.Yang. A simple tree pattern-matching algorithm. In Proceedings of the Wrokshop on Algorithm and Theory of Computation, December ) W.D. Pauw, D.Lorenz, J.Vlissides, and M.Wegman. Execution patterns in objectoriented visualization. In Proceedings of the 4th Conference on Object-Oriented Technologies and Systems, pp , April ) S.P. Reiss. Dynamic detection and visualization of software phases. In Proceedings of the 3rd International Workshop on Dynamic Analysis, pp. 1 6, ) S.P. Reiss and M.Renieris. Encoding program executions. In Proceedings of the 23rd International Conference on Software Engineering, pp , May ) T.Richner and S.Ducasse. Using dynamic information for the iterative recovery of collaborations and roles. In Proceedings of the 18th International Conference on Software Maintenance, pp , October ) M.Smit, E.Stroulia, and K.Wong. Use case redocumentation from gui event traces. In Proceedings of the th European Conference on Software Maintenance and Reengineering, pp , ) Unified ModelingLanguage(UML)1.5 specification, March OMG. 18) T.Systä, K.Koskimies, and H.Müller. Shimba - an environment for reverse engineering java software systems. Software Practice and Experience, Vol.31, No.4, pp , ) N. Wilde and R. Huitt. Maintenance support object-oriented programs. IEEE Transactions on Software Engineering, Vol.18, No.12, pp , ),,,,.., Vol.24, No.3, pp , c 2010 Information Processing Society of Japan