Sökning: "Testing"

Visar resultat 16 - 20 av 3251 avhandlingar innehållade ordet Testing.

  1. 16. Thermal store testing : evaluation of test methods

    Författare :Chris Bales; Högskolan Dalarna; []
    Nyckelord :;

    Sammanfattning : .... LÄS MER

  3. 17. Verification of Erlang Programs using Testing and Tracing

    Författare :Hans Svensson; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Erlang; Verification; Testing; Tracing;

    Sammanfattning : Producing reliable computer programs is a difficult and expensivetask, and the constant demand for more and more complex systems doesnot make the task easier. In this thesis we present some programverification tools and techniques which can improve the situation. LÄS MER

  4. 18. Towards Automated Software Testing : Techniques, Classifications and Frameworks

    Författare :Richard Torkar; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; automated software testing; black box; white box; comparisons; classifications;

    Sammanfattning : Software is today used in more and different ways than ever before. From refrigerators and cars to space shuttles and smart cards. As such, most software, usually need to adhere to a specification, i.e. LÄS MER

  5. 19. A Mutation-based Framework for Automated Testing of Timeliness

    Författare :Robert Nilsson; Sten F. Andler; Michael G. Hinchey; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Automated Testing; Timeliness; Real-time systems; Time constraints; Model-based; Mutation testing; Computer science; Datalogi;

    Sammanfattning : A problem when testing timeliness of event-triggered real-time systems is that response times depend on the execution order of concurrent tasks. Conventional testing methods ignore task interleaving and timing and thus do not help determine which execution orders need to be exercised to gain confidence in temporal correctness. LÄS MER

  7. 20. Incremental Learning and Testing of Reactive Systems

    Författare :Muddassar Sindhu; Karl Meinke; Bengt Jonsson; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Incremental learning; software testing; specification based testing; reactive systems; model checking; Computer science; Datalogi;

    Sammanfattning : This thesis concerns the design, implementation and evaluation of a specification based testing architecture for reactive systems using the paradigm of learning-based testing. As part of this work we have designed, verified and implemented new incremental learning algorithms for DFA and Kripke structures. LÄS MER