BxT - Behavior Exploration Tool

Overview

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.

Contact

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