BxT - Behavior Exploration Tool


BehaviorExploratorTool (BxT) does the automatically verification of mobile phone applications, according crash properties (crash state is when an error occur in the application and it forbid the correct use of the funcionality. BxT has a random navigation mecanism oriented by application context, then, BxT interpret the current state of the application and choose one of the options (events) that are available in the current state. When any data input is avialable, BxT assure that data (valid or not) are inserted before an event execution. Probabilities also can be attributed to events, so we can assure that events that naturally change the mobile phone state (insert, store, save, etc.) are selected more frequently. BxT explore the application during a time period or until a crash is found. When it occur, the current state of the phone is registered to analyse its causes after.

BxT recognizes which controls are available at a screen and selects inputs according to these controls. For instance, BxT can send scroll down and up events when it recognizes a scroll bar control in the current screen. In a screen that contains only two buttons, say ``OK'' and ``Cancel'', BxT makes a random selection between one of these two options.


Please contact the following for any further information:

Paulo Borba (Senior Researcher) phmb@cinNOSPAM.ufpe.br

Érica Hori (Technical Leader) eaah@cinNOSPAM.ufpe.br

Laís Neves (Technical Leader) lmn3@cinNOSPAM.ufpe.br

Cristiano Bertolini (Doctoral Student) cb2@cinNOSPAM.ufpe.br

Topic revision: r3 - 2009-08-04 - EricaHori
This site is powered by the TWiki collaboration platformCopyright © 2008-2024 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback

mersin escort bayan adana escort bayan izmit escort ankara escort bursa escort