Scribd Logo
Importer

Bienvenue sur Scribd !

  • Aarts Ictopen2012 Submission 104 Page-83

    Transféré par

    BouchekirRedouane
    16 vues1 page
    The document discusses using active learning algorithms like Angluin's L* algorithm to learn models of reactive systems through membership and equivalence queries with a teacher. It provides examples of applying this technique to learn models of protocols from implementations to test correctness, reverse engineer banking card protocols, learn models of printer controllers, and generate new implementations or regression tests. One application learned a model of a printer engine status manager with 29 states, 3741 transitions, and 17 state variables.

    Description originale:

    123

    Copyright

    © © All Rights Reserved

    Formats disponibles

    PDF, TXT ou lisez en ligne sur Scribd

    Avez-vous trouvé ce document utile ?

    Ce contenu est-il inapproprié ?

    Signaler ce document
    The document discusses using active learning algorithms like Angluin's L* algorithm to learn models of reactive systems through membership and equivalence queries with a teacher. It provides examples of applying this technique to learn models of protocols from implementations to test correctness, reverse engineer banking card protocols, learn models of printer controllers, and generate new implementations or regression tests. One application learned a model of a printer engine status manager with 29 states, 3741 transitions, and 17 state variables.

    Droits d'auteur :

    © All Rights Reserved
    Téléchargez comme PDF, TXT ou lisez en ligne sur Scribd
    Signaler comme contenu inapproprié
    16 vues1 page

    Aarts Ictopen2012 Submission 104 Page-83

    Transféré par

    BouchekirRedouane
    The document discusses using active learning algorithms like Angluin's L* algorithm to learn models of reactive systems through membership and equivalence queries with a teacher. It provides examples of applying this technique to learn models of protocols from implementations to test correctness, reverse engineer banking card protocols, learn models of printer controllers, and generate new implementations or regression tests. One application learned a model of a printer engine status manager with 29 states, 3741 transitions, and 17 state variables.

    Droits d'auteur :

    © All Rights Reserved
    Téléchargez comme PDF, TXT ou lisez en ligne sur Scribd
    Signaler comme contenu inapproprié
    sur 1

    Fides Aarts, Harco Kuppens, Wouter Smeenk, Jan Tretmans,

    Frits Vaandrager, Sicco Verwer, Michele Volpato

    Angluins L* Algorithm

    Active Learning
    Models of Reactive
    Systems

    Learning Finite Automata:


    Membership Queries
    Yes / No

    Teacher

    Model-Based
    Testing:

    Learner

    Equivalence Queries

    test the
    hypothesis

    Yes / No + Counterexample

    Learner:
    formulate
    the
    hypothesis

    CounterExample Guided
    Abstraction Refinement
    Tomte
    SUT

    Philips Bounded
    Retransmission Protocol

    Concrete
    Input
    Concrete
    Output

    Abstract
    Input
    Abstract
    Output

    Learner
    LearnLib

    Banking Cards

    use learning to test correctness of


    protocol implementations
    Reverse engineering of EMV protocol
    applications for collection of banking
    and credit cards

    Biometric Passport
    Session
    Initiation Protocol

    Oc Printer
    Engine Status Manager
    Goal: learn models of
    realistic printer
    controllers
    Result: background
    image
    Uses: regression testing,
    generation of new
    implementations,..

    Axini - embedded systems


    Collis - secure transaction systems
    NLnet Labs - internet protocols
    Oc-Technologies - printers
    Chess - wireless sensor networks

    extended finite
    state machine
    with
    29 states
    3741 transitions
    17 state
    variables

    Vous aimerez peut-être aussi