Search for dissertations about: "Testing"

Showing result 21 - 25 of 3165 swedish dissertations containing the word Testing.

  2. 21. Testing an Optimising Compiler by Generating Random Lambda Terms

    Author : Michal Palka; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; functional programming; software testing; random testing; type systems; lambda calculus;

    Abstract : This thesis tries to improve on the relatively uncommon practice of random testing of compilers.Random testing of compilers is difficult and not widespread for two reasons. First, it is hard to come up with a generator of valid test data for compilers, that is a generator of programs. READ MORE

  4. 22. Structural System-Level Testing of Embedded Real-Time Systems

    Author : Daniel Sundmark; Henrik Thane; Hans Hansson; Andreas Ermedahl; Insup Lee; Mälardalens högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; real-time systems; testing; monitoring; Computer science; Datavetenskap; Datavetenskap;

    Abstract : People make mistakes. Software engineers are no exception to this fact. When software engineers make mistakes, these manifest in the form of buggy software - a major problem in today's industry. READ MORE

  5. 23. Learning-based Software Testing using Symbolic Constraint Solving Methods

    Author : Fei Niu; Karl Meinke; Reiner Hähnle; KTH; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Testing; Machine learning; Symbolic constraint solving; Model checking;

    Abstract : Software testing remains one of the most important but expensive approaches to ensure high-quality software today. In order to reduce the cost of testing, over the last several decades, various techniques such as formal verification and inductive learning have been used for test automation in previous research. READ MORE

  6. 24. Language-Based Techniques and Stochastic Models for Automated Testing

    Author : Claudio Agustin Mista; Chalmers tekniska högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; automated testing; software testing; stochastic methods; meta-programming; functional programming;

    Abstract : As software systems become bigger and scarier, automating their testing is crucial to ensure that our confidence in them can keep up with their growth. In this setting, Generational Fuzzing and Random Property-Based Testing are two sides of the same testing technique that can help us find bugs effectively without having to spend countless hours writing unit tests by hand. READ MORE

  7. 25. Well Testing, Methods and Applicability

    Author : Jan-Erik Rosberg; Teknisk geologi; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; slug tests; well completion; re-injection; Well testing; pumping tests; injection tests; well development; pneumatic initiation; hydro-jetting; coiled tubing; tunnel lining; deep wells;

    Abstract : Well testing is widely used today in water wells, oil and gas wells, for geothermal applications, within civil engineering projects, thermal storage and CO2 storage. The overall testing goal is to verify the productivity from a well and/or for characterization of hydraulic and thermal properties, as well as the spatial limitations of an aquifer. READ MORE