Python Visualizer.generate_automata方法代码示例

# 需要导入模块: from visualizer import Visualizer [as 别名]
# 或者: from visualizer.Visualizer import generate_automata [as 别名]
def main():
    t_start = time.time()

    # Init config. For loading config file instead of creating a new one:
    # config = B2gConfiguration(app_name=None, app_id=None, fname='test_data/config.json')

    # Apps on webide
    config = B2gConfiguration('Contacts', 'contacts')  # APP_NAME, APP_ID
    #config = B2gConfiguration('App example', 'f440f25a-9594-4339-bb8a-c07a45293c3c')  # webide
    #config = B2gConfiguration('Weather Me', 'jlongster.github.io/weatherme')

    # Apps on device. Move the app in footer section first. Only tested on Infocus New Tab F1
    #config = B2gConfiguration('Contacts', 'communications.gaiamobile.org')
    #config = B2gConfiguration('App example', '8bee1dbc-4c1f-4e75-a9d9-f0da4f5e81f2')
    #config = B2gConfiguration('Crashed App', 'bcd9e6dc-a35c-49c1-abe0-2570eab9d2f0')
    #config = B2gConfiguration('Weather Me', 'jlongster.github.io/weatherme')

    # Apps on b2d desktop client
    #config = B2gConfiguration('Contacts', 'contacts')  # APP_NAME, APP_ID
    #config = B2gConfiguration('App example', '2a3304ed-29c0-400a-a61a-48a3e835caaf')
    #config = B2gConfiguration('Crashed App', '48d3bd2a-c3b2-42af-a5bc-6ece5da9fa0e')

    # Refer to configuration.py to see supported operations
    config.set_max_depth(2)

    '''
    # example code of adding a invariant:
    from invariant import TagInvariant
    config.add_invariant(
        TagInvariant('a',
            [{'name': 'class', 'value': 'sister'},
             {'name': 'id', 'value': 'link2'},
             {'name': 'string', 'value': 'Bobby'}])
    )
    # example code of adding clickable tags. Refer to dom_analyzer.py
    # DomAnalyzer.add_clickable_tags(Tag('button', {'type': 'reset'}))
    '''
    config.add_invariant(StringInvariant("display this page because the file cannot be found."))

    # (Optional) Write log to file
    file_handler = logging.FileHandler(os.path.join(config.get_path('root'), 'log.txt'))
    file_handler.setFormatter(formatter)
    file_handler.setLevel(logging.DEBUG)
    logger.addHandler(file_handler)

    # Remember to activate b2g simulator before creating executor
    # For using connected, real device, pass device=True into the constructor
    executor = B2gExecutor(config.get_app_name(), config.get_app_id())
    #executor = B2gExecutor(config.get_app_name(), config.get_app_id(), device=True)
    crawler = B2gCrawler(config, executor)

    logger.info('Start crawling, depth %d', config.get_max_depth())

    # Generate automata and the statistics by crawling. For loading automata from file:
    # automata = Automata(fname='test_data/automata-example.json', load_dom=False or True)
    automata, invariant_violation, num_clickables = crawler.run()

    # save the automata and config to file
    automata.save(config)
    config.save('config.json')

    # text report
    logger.info('Crawling finished.')
    form_list = automata.get_forms_with_clickables()
    logger.info('Forms: %d', len(form_list))
    for f in form_list:
        logger.info('state: %s, form-id: %s (xpath: %s), input_value:', f['state'], f['form'].get_id(), f['form'].get_xpath())
        for the_input in f['form'].get_inputs():
            logger.info('type: %s, id: %s (xpath: %s), value: %s',
                  the_input.get_type(), the_input.get_id(), the_input.get_xpath(), the_input.get_value())
        logger.info('path-to-form:')
        for clickable in f['execution_seq']:
            logger.info('id: %s (xpath: %s)', clickable.get_id(), clickable.get_xpath())
        logger.info('clickables in the form:')
        for clickable in f['clickable']:
            logger.info('id: %s (xpath: %s)', clickable.get_id(), clickable.get_xpath())
    logger.info('Total clickables found: %d (True: %d, False: %d, Unexamined: %d)',
                num_clickables['unexamined'] + num_clickables['true'] + num_clickables['false'],
                num_clickables['true'],
                num_clickables['false'],
                num_clickables['unexamined'])
    logger.info('Violated invariants: %d', len(invariant_violation))
    for inv in invariant_violation:
        logger.info('state: %s, violated invariant: %s, execution sequence:', inv['state'], inv['name'])
        for clickable in inv['sequence']:
            logger.info('id: %s (xpath: %s)', clickable.get_id(), clickable.get_xpath())

    # generate html report
    Visualizer.generate_automata('web', config.get_path('root'), config.get_automata_fname())
    Visualizer.generate_report('web', config.get_path('root'), config.get_automata_fname(), config.get_max_depth(),
                               num_clickables, form_list, invariant_violation, (time.time()-t_start)/60.0)

    t_end = time.time()
    logger.info('time elapsed: %f minutes', ((t_end-t_start)/60.0))

# 需要导入模块: from visualizer import Visualizer [as 别名]
# 或者: from visualizer.Visualizer import generate_automata [as 别名]
 def test_generate_automata(self):
     Visualizer.generate_automata(
         'web',
         'trace/example-app-4-webide',
         'automata.json'
     )