• No results found

2.3 Introduction to Visualization

2.4.4 Zinsight

Zinsight [33] is a trace visualization tool for the IBM system Z mainframe series of computers. Data gathering is performed using special hardware specific to the Z series

mainframe.

Like the systems mentioned above, Zinsight uses multiple views to visualize the generated data. The first view is called the event trace (Figure 2.21) and is a timeline view similar to the ones mentioned above, except that it flows vertically rather than horizontally. Processes are spaced horizontally across the view and within the process events are represented as blocks and are also spaced horizontally. There are various colouring schemes available for events, a common one is to colour event blocks based on the module they are from, such as from a database module. Interaction is provided by zooming and panning.

!

!

!"#$%&'()'*+&',-&./'!012'-"&2'30&4/56'/+&',-&./'7/8/"9/":9'-"&2'3$;;&%'%"#+/56'8.<'/+&'7&=$&.:&'>1./&?/'-"&2'3012&%'%"#+/5

@)!

*A,'*AB,,'CD,E7''

"#$%#&'(! )*+,#-.%! ('*..! ,#./%! 0+*! .1)2+*#$&! .,.$(! (*34.%5! 6'.! 7,.$(! 82+/! ,#./! %'+/%! .,.$(%! +,.*! (#9.! 3$-! 2+43(#+$5! 6'.! 7,.$(! :(3(#%(#4%! ,#./! %'+/%! -#%(*#;<(#+$! 3$-! 0*.=<.$4>! #$0+*93(#+$5! 8#$322>?! ('.! :.=<.$4.! @+$(.1(! ,#./! 4'3*34(.*#A.%! .,.$(! )3((.*$%! (+! %'+/! *.4<**#$&! %.=<.$4.%5! 8#&<*.! B! %'+/%! 3! %4*..$! 43)(<*.! +0! ('.! ('*..! ,#./%?! .34'! #$! #(%! +/$! )3$.25! 734'! )3$.2! 43$! ;.! *.%#A.-! +*! 931#9#A.-! 3%! $..-.-5! C$! .34'! ,#./?! .,.$(%! 3*.! *.)*.%.$(.-! 3%! %9322! *.4(3$&2.%5! D.13-.4#932! #$0+*93(#+$! #$! ('.! *3/! (*34.! #%! *.%+2,.-! #$(+! '<93$E*.3-3;2.! $39.%! 0+*! )*+4.%%.%?! 2+3-9+-<2.%?! 9+-<2.%! 3$-! +00%.(! #$0+*93(#+$!#$!('.!.,.$(%5!F!-+93#$!%).4#0#4!-3(3;3%.!)*+,#-.%! #$0+*93(#+$! %<4'! 3%! %'+*(! 9+-<2.! -.%4*#)(#+$%5! 6'.! <%.*! 43$! 9+<%.! +,.*! .,.$(! *.4(3$&2.%! #$! 3$>! ,#./! (+! %..! ('#%! -.(3#2.-! #$0+*93(#+$! #$! ('.! (++2(#)5! 7,.$(%! 43$! ;.! %.2.4(.-! 0+*! '#&'2#&'(#$&! /#('! 3! >.22+/! +*! ;2<.! '32+! 3%! %'+/$! #$! 8#&<*.%! B! 3$-! G5! ! 7,.$(%! '#&'2#&'(.-! #$! +$.! ,#./! 3*.! 3<(+93(#4322>! '#&'2#&'(.-!#$!('.!+('.*!(/+!#0!('.!.,.$(!#%!,#%#;2.5!6'#%!322+/%! .,.$(%!('3(!3*.!%.2.4(.-!#$!('.!7,.$(!:(3(#%(#4%!,#./!+$!('.!;3%#%! +0! *.%)+$%.! (#9.! (+! ;.! %..$! #$! ('.#*! (#9.! 3$-! )*+4.%%! 2+43(#+$! 4+$(.1(!#$!('.!7,.$(!82+/!,#./!0+*!.139)2.5!!

@)()!*+&',-&./'!012'C"&2'

