Inês Coimbra Morgado, Ana C. R. Paiva, João Pascoal Faria, Rui Camacho,

Transcription

1 Inês Coimbra Morgado, Ana C. R. Paiva, João Pascoal Faria, Rui Camacho, RAISE 12, Zurich, 5 th June 2012

2 the process of analysing a subject system to identify the system s components and interrelationships and to create representations of the system in another form or at a higher level of abstraction Chikofsky and Cross, June 2012 GUI Reverse Engineering with Machine Learning, Raise '12 2

3 Exploration of the system the process of analysing a subject system to identify the system s components and interrelationships and to create representations of the system in another form or at a higher level of abstraction Chikofsky and Cross, June 2012 GUI Reverse Engineering with Machine Learning, Raise '12 3

4 Representation of the information the process of analysing a subject system to identify the system s components and interrelationships and to create representations of the system in another form or at a higher level of abstraction Chikofsky and Cross, June 2012 GUI Reverse Engineering with Machine Learning, Raise '12 4

5 Hard to manually build a model Extract (part of) the model of a GUI automatically and dynamically (in run time) Reduce the effort of building a formal model 5 June 2012 GUI Reverse Engineering with Machine Learning, Raise '12 5

6 5 June 2012 GUI Reverse Engineering with Machine Learning, Raise '12 6

7 5 June 2012 GUI Reverse Engineering with Machine Learning, Raise '12 7

8 5 June 2012 GUI Reverse Engineering with Machine Learning, Raise '12 8

9 5 June 2012 GUI Reverse Engineering with Machine Learning, Raise '12 9

10 5 June 2012 GUI Reverse Engineering with Machine Learning, Raise '12 10

11 5 June 2012 GUI Reverse Engineering with Machine Learning, Raise '12 11

12 5 June 2012 GUI Reverse Engineering with Machine Learning, Raise '12 12

13 5 June 2012 GUI Reverse Engineering with Machine Learning, Raise '12 13

14 5 June 2012 GUI Reverse Engineering with Machine Learning, Raise '12 14

15 5 June 2012 GUI Reverse Engineering with Machine Learning, Raise '12 15

16 5 June 2012 GUI Reverse Engineering with Machine Learning, Raise '12 16

17 5 June 2012 GUI Reverse Engineering with Machine Learning, Raise '12 17

18 5 June 2012 GUI Reverse Engineering with Machine Learning, Raise '12 18

19 statevariable(control, TraceId, StepId, Value). statevariable(text, trace1, step3, [b]). transition (Source, Action, Target, TraceId, StepId). transition(s0, entertext, s1, trace1, step1). 5 June 2012 GUI Reverse Engineering with Machine Learning, Raise '12 19

20 Manual encoding of reusable patterns (once) Login, RangeValidation, Mandatory Field, Find actioninfo(action, TraceId, StepId, Result). actioninfo(find, TraceId, StepId, notfound):- statevariable(text, TraceId, StepId, Text), statevariable(findwhat, TraceId, StepId, FindWhat), not member(findwhat, Text). 5 June 2012 GUI Reverse Engineering with Machine Learning, Raise '12 20

21 Returns the disambiguated transitions transition(source, Action, Target, TraceId, StepId):- statename(source, s3), statename(target, s4), actioninfo(action, TraceId, StepId, notfound). 5 June 2012 GUI Reverse Engineering with Machine Learning, Raise '12 21

22 Extract the guard conditions: cond1 = member(findwhat, Text). cond2 = not member(findwhat, Text). 5 June 2012 GUI Reverse Engineering with Machine Learning, Raise '12 22

23 5 June 2012 GUI Reverse Engineering with Machine Learning, Raise '12 23

24 Approach to extract model Approach to solve ambiguities Combines machine learning with software engineering 5 June 2012 GUI Reverse Engineering with Machine Learning, Raise '12 24

25 Explore the encoding of more powerful patterns Improve the automatic reuse of patterns Transform in iterative process Complement the model at each iteration Use the extracted information to guide the exploration Extract more information for ILP Provide a more complete and intelligent exploration 5 June 2012 GUI Reverse Engineering with Machine Learning, Raise '12 25

26 Inês Coimbra Morgado, Ana C. R. Paiva, João Pascoal Faria, Rui Camacho, Thank You! RAISE 12, Zurich, 5 th June 2012