Sökning: "Siavash Soleimanifard"

Hittade 1 uppsats innehållade orden Siavash Soleimanifard.

  1. 1. Generating a Model of a Communication Protocol from Test Data

    Master-uppsats, Institutionen för informationsteknologi

    Författare :Siavash Soleimanifard; [2009]
    Nyckelord :;

    Sammanfattning : Model-based techniques for verification and validation require a model of the systemunder test (SUT). However, most communication systems lack a complete, correctmodel. One approach for generating a model of a system is to infer the model byobserving its external behavior. LÄS MER