:>%(.9!(*34.!.,.$(%!4+$(3#$!-3(3!%<4'!3%!(#9.?!.,.$(!(>).?!.,.$(! %<;(>).?!.,.$(!%).4#0#4!#$0+*93(#+$?!)*+4.%%!#-!3$-!%>%(.9!3*.3! ('.!.,.$(!+44<**.-!#$5!C$!('.!43%.!+0!3!%>%(.9!(*34.!0*+9!:>%(.9! A?!9+%(!.,.$(%!43**>!3!(#9.%(39)?!3%!/.22!3%!#$0+*93(#+$!3;+<(! ('.! )*+4.%%! #-! HF:CIJ?! ('.! 2+3-9+-<2.?! 9+-<2.?! 3$-! +00%.(! /'.*.! ('#%! .,.$(! /3%! .1.4<(.-?! (+&.('.*! /#('! %+9.! .,.$(E %).4#0#4!#$0+*93(#+$5!7,.$(%!43$!;.!+*&3$#A.-!32+$&!3$>!+0!('.%.! -#9.$%#+$%5!C$!+*-.*!(+!)*+K.4(!('#%!9<2(#,3*#3(.!%)34.!#$(+!(/+! -#9.$%#+$%! /.! 0#*%(! 93)! (#9.?! 3*&<3;2>! ('.! 9+%(! %32#.$(! -#9.$%#+$?! (+!('.! ,.*(#432! -#9.$%#+$5! 6'#%!322+/%! 3! <%.*! (+! %..! -#00.*.$(!)'3%.%!+0!;.'3,#+*!+,.*!(#9.!H)*+4..-#$&!-+/$/3*-J5! L.! ('.$! <%.! ('.! '+*#A+$(32! -#9.$%#+$! (+! )+%#(#+$! .34'! .,.$(! ;3%.-! +$! 3! 4+9;#$3(#+$! +0! ('.! 4+9)+$.$(%! 3%%+4#3(.-! /#('! ('.! .,.$(5!F(!('.!'#&'.%(!2.,.2?!3$!.,.$(!(3M.%!)234.!+$!;.'320!+0!3! %).4#0#4! )*+4.%%5! L#('#$! 3! )*+4.%%! ('.*.! 3*.! (>)#4322>! 9<2(#)2.! 2+3-9+-<2.%?!.34'!4+$(3#$#$&!9<2(#)2.!9+-<2.%5!N+%(!4+9)<(.*! %>%(.9%!'3,.!%<4'!'#.*3*4'#.%5!6'.!(*34.!%'+/$!#$!8#&<*.!B!'3%! OP! )*+4.%%! *.&#+$%?! 3)).3*#$&! 3%! 4+2<9$%! #$! ('.! 7,.$(! 82+/! ,#./5! 6'.! <%.*! 43$! A++9! 3$-! )3$! #$! ('.! 7,.$(! 82+/! ,#./?! 3%! %'+/$!#$!8#&<*.%!Q!3$-!G5!6'.!('#$!&*3>!,.*(#432!2#$.%!#$!8#&<*.%! Q!3$-!G!0+*9!('.!-.93*43(#+$!;.(/..$!)*+4.%%!*.&#+$%5!L#('#$!3! )*+4.%%! *.&#+$?! .34'! .,.$(! #%! )+%#(#+$.-! '+*#A+$(322>! ;3%.-! +$! ('.! 2+3-9+-<2.! /'.*.! ('.! .,.$(! /3%! &.$.*3(.-5! R%#$&! ('#%! &*3)'#432! %>$(31?! <%.*%! 43$! *.4+&$#A.! ,#%<32! )3((.*$%! ('3(! *.)*.%.$(! %#9#23*! )'3%.%! +0! ;.'3,#+*5! 6'.! *.).(#(#,.! ,#%<32! )3((.*$!%'+/$!#$!8#&<*.!Q!%'+/%!3!'#&'E2.,.2!2++)?!*.3-#$&!0*+9! 3! -3(3;3%.! 3$-! 4*.3(#$&! +;K.4(%?! %)3$$#$&! %.,.*32! 4+9)+$.$(%! 3$-! 9+-<2.%5! S.4+&$#A#$&! *.).(#(#,.! ;.'3,#+*! +*! %#9#23*! 144

Figure 2.21: Event view of Zinsight [33]. Note that time flows vertically rather than horizontally like the previous examples.

CHAPTER 2. LITERATURE REVIEW 40

The next view is called the event statistics view (Figure 2.22) which provides some

statistical information subviews similar to those that VisualVM provides. The first

subview is the event type view, which shows events by their module and the amount of time they take up. The pathology view is a semi-automatic view designed to draw attention to potentially interesting events that might indicate performance problems. Finally, the location view divides up events by process and thread to provide more specific information about the events that processes perform.

!

"#$%!&'!(%)!*+!$&,-./0!10!/&2!#/!)/(13)!"4)/(!5,&2!41)2!6,#17! &-(!%&318&/(#,,9!:9!;3&$)00!17<!'&3!)4)/(0!(%#(!(&&=!;,#$)!&/!(%#(! ;3&$)00&3>! ?/! 51@-3)! +! #/! #771(1&/#,! 0();! 2#0! (#=)/! (&! 0),)$(! )4)/(0! '3&.! &/)! (%3)#7! #/7! @3#9! &-(! #,,! &(%)3! )4)/(0>! ! A)! $#/! /&2!0))!%&2!(%)!710;#($%)3!%#0!#(().;()7!(&!=));!(%10!(%3)#7!&/! #!01/@,)!+!;3&$)00&3!/&7)>!B%)!1/()/(1&/!10!(&!=));!2&3=!3-//1/@! -/7)3!(%)!0#.)!/&7)!,)4),!$#$%)!1'!;&001:,)C!2%1$%!%#;;)/)7!'&3! .&0(!)4)/(0C!#0!0%&2/!1/!51@-3)!+>!D/)!'-3(%)3!1/01@%(!#4#1,#:,)! '3&.! (%10! 41)2! 10! (%)! /-.:)3! &'! (1.)0! 2)! 0))! )4)/(0! '&3! (%10! (%3)#7! &''! (%)! /&7)>! B%10! 10! #! 3)0-,(! &'! (%)! E/))70! %),;F! .)$%#/10.! 2%)3):9! &(%)3! ;3&$)00&30! /&(1$)! (%#(! 2&3=! &/! #! 3).&()!/&7)!10!/&(!@)((1/@!710;#($%)7!2%1,)!(%)9!#3)!17,)>!B%)9! ().;&3#31,9!;1$=!-;!(%)!7),#9)7!2&3=!21(%&-(!:3)#=1/@!(%)!,&/@! ()3.! (%3)#7! #''1/1(9! (&! (%)! /&7)>! B%)0)! =1/70! &'! )'')$(0! #3)! -0-#,,9!1/4101:,)!(&!#;;,1$#(1&/!7)4),&;)30!2%&!.#9!:)!1@/&3#/(! &'!%&2!(%)13!$&7)!10!@)((1/@!710;#($%)7!#/7!-0-#,,9!'&$-0!&/,9!&/! (%)!',&2!(%3&-@%!(%)13!$&7)>!!

!"!"!#$%&'(%)*&+*,*-.*-/.&0-%1&

B%)! "4)/(! 5,&2! 41)2! %),;0! (%)! -0)3! -/7)30(#/7! ',&20C! ;%#0)0C! #/7! ;#(()3/0! 1/! #! (3#$)C! &4)3! (1.)>! B&! $&.;,).)/(! (%10! G-#,1(#(14)! 1/'&3.#(1&/C! (%)! "4)/(! H(#(10(1$0! 41)2! ;3&417)0! G-#/(1(#(14)! #/7! $#()@&31$#,! 1/'&3.#(1&/! #:&-(! )4)/(0>! ?(! ;3&417)0!1/'&3.#(1&/!#:&-(!(%)!/-.:)30!&'!)4)/(0!#/7!#33#/@)0! (%).!1/(&!$#()@&31)0!#$$&371/@!(&!71'')3)/(!$31()31#!0-$%!#0!)4)/(! (9;)! &3! ;3&$)00>! ?(! $#/! ;3&417)! #/02)30! (&! G-)0(1&/0! 0-$%! #0!

!"#$%& $'(& %#(& )*+%& ,'(-.(/%& (0(/%+& $/1& +.2%34(+56! &/! #/! &4)3#,,C! ;3&$)00C! &3! (%3)#7! :#010>! B%)! H(#(10(1$0! 41)2! %#0! (%3))! (#:0C!#0!0%&2/!1/!51@-3)!IC!3)',)$(1/@!71'')3)/(!2#90!(&!;#3(1(1&/! (%)!7#(#>!!

! 2-345%& 6"& #$%& '(%)*& +*,*-.*-/.& (-%1& 7,5*-*-8).& *$%& %(%)*.& -)& /,*%385-%.9&.$81)&8)&*$%&:%;*&,.&)8<%.&1-*$&*$%&7%5/%)*,3%&8;& *$%-5& ;5%=4%)/>& ,)<& *$%-5& /,*%385>& ),?%"& #8& *$%& 5-3$*& 8;& %,/$&)8<%&,5%&-*.&/8).*-*4%)*&%(%)*.&.$81)&,.&.?,::&(%5*-/,:& 5%/*,)3:%."&

B%)! '130(! (#:C! "4)/(! B9;)! H(#(10(1$0C! &3@#/18)0! )4)/(0! %1)3#3$%1$#,,9! '130(! :9! "4)/(! B9;)C! (%)/! :9! "4)/(! H-:B9;)C! J&#7.&7-,)C! K&7-,)! #/7! D''0)(>! D/! (%)! ,)'(! 017)! &'! (%)! 41)2C! (%)! %&318&/(#,! :&L)0! 3);3)0)/(! @3&-;0! &'! )4)/(0! 1/! #! $)3(#1/! $#()@&39C! &3@#/18)7! #0! /&7)0! 1/! #! (3))>! "#$%! /&7)! 710;,#90! (%)! /-.:)3!&'!)4)/(0C!(%)!;)3$)/(#@)!&'!(%)0)!)4)/(0!&'!(%)!(&(#,!#/7!

(%)! /#.)! &'! (%)! $#()@&39C! )>@>! (%)! "4)/(! B9;)>! B%)! -0)3! $#/! )L;#/7!&3!$&,,#;0)!(%)!(3))!:9!$,1$=1/@!&/!(%)!M!&3!N!1$&/0!(&!(%)! ,)'(! &'! (%)! /&7)0>! 5&3! )L#.;,)C! )L;#/71/@! (%)!789! /&7)! 1/! 51@-3)! O! 0%&20! (%#(! (%)! *PQPR!789& :! 6"$;%<! )4)/(0! 3);3)0)/(! O>ST! &'! #,,! )4)/(0! 1/! (%10! (3#$)>! K&-01/@! &4)3! (%10! 3)$(#/@,)! 3)4)#,0! .&3)! 0(#(10(1$0C! #0! 0%&2/! 1/! 51@-3)! OC! #0! 2),,! #0! (%)! $&..&/! ')#(-3)0! '&3! (%)! )4)/(0! 3);3)0)/()7! :9! (%10! 3)$(#/@,)>! B%)!/&7)0!#3)!$&,&3)7!#$$&371/@!(&!(%)!0&'(2#3)!$&.;&/)/(0!&'! (%)!)4)/(0!(%)9!3);3)0)/(>!?'!#,,!)4)/(0!-/7)3!&/)!0(#(10(1$0!/&7)! :),&/@! (&! (%)! 0#.)! 0&'(2#3)! $&.;&/)/(C! (%)/! (%10! /&7)! 21,,! 1/%)31(! (%)! $&,&3! -0)7! '&3! (%10! 0&'(2#3)! $&.;&/)/(C! #0! 1/! (%)! "4)/(! 5,&2! 41)2>! ?'! #! /&7)! $&/(#1/0! )4)/(0! '3&.! 71'')3)/(! $&.;&/)/(0C! 1(! 10! $&,&3)7! ,1@%(! @3#9>! U9! 7)'#-,(C! /&7)0! #(! (%)! 0#.)! ,)4),! 1/! (%)! (3))! #3)! &37)3)7! :9! 7)0$)/71/@! '3)G-)/$9>! V,()3/#(14),9C!(%)!-0)3!$#/!0&3(!(%)!/&7)0!#,;%#:)(1$#,,9>!

B%)! )4)/(0! 3);3)0)/()7! :9! #! /&7)! #3)! 73#2/! #0! (%1/! 4)3(1$#,! 3)$(#/@,)0!(&!(%)!31@%(!&'!(%)!/&7)C!1/!$%3&/&,&@1$#,!&37)3!'3&.! ,)'(! (&! 31@%(>! B%10! .#=)0! 1(!)#09!'&3! (%)! -0)3! (&!.&4)! :#$=!#/7! '&3(%! :)(2))/! /&7)0C! 0%&21/@! G-#/(1(#(14)! #/7! $#()@&31$#,! 1/'&3.#(1&/C!#/7!$&/0(1(-)/(!)4)/(0C!@141/@!7)(#1,)7!1/'&3.#(1&/>! B%)! $&,&30! #/7! (%)! (&&,(1;! 1/'&3.#(1&/! '&3! (%)0)! )4)/(0! #3)! 7)()3.1/)7!1/!(%)!0#.)!2#9!#0!1/!(%)!"4)/(!5,&2!41)2>!!

H&.)!)4)/(0!1/!#!(9;1$#,!090().!(3#$)!$#/!:)!;#13)7!:)$#-0)!(%)9! :3#$=)(! #/! &;)3#(1&/! 21(%! #! 0(#3(W)/7C! #/! &;)/W$,&0)! &3! #! 3)G-)0(W@3#/(! (9;)! &;)3#(1&/>! 5&3! )L#.;,)C! #! H-;)3410&3! X#,,! 6789<! )4)/(! 6#! (9;)! &'! =)3/),! 0)341$)<! $#/! :)! ;#13)7! 21(%! #! $&33)0;&/71/@! H-;)3410&3! X#,,! Y)(-3/! 6789<<! )4)/(>! D(%)3! )L#.;,)0! #3)!779=! 63)G-)0(! '&3! ?WD<! )4)/(0! ;#13)7! 21(%! ?WD! $&.;,)(1&/! )4)/(0>! Z1/01@%(! .#($%)0! -;! ;#13)7! )4)/(0! #/7! $#,$-,#()0! (%)! ),#;0)7! (1.)! :)(2))/! (%).>! B%)! (&&,(1;! 1/'&3.#(1&/! '&3! #/! )4)/(! (%#(! $#/! :)! ;#13)7! @14)0! (%)! ),#;0)7! (1.)! :)(2))/! (%10! )4)/(! #/7! 1(0! ;#13)7! )4)/(>! ! B%)! (&&,(1;! 1/! 51@-3)!O!0%&20! (%)!#4)3#@)!),#;0)7!(1.)!6[>*PO!.1$3&0)$&/70<! '&3! #,,! (%)! )4)/(0! 1/! (%)!789& :! /&7)C! #0! 2),,! #0! (%)! .1/1.-.C! .#L1.-.C!#/7!(&(#,!),#;0)7!(1.)0C!#0!()L(>!A)!#,0&!;3&417)7!#! 0-:(,)!410-#,!2#9!'&3!(%)!-0)3!(&!#001.1,#()!(%)!;)3'&3.#/$)!7#(#C! 21(%&-(! $%#/@1/@! (%)! &4)3#,,! $&.;&01(1&/! &'! (%10! 41)2>! ?/! (%)! \),#;0)7!(1.)]!.&7)C!(%)!%)1@%(!#/7!$&,&3!&'!#/!)4)/(!3)',)$(!1(0! ),#;0)7! (1.)C! #0! 0%&2/! 1/! 51@-3)! *>! H%&3(C! 7#3=! :,-)! )4)/(0! 1/71$#()! 0%&3(! ),#;0)7! (1.)0^! (#,,C! :31@%(! 3)7! 3)$(#/@,)0! 1/71$#()! ,#3@)3!),#;0)7!(1.)0>!5&3!(%)!/&7)0C!2)!-0)!(%)!0#.)!71$%3&.#(1$! $&,&3!0$#,)!'3&.!7#3=!:,-)C!&4)3!;-3;,)C!(&!:31@%(!3)7!(&!3)',)$(! (%)13!#4)3#@)!),#;0)7!(1.)0>!! ! 2-345%& @"& #$%& '(%)*& +*,*-.*-/.& (-%1& -)& ':,7.%<& #-?%& ?8<%& 1-*$& 4.%5A,<B4.*,C:%& ./,:%"& #,::9& 5%<& (%5*-/,:& C,5.& -)<-/,*%& %(%)*.& 1-*$& :,53%& %:,7.%<& *-?%.D& .$85*%59& <,5E& %(%)*.& $,(%& .$85*%5&%:,7.%<&*-?%."&#$%&)8<%.&8)&*$%&:%;*&;8::81&*$%&.,?%& ./$%?%"&

",#;0)7!(1.)0!.#9!4#39!:9!#/!&37)3!&'!.#@/1(-7)!7);)/71/@!&/! (%)!)4)/(!(9;)>!">@>C!2%1,)!0&.)!789>789<!)4)/(0!(#=)!,)00!(%#/! #! .1$3&0)$&/7! (&! $&.;,)()C!?>@! )4)/(0! $#/! (#=)! &4)3! 0)4)3#,! .1,,10)$&/70>!B%)3)'&3)C!2)!;3&417)7!#!-0)3_#7`-0(#:,)!0$#,)C!0&! (%#(! 01.1,#3! )4)/(0! $#/! )#01,9! :)! $&.;#3)7! 21(%! )#$%! &(%)3>! V! :)/)'1(!&'!(%10!0$%).)!10!(%#(!#/#,90(0!7&!/&(!%#4)!(&!=/&2!2%#(!

146

Figure 2.22: Statistics view of Zinsight [33]. Some what like the profiling view of Visual VM this provides statistical information about the running program.

The final view is called the sequence context view (Figure 2.23) and looks somewhat similar to the function view in PARADE, showing a call stack of the program. However, Zinsight doesn’t display a single point in time, but instead summarizes similar event sequences leading up to some event. This is designed to answer questions like ‘how do we get to a certain event in a program such as a lock call?’ and ‘what are the common traces leading up to a certain event?’. A count on the lines leading from one event to another indicates the number of times that that execution path was taken.

Like the systems mentioned above, Zinsight seems to be orientated towards perfor- mance debugging and it was evaluated as such. The use of summarizing multiple calls to events into a single view is very interesting.

CHAPTER 2. LITERATURE REVIEW 41

!

#9#06')*&! )&! (! 0(..! 5"($8+! :*;#<#"=! 4*%'! */! '8#%#! %-%'#4%! $"*<)3#!*&.-!(!*&#>;(-!'"(&%)')*&!/"*4!)&3)<)36(.!#<#&'%!)&!'8#! '"(0#! '*! (! 0*&3#&%#3! 0*&'"*.! /.*;! "#$"#%#&'(')*&+! ?(<)5(')&5! /"*4!'8#!(55"#5('#!#<#&'!/.*;!'*!)&3)<)36(.!#<#&'%!)%!6%6(..-!&*'! %6$$*"'#3+! @)&%)58'! (..*;%! '8#! 6%#"! '*! 5*! /"*4! '8#! #<#&'! /.*;! $(''#"&%! 2(01! '*! )&3)<)36(.! #<#&'%+! A)"%'=! (! 6%#"! 0(&! 8)58.)58'! (! &*3#!)&!'8#!B#C6#&0#!D*&'#9'!<)#;+!E8#!)&3)<)36(.!#<#&'%!'8('! '8)%!&*3#!"#$"#%#&'%!;)..!'8#&!2#!8)58.)58'#3!)&!'8#!F<#&'!A.*;! (&3!B'(')%')0%!<)#;%+!B##)&5!'8#!)&3)<)36(.!#<#&'%!8)58.)58'#3!)&! '8#!F<#&'!A.*;!5)<#%!'8#!6%#"=!(4*&5!*'8#"!)&%)58'%=!(&!)3#(!*/! ;8#&!G;8#"#!)&!'8#!'"(0#H!'8#%#!#<#&'%!8($$#&#3+!! ! ! !"#$%&'()'*+&',&-$&./&'01.2&32'4"&5'6+156'2+72'2+&'+122&62' &4&.268'6+15.'+"#+9"#+2&:'".';&99158'7%&'<7%2'1='7'>$6;'911<8' ".:"/72&:'>;'2+&'>19:'&:#&6'7.:'%&<&72".#'?1%&'2+7.'@AB8BBB' 2"?&6)' ! ! !"#$%&'@B)'C'$6&%'/7.'&3<7.:'7'.1:&'21'6+15'"26'".:"4":$79' &4&.26D' 2%7.6"2"1.6' >&25&&.' 2+16&' &4&.26' /7.' 7961' >&' %&4&79&:D'2+&':76+&:'7%%15'".:"/72&6'7'2+%&7:'?"#%72"1.)' I!%#0*&3!;(-!'*!"#<#(.!)&3)<)36(.!#<#&'%!)%!2-!0.)01)&5!*&!'8#! 2.(01!JKL!)0*&!%8*;&!)&!'8#!.*;#"!")58'!0*"&#"!*/!(!&*3#!)&!'8#! B#C6#&0#! D*&'#9'! <)#;+! A)56"#! MN! %8*;%! '8#! 2"*;&! &*3#!!"# $%&'%()*! G(.%*! %8*;&! ('! '8#! '*$! */! A)56"#! OH! "#<#(.)&5! )'%! P! 0*&%')'6#&'! #<#&'%+! B)4).("! '*! '8#! 5"($8)0(.! %-&'(9! )&! '8#!

%$#0)/)0!)&/*"4(')*&!)&!'8#!'**.')$+!B#.#0')&5!(&!)&3)<)36(.!#<#&'! ;)..!8)58.)58'!'8)%!%)&5.#!#<#&'!)&!#(08!<)#;!)&!;8)08!)'!)%!<)%)2.#! '*! /(0).)'('#! 0"*%%><)#;! &(<)5(')*&+! Q&! (33)')*&! '*! %##)&5! )&3)<)36(.! #<#&'%! )&! '8#! B#C6#&0#! D*&'#9'! <)#;=! '8#! 6%#"! 0(&! (.%*! #9(4)&#! '8#! '"(&%)')*&%! 2#';##&! )&3)<)36(.! #<#&'%! 2-! 0*&'"*.>0.)01)&5! *&! '8#! .*;#"! %)3#! */! (&! #<#&'+! E8#! ';*! %4(..! (""*;%! '*! '8#! ")58'! */! '8#! &*3#%! )&! A)56"#! MN! %8*;! '"(&%)')*&%! 2#';##&!)&3)<)36(.!#<#&'%+!E8#!.*;#"!*&#!)%!3"(;&!)&!(!3(%8#3! .)&#!%'-.#!'*!)&3)0('#!(!'8"#(3!4)5"(')*&!G/"*4!*&#!$"*0#%%*"!'*! (&*'8#"H+!,*6%)&5!*<#"!'8)%!(""*;!5)<#%!6%!%$#0)/)0!)&/*"4(')*&! (2*6'!'8)%!'"(&%)')*&R!;8).#!5*)&5!/"*4!(!!"!G2"(&08H!'*!(!+),! G3)%$('08H! #<#&'=! '8#! '8"#(3! ;(%! %6%$#&3#3! *&! $"*0#%%*"! S! (&3! "#3)%$('08#3!*&!$"*0#%%*"!N+!E8"#(3!4)5"(')*&%!("#!)&3)0('#3!2-! '8#! $"#%#&0#! */! (! &642#"! 2#';##&! $("#&'8#%#%! *&! '8#! #35#! .(2#.%+!Q&!'8)%!#9(4$.#=!'8#!#35#!.(2#.!'#..%!6%!'8('!M!*6'!*/!'8#!P! '"(&%)')*&%!)&<*.<#3!(!'8"#(3!4)5"(')*&+!!

E)!

,0FGCHIJ'J!'K,F'FLCMNOF'

E8#! /*..*;)&5! #9(4$.#! )..6%'"('#%! 8*;! (! $#"/*"4(&0#! (&(.-%'! ;#&'!(2*6'!)&<#%')5(')&5!<(")(2).)'-!)&!#.($%#3!')4#!/*"!(&!)'-# +.! 0(..! G(! 0#"'()&! 1)&3! */! 1#"&#.! /6&0')*&H+! T.(&0)&5! ('! '8#! #.($%#3!')4#!%'(')%')0%!/*"!'8#%#!0(..%!)&!'8#!F<#&'!B'(')%')0%!<)#;=! '8#!6%#"!;(%!06")*6%!(2*6'!'8#!6&#<#&!3)%'")26')*&!*/!'8#!#.($%#3! ')4#%=! (%! %655#%'#3! 2-! A)56"#! U+! V-! ")58'>0.)01)&5! *&! '8#! &*3#!

)'-# +.=! '8#! 6%#"! 0*6.3! (%1!/0123# 245# 315# )'-

Æ

)'-"# 56573# 8294#:5;<57=5:>?!)&!*"3#"!'*!6&3#"%'(&3!;8('!8($$#&#3!2#';##&! (..!)'-#+.!G%'("'H!(&3!)'-"#+.!G#&3H!#<#&'%+!A)56"#!MM!%8*;%! '8#!"#%6.'!*/!'8)%!)&C6)"-+!E8#!'*$!&*3#!"#$"#%#&'%!'8#!WXYZ!)'-# +.! #<#&'%! '8('! %'("'! )&! .*(34*36.#!+@AB-C+! T*)&5! *&#! .#<#.! 3*;&!)&!'8#!'"##=!;#!0(&!%##!'8('!4*%'!*/!'8#%#!#<#&'%=!WXMW!*/! '8#4=!)&3)0('#3!2-!'8#!2*.3!(""*;=!("#!)44#3)('#.-!/*..*;#3!2-! (&!)'-"+! ,*6%)&5! *<#"! '8)%!)'-"! &*3#! %8*;#3! '8#! 6%#"! '8('! '8#! (<#"(5#! #.($%#3! ')4#! '*! #&3! '8)%! 0(..! ;(%! *&.-! M+P! 4)0"*%#0*&3%=!;8)08!)%!C6)'#!(00#$'(2.#+!!

! !"#$%&' @@)' *+&' 7%%15' 6+15.' ".' >19:' ".:"/72&6' 2+&' ?162' =%&-$&.29;' 27P&.' <72+' QRS@R'"#$%&T' =%1?' 7.' ,U0' VW' 21' 7.' ,U0H'VW)''

:*;#<#"=! 4*6%)&5! *<#"! '8#! &*3#! ('! '8#! 2*''*4! ;)'8! Y! #<#&'%! %8*;#3! '8#! 6%#"! '8('! )'! '**1! *&! (<#"(5#! MZ+S! 4)0"*%#0*&3%! '*! 0*4$.#'#! '8#%#! 0(..%=! (&3! )&! '8#! ;*"%'! 0(%#! #<#&! SY+Z! 4)0"*%#0*&3%+!E8#!6%#"!0*6.3!&*;!3")..!3*;&!'*!%##!'8#!3#'().%! */! '8)%! &*3#! 2-! 0.)01)&5! *&! '8#! K! )0*&! '*! %##! '8#! )&3)<)36(.! #<#&'%+!E6"&)&5!*&!J#.($%#3!')4#!4*3#L!%8*;#3!'8#!3)%'")26')*&! */!'8#!#.($%#3!')4#!/*"!#(08!*/!'8#!#<#&'%!*/!'8)%!&*3#=!%)4).("!'*! '8#!J#.($%#3!')4#!4*3#L!/*"!'8#!F<#&'!B'(')%')0%!<)#;!)&!A)56"#! U+! I/'#"! '8#! 6%#"! "#<#(.#3! '8#! )&3)<)36(.! '"(&%)')*&%! '*! '8#%#! #<#&'%=!(&3!'8#!*&#%!$"#0#3)&5!)'=!(%!%8*;&!)&!A)56"#!MZ=!)'!;(%! 0.#("! ;8-! *&#! )'-

Æ

)'-"! '"(&%)')*&! '**1! 4*"#! '8(&! SY! 4)0"*%#0*&3%+! ,*6%)&5! *<#"! '8#! "#3! 3(%8#3! '"(&%)')*&! .)&#! "#<#(.#3!'8('!;#!"#0#)<#3!(&!#9'#"&(.!)&'#""6$'!G%C*#DEEFH[!'8#! '8"#(3!;(%!%6%$#&3#3!*&!$"*0#%%*"!Y!(&3!;(%!"#3)%$('08#3!(/'#"!

149

Figure 2.23: Sequence Context view of Zinsight [33]. This is showing a summarization of the various execution paths the program has gone through.

CHAPTER 2. LITERATURE REVIEW 42

Related documents